{"entities":{"Q4789048":{"pageid":6818628,"ns":120,"title":"Item:Q4789048","lastrevid":74786412,"modified":"2026-04-15T00:19:55Z","type":"item","id":"Q4789048","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1858071"}},"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":"Q4789048$98989BF4-D9CE-4889-AED5-A5180293F970","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7520024910cd55ed9626dcd0cb9f60739eb996b5","datavalue":{"value":"1013.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4789048$D4639BEA-F1DA-452F-B894-BBF77A98E744","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30feb3836a21b69361e192b6f271605be3d90179","datavalue":{"value":{"entity-type":"item","numeric-id":1623148,"id":"Q1623148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4789048$4FC5C672-E1B3-4D52-B20F-CC72833165FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9766154da8868329ab713f56377e5e5d3217fc5","datavalue":{"value":{"entity-type":"item","numeric-id":1181480,"id":"Q1181480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4789048$83A1B621-975F-41A4-B5BC-A1D80AFD5C75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2676d9d4eb722b1bb7d8b7b48eb293126165bd27","datavalue":{"value":{"time":"+2003-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4789048$A20C1478-D5F7-45C7-9BB9-1F6922076A75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4789048$6B444683-EC41-40B4-B613-86DB98D67B7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cd622f9bb562d79669717c637fc8fce92c27c71","datavalue":{"value":"1858071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4789048$B9837914-0F35-46C3-B7FC-857B8E2844BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8387cd015694dcd25681d7835b4495407dfc8132","datavalue":{"value":"relative decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4789048$97B500FF-D814-474C-83B9-A0613EE1E624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4779ea2c41e89c56bdef0f7c935ec0d067bad5","datavalue":{"value":"algorithm with an oracle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4789048$176D972A-37B2-4D4E-AB40-1D0BDAC8C6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4789048$5C0FAF49-6472-4010-8A8D-670CE3B42CEC","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":"Q4789048$2D5E04C4-23FA-4A96-A41D-5BDEAB2167C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb44cee49c5ba0662a382d8951185265a574039","datavalue":{"value":{"entity-type":"item","numeric-id":911574,"id":"Q911574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1987b12bcc4300a5e646728acb20a1b095ead7d","datavalue":{"value":{"amount":"+0.770069420337677","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":"Q4789048$3718F83E-A6CD-4F00-8D6B-24B761F1C52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4243997c4ad9f22529b56ceb87994953b92055","datavalue":{"value":{"entity-type":"item","numeric-id":4246974,"id":"Q4246974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae2e7161955c98b3b5667e9cefcc10e2bdcced8","datavalue":{"value":{"amount":"+0.7671307921409607","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":"Q4789048$69D55772-A1BB-4229-9BCE-28244007E124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e303d284b54b798bcf91b5370d140139519f44b0","datavalue":{"value":{"entity-type":"item","numeric-id":4881682,"id":"Q4881682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71de120cd94712841797531882df09cfd30a1e7a","datavalue":{"value":{"amount":"+0.7591508030891418","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":"Q4789048$2F631879-8CBA-4CB1-A021-A54AF983C718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdce7ea47ca5f2672598ab75308ff61cb4ccb4e5","datavalue":{"value":{"entity-type":"item","numeric-id":4815892,"id":"Q4815892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0c712c4ca24a5396b6f48fc605b4e3001373ae","datavalue":{"value":{"amount":"+0.7535523176193237","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":"Q4789048$3E5FFBD4-CF99-4EC9-B10A-87703427F2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d757875cf6351cd4776c2f4e4b255528dbafcd","datavalue":{"value":{"entity-type":"item","numeric-id":4796461,"id":"Q4796461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2915dc66afd5cc92d1b6c45e35c5fd8f0c503b97","datavalue":{"value":{"amount":"+0.7530171871185303","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":"Q4789048$30616F26-E8D9-44DF-929C-B4AC66D44E88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1858071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1858071"}}}}}