{"entities":{"Q2724155":{"pageid":2734894,"ns":120,"title":"Item:Q2724155","lastrevid":41932124,"modified":"2025-05-16T14:26:39Z","type":"item","id":"Q2724155","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1615755"}},"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":"Q2724155$3AF14AEB-84AD-476F-8613-3207644A72C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da69b14029e353790f7b638950bfe6bb46d70b6b","datavalue":{"value":"1009.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724155$E93C3C65-3415-426F-B962-B1475C3AA709","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f471060a62d9787d70f647fb18a25f3a15400d2f","datavalue":{"value":{"entity-type":"item","numeric-id":213481,"id":"Q213481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2724155$A668F398-6071-4D72-97ED-87D63D4ADB80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93a856ec74c83d630bb9a006b922edf955f6e7da","datavalue":{"value":{"time":"+2001-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2724155$06A11AEB-A127-482E-BE63-F9CBCD027628","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724155$7DC723B9-29E8-471C-86E6-D74175FCC10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724155$81B131A3-F56C-463E-AD79-481ECF12FCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724155$3AEAF312-1C50-4D03-830E-43D870AD8BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724155$C860F37D-8884-4287-8FEF-CD8BCE2C8344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724155$B0614625-C46B-407B-AFCA-088B6612E4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724155$08A46DB7-2D64-43C4-A727-4E1B1DF6D098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724155$8E3B48CC-C202-4175-8AE9-D6818BBE3C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724155$24B27A37-53F1-48C2-BFF6-FD7A61B2B7A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdbff9d0df680ded9800092220db7a3ceec0d0a6","datavalue":{"value":"1615755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724155$5149624D-ED18-4EFB-A130-95873DF5D2EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724155$20FEB805-5807-4394-ACE7-B22B401B8F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724155$4B79A52A-4357-46E6-AA6B-87030D350257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4908130fad200c533896629f09c6eb4da5e3c07","datavalue":{"value":"Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724155$B068E7CA-C8D1-486D-ACA6-5CDC1A274419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0d2cd6c808ad9febc6998c9d303f1acef764ca9","datavalue":{"value":"Hilbert systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724155$714B63BA-6BCB-48ED-92DF-D2EF923BAD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724155$1828CB3D-AAE0-4AE0-B203-943856E178E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724155$F24ED071-ACB5-42B3-B659-4D090DC0CB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724155$BFC4BDB1-9C88-4BAB-8054-4B3C5D6D9EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724155$D9D1DBC0-3E79-4CE3-98D1-62E4CC4EC45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724155$C7E1C538-47AC-4355-81AE-9630104969C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724155$7FE7C9D3-ADE2-44D5-9ED8-771A2A7490DD","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":"Q2724155$4F56AD22-DE48-4E88-BDB3-87995D417227","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1219169bc114953f4a7c749e83f5e4953dd42e2d","datavalue":{"value":{"entity-type":"item","numeric-id":4293537,"id":"Q4293537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fbb03bf296d8ff2407882afa05f02c5a54e7e8a","datavalue":{"value":{"amount":"+0.92971325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2724155$E6C2A88A-8C82-4F9A-B50C-858B223268A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e81f0fd4cb2fa7251abacd206e730ac001bfae9","datavalue":{"value":{"entity-type":"item","numeric-id":4003336,"id":"Q4003336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ca399929a6b726d6886cdf5641b228a7e7beb4","datavalue":{"value":{"amount":"+0.9170966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2724155$35BFE502-A3D3-4A1D-89F3-F70345D6B3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff50c48f2323365f51cd5ac298e16780580bb1fc","datavalue":{"value":{"entity-type":"item","numeric-id":4296948,"id":"Q4296948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6b9faac123af7097d26be58490dd602ed10325","datavalue":{"value":{"amount":"+0.902453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2724155$7B6504D3-17B6-4C9E-92ED-F8826E809C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe8d069525a40437baa1608a83539eff3bc51fc","datavalue":{"value":{"entity-type":"item","numeric-id":6181540,"id":"Q6181540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46a91c75688735f201d28da099ba3dd190ad7d62","datavalue":{"value":{"amount":"+0.89478236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2724155$AFF51DDA-9C43-4B7A-B261-A1C99B489876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ea03fbe1eef85ac4c9fce97678a06e2961bfd5","datavalue":{"value":{"entity-type":"item","numeric-id":4000090,"id":"Q4000090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b610f9d90150d0cadcc1bb06e9eea4ab81598d","datavalue":{"value":{"amount":"+0.88856256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2724155$EF9C3E8B-C274-47FC-A76E-BE347EBE75DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da42007258f0ea5c11c75b97cb79174a97a50af8","datavalue":{"value":{"entity-type":"item","numeric-id":3829528,"id":"Q3829528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f84bc52a05656f25ec7518076a77e6b5f265bf26","datavalue":{"value":{"amount":"+0.8855984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2724155$F5B8E826-2FF6-475E-B77B-899A79338215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"061eec73e6dd1f3a45722b47cfc991e7ff4fa874","datavalue":{"value":{"entity-type":"item","numeric-id":3998314,"id":"Q3998314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa764ebed270e8ad25d0a1e535299025ad9f145e","datavalue":{"value":{"amount":"+0.88393533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2724155$73550CD6-EBDC-4E38-92CC-DFD8B730F54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba29f9903ef844680bdba51cf34bf6327f376f73","datavalue":{"value":{"entity-type":"item","numeric-id":3070800,"id":"Q3070800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"350f7ca2259c5611d6b60995c9bd51ff1acdd442","datavalue":{"value":{"amount":"+0.88145566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2724155$48CF8C9B-2585-42AF-835A-274D5D92732B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13abc07908d0568c774adc6114ddc2d391f6959a","datavalue":{"value":{"entity-type":"item","numeric-id":4002451,"id":"Q4002451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680b9aa51812b8c5816c7a514b5fe7da0f3fad77","datavalue":{"value":{"amount":"+0.8797065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2724155$A05A2E12-1BD5-4CB7-9C2C-E1600601D637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8443caedf36cb4a469d7c31ca07ef4894cd054f8","datavalue":{"value":{"entity-type":"item","numeric-id":3125203,"id":"Q3125203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da654b4c7d5cf907b99bbda5162daebf8b1473bc","datavalue":{"value":{"amount":"+0.8795998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2724155$2F140C2B-24DF-40CC-BCA7-EEA2DFBBF1AB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2724155$76241A26-C9F8-475C-967C-380F8AB00348","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2724155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2724155"}}}}}