{"entities":{"Q4860656":{"pageid":6890236,"ns":120,"title":"Item:Q4860656","lastrevid":41708175,"modified":"2025-05-07T10:48:56Z","type":"item","id":"Q4860656","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 834569"}},"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":"Q4860656$EAC4B38A-CBB9-46EF-B432-30F2139CE9F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3162bfc4d4e7523a72c35111a2dbe615dcc0c6b","datavalue":{"value":"0879.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860656$CC6CDC35-CA7B-4857-92A9-1C550CAD4978","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3afd6d090edda820acee0f53c48c5034fa7cafd","datavalue":{"value":{"entity-type":"item","numeric-id":283757,"id":"Q283757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4860656$190BCA8C-DBC2-4117-8401-BA70B4839536","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad4ab8f37a90ca87e9ccd9974f355802c12e0ef2","datavalue":{"value":{"time":"+1998-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4860656$083B2551-603B-4D4B-AA10-63D8D70AE170","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860656$EAF122DB-F24F-459C-8513-9CAC836492C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860656$CDD8D4C0-F5FC-49B1-8DC9-BD589342EABE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7067d881940b998dcb0f9cec99fcb3b521bcede","datavalue":{"value":"834569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860656$2A2D95BB-B32B-492B-8E67-D63BDAF9B65A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860656$0FF99F3C-8CA2-4AC8-ADB7-CC8B04B4E168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc0a06ffadbc917396a626e33a9a5489bfbfb917","datavalue":{"value":"automated theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860656$FD950071-0FEE-44BB-BD40-81C0E23EB04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860656$18CAFA6A-3AD0-47F4-83A9-D3021F80D95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f9585b668c516d22f035ea31ed7d88390e0cd8d","datavalue":{"value":"skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860656$D8B8DD53-57D0-4D15-8D4E-D31511A16106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e5adaf57593ad33b0b507cd3b225976451762f","datavalue":{"value":"false dependence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860656$6EDE7DB0-1808-4523-A24E-D5D2259433F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4860656$BC43027A-AE8B-4A61-9A8F-48C85991C754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c62f005e0d35aadf822b20988439b932534d85d7","datavalue":{"value":{"entity-type":"item","numeric-id":13537,"id":"Q13537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4860656$4D08B43C-5F8A-438D-BDD6-15A35975DD46","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":"Q4860656$121D4CE7-C0CF-4B06-B0A7-4CBF07464AA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d4cde8cf626bcd748856e695edd6b05609d4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1428568,"id":"Q1428568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35cd197cd1d39b5905973663d8ce27a1f863841c","datavalue":{"value":{"amount":"+0.84931993","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":"Q4860656$1DC5AD83-9C1A-4540-8BDC-91842FD52009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e42299c2b56d6aaf9f3ef424480d7f0d0c990e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5710044,"id":"Q5710044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7afe80c09c519dd695524ee5bf9e18bcaa6262b","datavalue":{"value":{"amount":"+0.8488289","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":"Q4860656$5FECE2EB-1638-42C3-938A-B600328482B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f71bab635fafbaf3a904c4593bfe8908050fc75","datavalue":{"value":{"entity-type":"item","numeric-id":4910246,"id":"Q4910246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9fa4f116f8ae8e59f8428f0e89fd74a0a669d8","datavalue":{"value":{"amount":"+0.84328246","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":"Q4860656$341AE1CB-ADCE-4BAA-BF0B-4C74DA54266F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373accb42c22b62b51bc441ddc14c88d9c0f7027","datavalue":{"value":{"entity-type":"item","numeric-id":3176366,"id":"Q3176366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7cb2bd9427277349264783aa2c6feb29b64f48c","datavalue":{"value":{"amount":"+0.832558","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":"Q4860656$BE6DA8B7-3354-48DD-97EA-923820B44958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471062a8666f2a3d8b186cf6cd886b239927e128","datavalue":{"value":{"entity-type":"item","numeric-id":4428300,"id":"Q4428300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f06deaca6eb64052f7d56312d08f9a5426df86","datavalue":{"value":{"amount":"+0.826033","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":"Q4860656$383B0828-420D-4DF8-BC69-7057598866C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa301948b4762c2ff21d55bcc6fe2bf5f0a6f6ed","datavalue":{"value":{"entity-type":"item","numeric-id":4494391,"id":"Q4494391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b828e482323ad06007645af6f6df552e80aded","datavalue":{"value":{"amount":"+0.82402736","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":"Q4860656$94604D30-2830-4C47-9BCC-C8B885197151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e365ce73970dec9572f6accc5dd73182ecbc9b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4827596,"id":"Q4827596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1242bf5888385659cba1ea138ba725461500e4e9","datavalue":{"value":{"amount":"+0.8169967","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":"Q4860656$485A8F6C-1B5B-4AA0-99FC-D17083C6BCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e233f335913ac7ab2419150dc03aa030d03a5c88","datavalue":{"value":{"entity-type":"item","numeric-id":4028156,"id":"Q4028156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72fe9a3e1f80164b192fd28727da7e6d3c679551","datavalue":{"value":{"amount":"+0.81653976","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":"Q4860656$41FF08BE-BDD9-4039-AD15-18CC6B6AFA49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4860656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4860656"}}}}}