{"entities":{"Q5544307":{"pageid":7573867,"ns":120,"title":"Item:Q5544307","lastrevid":37911078,"modified":"2024-11-13T21:39:06Z","type":"item","id":"Q5544307","labels":{"en":{"language":"en","value":"Mechanical Theorem-Proving by Model Elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3259072"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5544307$7A001293-D05A-4A8D-A126-B83D56F5BEAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22c8f1170b9e0f27ffde185f2b3af66f9ced60a9","datavalue":{"value":{"text":"Mechanical Theorem-Proving by Model Elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5544307$FEC46729-FBD8-4896-B836-109C7DA958EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d38e13c638ea5f41a478fe11467b2b7e19d4845","datavalue":{"value":"0162.02804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5544307$01C342F2-7E7A-4E4D-8E9A-F6515470D66A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f4859f382c43e50182d8bb75c933a789eedcd15","datavalue":{"value":"10.1145/321450.321456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5544307$37305C13-BBC3-43E2-A0AD-4BD40D86D490","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d67ebb156bb8b416bbae8dd2cbbea32ca7e0ce15","datavalue":{"value":{"entity-type":"item","numeric-id":287331,"id":"Q287331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5544307$254DC23E-EC04-4EB1-89E4-2D69AADDFAFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5544307$AF6AFAE8-E038-4061-97CF-4365BF8A939A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b7d902a691bf065ccbbbe3c070a7f8cb1f53366","datavalue":{"value":{"time":"+1968-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5544307$9FEF5A5A-12EF-49C9-AEDA-3FDC4BAB0A1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"145dcae663d60cea37ebd0b78feb6e008b5023d4","datavalue":{"value":"3259072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5544307$24BE5C7D-B730-43B3-97B3-9BD2E0BC41DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291be7abf7db632a8ba00746eda7cd5f3145426f","datavalue":{"value":"languages, automata, networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5544307$38785ECA-9D54-40A9-A234-087432BF8396","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5161fdc52146019c67aed3b999362310d559b8a7","datavalue":{"value":"Q56814468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5544307$F4FF8749-E90B-41B4-85B5-9C6DAE0E7306","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5544307$2522C4A3-82F7-4A12-B3D8-3136958F25BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"978ce0fdef526c3ae75b8b92ff0a846280538f62","datavalue":{"value":"https://doi.org/10.1145/321450.321456","type":"string"},"datatype":"url"},"type":"statement","id":"Q5544307$76A61944-3BE5-4B78-90E7-A7B716E914F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84cc10543fd13a15c5a910e2246fd275d20f3af0","datavalue":{"value":"W2005090804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5544307$B418E112-86DF-422D-A57A-B88AC6A630D9","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"448604275c63ee1c6ae7d2dec3de61731b2d6c82","datavalue":{"value":"journals/jacm/Loveland68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5544307$F0450904-504D-46C3-859F-D8D57ACF3F48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5544307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5544307"}}}}}