{"entities":{"Q4952309":{"pageid":6981891,"ns":120,"title":"Item:Q4952309","lastrevid":47473333,"modified":"2026-01-01T20:24:13Z","type":"item","id":"Q4952309","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1444729"}},"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":"Q4952309$F69AAA65-CF45-40C0-AF9A-6706D98110EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2244a659687c8f1852d8d325cafa0cd67009524","datavalue":{"value":"0945.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952309$D8C83F34-0295-43D6-9260-326044055466","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c764ac21e0f0934969acd440140a93a6d4c985","datavalue":{"value":{"entity-type":"item","numeric-id":1383356,"id":"Q1383356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4952309$F3CA87BB-0BCC-4EBB-9EDB-20AAE365C327","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7543152ecddaf21ed728b3008f8361c72e57a31","datavalue":{"value":{"time":"+2000-05-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":"Q4952309$BDF6BAA2-A2B0-4E63-B287-6FBFD32F0079","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952309$1D16B22E-A55C-4437-8A0F-4EFF17A9CC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952309$BB486BE8-9E85-465A-A32E-F049EDAE8459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952309$8DE32998-9A39-40F4-B6BB-602485E0BC0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf1f8aab9f97534b60baf107f6b3282f4e5c407d","datavalue":{"value":"1444729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952309$FF345A73-C2CB-4243-9AA5-F51F9811134B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952309$32965A58-AF98-4B22-8313-C3C402652D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927659d4813664173a8f09a1f34d9214be3b9170","datavalue":{"value":"OTTER","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952309$3F984A08-B000-4A56-83D1-81FC50319A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d67377c81f0f0348534476df053a096f2fd8af5","datavalue":{"value":"resolution based theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952309$59BC5383-B594-4C46-A62E-97474331EC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42fbe7b8974cd7b1ee575530a886ee5b49b43806","datavalue":{"value":"temporal resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952309$D1F8002C-B300-47A8-865B-A866835C7D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db565ff522fc1077357200a1bd171c4d25798b43","datavalue":{"value":"translation into classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952309$29C68EE3-712D-4567-9858-9BAC5838E399","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4952309$B3DF83BD-A41F-4CB4-BC90-DDDE92945629","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":"Q4952309$7E3E7248-5616-4B65-B28C-8704B7C050C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22da62a3026a146782fd05ca459379ca6fd994c3","datavalue":{"value":{"entity-type":"item","numeric-id":4647556,"id":"Q4647556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a017522b0dd2167fffa15d63ceebfa291b2d594","datavalue":{"value":{"amount":"+0.8091175556182861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952309$D4A2007B-53C2-48DC-8B1F-BA11DA2F8B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6540a03aae9ccb60f9792703fa5206b33de716","datavalue":{"value":{"entity-type":"item","numeric-id":1383357,"id":"Q1383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf23eebf573a7c02deb8b6a5afc8022b5d526c2","datavalue":{"value":{"amount":"+0.7991209030151367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952309$580F9A2D-4D47-4FC5-A470-6A4B16718E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5225452bae2904b4a8fe5f33e86f9216d0ae06a2","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75490c81caf694e403a00cf4ece4f0f7d3eb6a43","datavalue":{"value":{"amount":"+0.7626414895057678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952309$45EB6CCC-3F6B-4B4D-AFAC-3F151816AC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c378675ffe377bc56267cf1f2a84bd5babfc8658","datavalue":{"value":{"entity-type":"item","numeric-id":4647550,"id":"Q4647550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b828ecb88d934acd490f30136afe0677d2339aca","datavalue":{"value":{"amount":"+0.7549851536750793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952309$B614CA4A-C1E8-4568-AA8F-9B33C3453F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674a4fc00a703afc442c8e1c15c8b2d1c36549e","datavalue":{"value":{"entity-type":"item","numeric-id":3741614,"id":"Q3741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547d5f8cd07c07cd0a27e11e9f67e72a8df6a1b5","datavalue":{"value":{"amount":"+0.746731162071228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4952309$EFE57327-ECBC-4C15-A88C-8DD955CF61E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4952309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4952309"}}}}}