{"entities":{"Q4867922":{"pageid":6897502,"ns":120,"title":"Item:Q4867922","lastrevid":47398951,"modified":"2026-01-01T15:29:12Z","type":"item","id":"Q4867922","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 851448"}},"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":"Q4867922$CFD06BA9-A6BE-4FB2-A7AF-2488F7453BF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8c65eceead7c0c25b5179499fb7ca4b3dc77a39","datavalue":{"value":"0838.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4867922$65473451-5239-40EE-AEE8-6C189D4DDA8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4867922$B954E0A4-C3E7-48B1-94C0-FE6CE4767281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d482c80650ca30db0c7fd7bbd885fdc20cedf80","datavalue":{"value":{"entity-type":"item","numeric-id":812436,"id":"Q812436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4867922$A28E0F34-2B34-474B-9EE7-C04F6C0BD603","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"818d4e227be848826de7c68bd56964bdf6300a06","datavalue":{"value":{"time":"+1996-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4867922$8D7A7720-C8C9-400B-9F44-0755C9CD820B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4867922$6DEEF11B-462D-422B-9033-C15C8861A145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4867922$DD59535F-E761-4636-82E6-C7DAFB9C7682","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97c485f38c893dc9723d3814ddbe9d60436df109","datavalue":{"value":"851448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4867922$8A01EA52-4EA9-41C7-BCC2-79C6829655EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eba3f45f52e1a547c2d7a9987e08e103feadaee","datavalue":{"value":"unquantified set theoretic formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q4867922$6D7D520E-6310-41F4-AA3C-74E0FD7BB9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6675ed5e4ecb484790166db7aba86bef24105cf5","datavalue":{"value":"tableaux calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4867922$15421297-1D74-4287-A6DB-6FA1F90F75C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3cd2a4a4043d8273aeb924e482eaa6715c9e223","datavalue":{"value":"quantifier-free fragment of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4867922$FCFDF4BD-17C0-4932-A545-4DEDF0D1E328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60fd12e63e957cda3b941b0bddd99fd166b3ebc6","datavalue":{"value":"finitely enumerated sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4867922$6696C859-EDD2-4186-AC94-F7509817CA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4867922$D4C2F738-8CCC-4505-A130-0482D1F3E83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4867922$B3E0754E-E803-483A-8ACC-3EA9E589BAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4867922$5F090AE1-1A82-40AF-9988-FDB6ECD84A92","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":"Q4867922$F4BF069D-0BEB-44CF-BFF7-03EA64C33AC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7b8b9187858ee316c77d53ef54556df0d4ea90","datavalue":{"value":{"entity-type":"item","numeric-id":2252530,"id":"Q2252530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"301c5251d668925a99f74ddd60b6d9629e0c0a9b","datavalue":{"value":{"amount":"+0.8164389133453369","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":"Q4867922$88136E4E-02D4-458F-9302-C11FAE174334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"047cdc2c882dc4ab0606ea331fb2c136e2b0239c","datavalue":{"value":{"entity-type":"item","numeric-id":3838806,"id":"Q3838806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"994e9b3af84e1e93914f8d8ae802be564bc4e7d0","datavalue":{"value":{"amount":"+0.8110236525535583","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":"Q4867922$9694DB35-EE8B-4C57-B59D-345AF0C70A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee886934725940e74e4f5e04e9e7757c460cb7e","datavalue":{"value":{"entity-type":"item","numeric-id":4503906,"id":"Q4503906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db46c50ea4121a3f2d3a7b736a2791e0070e1d45","datavalue":{"value":{"amount":"+0.8021606802940369","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":"Q4867922$9E49B927-23AA-49E3-B8D9-C2597FD6A512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b75d5aeea62b8b08b6e0e52aec0b40ebc1b0b2e","datavalue":{"value":{"entity-type":"item","numeric-id":4263009,"id":"Q4263009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30578c5226c20a7b02e320b8548c2b619fe56e2b","datavalue":{"value":{"amount":"+0.8007883429527283","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":"Q4867922$3D46ED43-EBF6-4881-B848-29F1E9B64A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7dca6b99730b98bdcd03037fffb847a56ea44e","datavalue":{"value":{"entity-type":"item","numeric-id":3787974,"id":"Q3787974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30578c5226c20a7b02e320b8548c2b619fe56e2b","datavalue":{"value":{"amount":"+0.8007883429527283","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":"Q4867922$C74D2100-570D-43B8-B0EC-EC76CCEBA3C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4867922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4867922"}}}}}