{"entities":{"Q4952310":{"pageid":6981892,"ns":120,"title":"Item:Q4952310","lastrevid":47473345,"modified":"2026-01-01T20:24:13Z","type":"item","id":"Q4952310","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1444730"}},"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":"Q4952310$E6F96151-D1D3-4433-B6A7-3C304AFF67C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48fba91863bfa6d2572adb909594114d66a5e2ba","datavalue":{"value":"0949.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952310$B619410F-C5AF-46A4-B5D0-8F0E25C03920","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11286054835b1b2494bd8502ba10b3e5bed697b4","datavalue":{"value":{"time":"+2000-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4952310$4F96C847-084D-4DA2-AC55-9E7B25138162","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952310$1747B42E-9E12-4728-A32F-BD9610F5BE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952310$365C8A40-68B2-4C10-9AD5-8FDBA02AD1C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dbd94b7878143b1037d9931e81408193713f7cd","datavalue":{"value":"1444730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952310$39A4CB88-B6F6-479B-A8E6-19C7852CA759","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc0a06ffadbc917396a626e33a9a5489bfbfb917","datavalue":{"value":"automated theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952310$00D551CD-6BE0-49E1-8568-DB743D283E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952310$FE4F2722-E9F8-4AD2-B8DA-BEB723AE4891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20a478193fe26fd22e880437974a3f6404d89630","datavalue":{"value":"clausal resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952310$B9386F79-F5B1-4C81-B4E6-367087C88BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952310$0A84D70E-E8CA-4C93-AB56-E81F9DE2C06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42fbe7b8974cd7b1ee575530a886ee5b49b43806","datavalue":{"value":"temporal resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952310$DCCC9121-FAF4-45C4-BC05-9F166CAA82B5","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":"Q4952310$B8E5C399-42E0-493B-B51D-47398591022F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0678c8baf9c876545b77d473b06988a25fb5c817","datavalue":{"value":{"entity-type":"item","numeric-id":5738910,"id":"Q5738910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa0d75ce7867a50712cd87a95a84bb624d3a5bfd","datavalue":{"value":{"amount":"+0.8609952330589294","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":"Q4952310$E316AC88-DC69-455B-B648-443E1BEF0B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39d5311806420136da35f61d50371ef1e707a9dc","datavalue":{"value":{"entity-type":"item","numeric-id":4412247,"id":"Q4412247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c722b492f43b38b61852032a2046be3dbfca1b0","datavalue":{"value":{"amount":"+0.840662956237793","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":"Q4952310$19B47C83-06DD-4EF4-9F09-0D4DBE676F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"311026609f8b0310dad3d3da392cf4a8105da65a","datavalue":{"value":{"entity-type":"item","numeric-id":352974,"id":"Q352974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c722b492f43b38b61852032a2046be3dbfca1b0","datavalue":{"value":{"amount":"+0.840662956237793","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":"Q4952310$B4B73C9B-B492-4472-B0D6-D10BB96CE4D2","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":"5925e0522ab2a17f28aff064bddab3ac2137dfc4","datavalue":{"value":{"amount":"+0.8000614643096924","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":"Q4952310$E7F09505-6A10-44D4-B4BC-ACDDD5E622CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac829807b706662d7bd51fdde4ecc1b25ae19de","datavalue":{"value":{"entity-type":"item","numeric-id":5202982,"id":"Q5202982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f9faf2ea60b154799b7b41e8eb0998ee16587b","datavalue":{"value":{"amount":"+0.7987244129180908","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":"Q4952310$C8738811-188D-4C7F-8EAA-44A2797983FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4952310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4952310"}}}}}