{"entities":{"Q4503908":{"pageid":6533501,"ns":120,"title":"Item:Q4503908","lastrevid":41746200,"modified":"2025-05-07T21:01:19Z","type":"item","id":"Q4503908","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1507188"}},"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":"Q4503908$9D9C7FB1-3BFE-4EAA-A789-B0F96F6510B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"602aef272a8af8fe6510556d0b9be80646f30c8b","datavalue":{"value":"0956.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503908$F7F7A034-BD58-4CD6-BFC1-BC8F2C872E15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4503908$D11B766A-C40E-427E-9703-2B3540935100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4503908$32D9AA10-D9D6-45AD-8138-36F380BFB4F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3592adebaf5375a0aca8d0c2df6b20cb85499565","datavalue":{"value":{"time":"+2001-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4503908$C0588177-E836-427E-B4DE-7029734C494C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503908$3F59A03F-EC70-4E01-9F6E-076F314F63CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503908$CC0A59C7-1B6B-4505-87B0-239F6AC692CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503908$01B008B1-53FB-499A-B8A0-7BA3981A7ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503908$60B9F010-92B0-4621-B359-9E456688F930","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e24b2d3ce97c01332ec6e3d1bb2e067af8ab9a21","datavalue":{"value":"1507188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503908$65716803-C08B-42F1-831F-DE60BB94A485","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503908$79DDEDF5-7806-4CEF-B0D8-98E796C7CE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503908$22BB2BB9-D2EC-4B63-A117-6B5437FF4083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864ef7dce94a776fb13c03f4cc29b29ace58b08f","datavalue":{"value":"decidable fragments of classical first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503908$4FD590A8-BBD3-4F4B-84AE-2F3F74984312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503908$038741A2-7939-412A-96D0-1B7B767E8E8A","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":"Q4503908$D7AF9079-6158-4CA3-96F0-9E9C5EF2297F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efbcfd199f89f163857ff23df2d8427f2b089dc4","datavalue":{"value":{"entity-type":"item","numeric-id":4942635,"id":"Q4942635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5b3f64b0b1d7faa1c8a65b79c79a47358062ee","datavalue":{"value":{"amount":"+0.84349257","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":"Q4503908$FBA09B33-B4DC-4F4E-BAE9-4CEE04838C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae626a2a3dbd6771d18f6a7baa88280e4c92d5fd","datavalue":{"value":{"entity-type":"item","numeric-id":1909605,"id":"Q1909605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218104c4fc224da33da18b9bde5a2b25ae81e345","datavalue":{"value":{"amount":"+0.8351116","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":"Q4503908$A2F22435-72C7-45F6-B76D-823BC6041C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5d2ea1be527de7671d14727d4141bfaa7c4ea8","datavalue":{"value":{"entity-type":"item","numeric-id":2284181,"id":"Q2284181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016264f463c75295139c6f363524cbe8f009f67c","datavalue":{"value":{"amount":"+0.83267033","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":"Q4503908$BC30C7D5-CDB1-4C4B-B931-FB036A6885D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"386fb16dce457e5a3ebc877fcd926d6bf66aaa36","datavalue":{"value":{"entity-type":"item","numeric-id":650893,"id":"Q650893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a10ad74bfedeb16482557deeba4d79115c77c2","datavalue":{"value":{"amount":"+0.8299856","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":"Q4503908$1400565F-D1D3-45D3-880F-2A9FEDB6DF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c6d7dd62536532f41d8338c85b992e341759f4","datavalue":{"value":{"entity-type":"item","numeric-id":2363413,"id":"Q2363413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1929274a6afa2151b97cdbd1c3ddeed8b3898904","datavalue":{"value":{"amount":"+0.8245391","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":"Q4503908$B631D708-E792-423D-9563-87E224A44C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f502c6a6ef566da0ff2f60e40ee683ddb083636","datavalue":{"value":{"entity-type":"item","numeric-id":2517231,"id":"Q2517231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"949031cffe8e56123079bea467c6727d5d496f92","datavalue":{"value":{"amount":"+0.81935745","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":"Q4503908$41050B89-7C25-4AB0-AA3A-1031A8CF37BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fcc038c78f7a086a3f2e73a2999c05086032cc0","datavalue":{"value":{"entity-type":"item","numeric-id":1041587,"id":"Q1041587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea4904b0be73f9b129401a9ac0007af306abc1a","datavalue":{"value":{"amount":"+0.81712896","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":"Q4503908$A76B3510-C23F-4FA9-A16C-C375DFC45020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b953f0df74b274878c61a926b10656efc2c62f","datavalue":{"value":{"entity-type":"item","numeric-id":3498453,"id":"Q3498453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87b32c4b47e77979940fa1c0d088c481a6a077c4","datavalue":{"value":{"amount":"+0.8171289","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":"Q4503908$9CC65EBE-EE46-44A3-92B1-C8054D1D2F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf446e729c2ae15b32d7b70132cbb22d8715b07","datavalue":{"value":{"entity-type":"item","numeric-id":1193408,"id":"Q1193408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35532e9c314260d3a3d8a85f35fd32ef086ceec8","datavalue":{"value":{"amount":"+0.8171076","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":"Q4503908$476BAC55-DF28-47D2-A003-D545EC1D26AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a979ec61663d15968ffb824103c32eb345121778","datavalue":{"value":{"entity-type":"item","numeric-id":5012557,"id":"Q5012557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7d67125ef4b89fbe544160e860eba56b556b53","datavalue":{"value":{"amount":"+0.8168738","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":"Q4503908$25A3DFC7-DAB9-43BF-9F0F-EC6FA3D8B5DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4503908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4503908"}}}}}