{"entities":{"Q5621961":{"pageid":7651521,"ns":120,"title":"Item:Q5621961","lastrevid":41793102,"modified":"2025-05-08T10:03:02Z","type":"item","id":"Q5621961","labels":{"en":{"language":"en","value":"A machine program for theorem-proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3346110"}},"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":"Q5621961$AA8C6F4A-BDA7-40D8-BD09-53CFF25367B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3813e7053ee4326246de93a3ae38e2d0b1ed2496","datavalue":{"value":{"text":"A machine program for theorem-proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5621961$90574100-0B8B-4D8C-9A77-2FE381B57A49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"458cb61e4021db6294025ff9f7813143dc4286f0","datavalue":{"value":"0217.54002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5621961$B560B5DB-4E6B-4B1F-AEA8-1D3035CE75DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1225ccc5751b2273af895f13b3e07624fd137c01","datavalue":{"value":"10.1145/368273.368557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5621961$88174C74-EE93-4904-B7EA-278EB2BE034B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f392fdf563a4a3bfbbe9358ccb18d7aeac4ad7","datavalue":{"value":{"entity-type":"item","numeric-id":2778985,"id":"Q2778985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5621961$F8929D1A-2B6E-41D0-8971-ACC63A2C1A13","rank":"normal"},{"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":"Q5621961$928A26C6-331B-4C52-BDBA-64E8B4AEC369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f40375696c5e7b32da4818f7d155e2c82ff6d4d1","datavalue":{"value":{"entity-type":"item","numeric-id":814998,"id":"Q814998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5621961$449C193E-AE8D-4931-B450-8553447210DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1151d44c801a909256f62362ee2b01f3c904af1","datavalue":{"value":{"time":"+1962-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":"Q5621961$7CFDC81A-7BBD-4E43-9B7D-CB865563FB98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c837e673e1af12ada52bc405d51f737a5aa8838a","datavalue":{"value":"http://hdl.handle.net/2027/mdp.39015095248095","type":"string"},"datatype":"url"},"type":"statement","id":"Q5621961$7661EBE6-7E59-46B0-8CDB-C4D7040AD11A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5621961$5E991BD2-52D9-4F25-8B9B-7F8FC6CD2B91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e5554625aeac57ba0f00fafb305d87ec710841b","datavalue":{"value":"3346110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5621961$FD8B27F2-D3D6-4A9D-AE84-88BC110BB2D8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b2b0303b8616e53f1412c73b9b6986090debb03d","datavalue":{"value":"Q29399031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5621961$22D81601-F2CE-4DA0-BA9E-BDE3AFD645D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f30048a9f4acfa6585d1fef402480a6ae3ff3be5","datavalue":{"value":{"entity-type":"item","numeric-id":22798,"id":"Q22798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5621961$727180DD-EED9-4732-8161-38B96A840BE7","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":"Q5621961$1BA18FC5-35FD-459E-B5DF-FBB4D6953C0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33ccd453227530c735c7d4d29c2c514b824bb173","datavalue":{"value":"W2057361103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5621961$DFD896A8-3B0F-48AB-BE2B-5FD4E17FD651","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"3e5bd6b10e69ced155042b0728de3c894afc91b8","datavalue":{"value":"journals/cacm/DavisLL62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5621961$B382BDB2-13C8-404F-93B2-195C77852383","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087426e75e65ba42be09a15851f31de13b7aa5f3","datavalue":{"value":{"entity-type":"item","numeric-id":56730,"id":"Q56730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5621961$73CDD9E4-B771-4A5F-9442-9D4DB50EB1C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cda481b541398e1a99f4b5d3ef12a328b1ce13e","datavalue":{"value":{"entity-type":"item","numeric-id":6488518,"id":"Q6488518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b60a9934a487eefa24f70ff1725a0ead426406e","datavalue":{"value":{"amount":"+0.9235048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5621961$4D4CD70C-7DAB-4F94-84C4-3F121C9B428A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19b95e27ef87c7314f5d4a46d130247a1c491df","datavalue":{"value":{"entity-type":"item","numeric-id":3490989,"id":"Q3490989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b60a9934a487eefa24f70ff1725a0ead426406e","datavalue":{"value":{"amount":"+0.9235048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5621961$95B5CB7D-9C30-40AE-B334-54EFE699AE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e167de97ef55769719ab1c40a9aeba364b051c2","datavalue":{"value":{"entity-type":"item","numeric-id":4269904,"id":"Q4269904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d36e79d42d4211f5a166191087e8f3fa799eca1","datavalue":{"value":{"amount":"+0.91399014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5621961$DCB26DB5-4921-47FF-A7B1-AC68674D178F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61c96f7f35c4db5dcad8ab932e96a4276bfa605","datavalue":{"value":{"entity-type":"item","numeric-id":3977980,"id":"Q3977980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab573380c51e9ce178eb2520d7ab6b5d45b70cc","datavalue":{"value":{"amount":"+0.91010463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5621961$BEEE2D8D-BA3D-4970-A75F-D1F856321D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be59899f1c5070152f1be6bf1cc78a0b2b15c08","datavalue":{"value":{"entity-type":"item","numeric-id":3484382,"id":"Q3484382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b1d66a417d5462ba8cc6fa824d3dd8cb5470f7e","datavalue":{"value":{"amount":"+0.89071625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5621961$386D441B-3F01-4659-8B2B-7599DC065DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1654feffdd64c711531bc42376c4b698bb1e6bba","datavalue":{"value":{"entity-type":"item","numeric-id":3334054,"id":"Q3334054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168fc7ce0641b742161d6081ce7a125ac0149531","datavalue":{"value":{"amount":"+0.883339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5621961$B692F1BE-59D4-4D7C-BC89-890AF5D9B616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8068e23ea20162c700746f9d165209e24f53b1","datavalue":{"value":{"entity-type":"item","numeric-id":3219093,"id":"Q3219093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a39ac8aabd0de31f29edd786ea1965987b1ec00","datavalue":{"value":{"amount":"+0.8807814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5621961$42E74413-68E4-44E9-8275-F6037E40C116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a89dc3f8b9c614d3c47ec807c896f5b07eb80c1","datavalue":{"value":{"entity-type":"item","numeric-id":3138828,"id":"Q3138828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a39ac8aabd0de31f29edd786ea1965987b1ec00","datavalue":{"value":{"amount":"+0.8807814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5621961$4B5A2DAE-24B6-45C0-A51B-1394444837F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caf9de33d1799cb19ca4a87514a35fe4bcf1918","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac5cbd512001d591fbad9b3d550b68eb80565c1","datavalue":{"value":{"amount":"+0.87975913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5621961$FBBB7DE1-3A13-4265-826A-312124B772C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5621961","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5621961"}}}}}