{"entities":{"Q4940932":{"pageid":6970514,"ns":120,"title":"Item:Q4940932","lastrevid":41637599,"modified":"2025-05-06T16:09:16Z","type":"item","id":"Q4940932","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1407677"}},"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":"Q4940932$4546EB1E-D285-4E92-B4FC-DB3FCE65392D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3ab8dc9c2d751360150a7f51042a6a08301276d","datavalue":{"value":"0944.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940932$0D8A989C-5DF2-434C-A629-C15FDCF3C0AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79e7babc33bdfb2d05f3a9f08cc0c8b417a47a42","datavalue":{"value":{"entity-type":"item","numeric-id":167056,"id":"Q167056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4940932$EC3C2F05-E3D0-449C-A676-D8CD0AC8DF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4940932$FC624B83-4AAB-457A-BDB0-4D595ECCF88D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3181eec55d6fadc7128215edae5f001921ed72d2","datavalue":{"value":{"time":"+2000-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4940932$4371DB73-0BA0-43C6-9E01-5299ED2FC44C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940932$A6A18C1B-8072-4C33-A084-256EA81A6754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940932$49C3F261-5530-4EB7-B611-D983B50659B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940932$5475C75F-A366-458A-87D2-71DDF222A9F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73cbce9469b69f8a3be31644afc2d756e6b199ed","datavalue":{"value":"1407677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940932$FDD61BCD-1658-48F0-A6BD-8725CCA1B1A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08550266bf03e3d9d539b3e6a8b8aa8b4cd04b48","datavalue":{"value":"disjunctive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940932$DDEF23E1-8E99-4E08-BA4E-EBA658A5DB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a313369d6da90dd1bef2143dee22ad776773a0ec","datavalue":{"value":"first-order theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940932$A5BCB579-730B-4BE1-BADE-0A86EAB696E1","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":"Q4940932$29698BFF-C4BA-4FCB-902C-8D9E58A2063B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72dce12a079ec52c8f5c732c5be0e2bf82cb1266","datavalue":{"value":{"entity-type":"item","numeric-id":4925408,"id":"Q4925408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c516da9b1f583318ef639f30e19315bcce2c1507","datavalue":{"value":{"amount":"+0.9039153","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":"Q4940932$91619F52-2B87-48E8-8512-AD42A94BBABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"225f900509cc46812143e7617cf875a45cba939e","datavalue":{"value":{"entity-type":"item","numeric-id":5927980,"id":"Q5927980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9dcd4b1eff13227465ea5020373c63829f54e92","datavalue":{"value":{"amount":"+0.8819494","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":"Q4940932$BB37252A-0BE1-4338-97D7-0EA9D5BB0569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19168ae266f4df1dccc617b6542e87600bebe194","datavalue":{"value":{"entity-type":"item","numeric-id":5901866,"id":"Q5901866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75780295adf93337fdd0f06ff6b013f7ed5d3972","datavalue":{"value":{"amount":"+0.8198095","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":"Q4940932$653A5F1D-61BE-4EBF-AA46-51468E95BD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4f517e3fc14991369e5a924a3565ae39d1f5cc","datavalue":{"value":{"entity-type":"item","numeric-id":1096418,"id":"Q1096418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec8c7f1649270ba65ae6743c949c1e7f8a3e8c75","datavalue":{"value":{"amount":"+0.81438446","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":"Q4940932$AED60FB5-47EA-4E33-BA4A-76EBD4A58181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637cfb4d963b4a8abc4615d807abaf31d0df0df9","datavalue":{"value":{"entity-type":"item","numeric-id":1630986,"id":"Q1630986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7d96c85860f4ef6b4ce03c9895afe6994fd112","datavalue":{"value":{"amount":"+0.8104508","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":"Q4940932$C74B10EB-6E1C-4960-B640-2DDBCA0878BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12f6ccd00bc8f495f88eee51e903f487455e2df5","datavalue":{"value":{"entity-type":"item","numeric-id":1060030,"id":"Q1060030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6c4307a1e3485d74670e2fabf58ae3a3b5f4d0","datavalue":{"value":{"amount":"+0.8099345","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":"Q4940932$846FA89C-F558-4639-ACD9-88CB256B3CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af72bf05ff78d951eec7f99a3b1228b6ae4c10b","datavalue":{"value":{"entity-type":"item","numeric-id":2915065,"id":"Q2915065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ad75fa82b19db918689da827a66e79bf6d0aa47","datavalue":{"value":{"amount":"+0.8093096","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":"Q4940932$EF77A5E8-4A25-4985-A8B9-00EF72F33C76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4940932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4940932"}}}}}