{"entities":{"Q4304103":{"pageid":6333704,"ns":120,"title":"Item:Q4304103","lastrevid":46280091,"modified":"2025-12-24T11:40:15Z","type":"item","id":"Q4304103","labels":{"en":{"language":"en","value":"A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 635965"}},"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":"Q4304103$CAC35CA0-D160-424C-90F1-52C23BF83E09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b088de3d821db064ac123e705e2f1bcae9dad21","datavalue":{"value":{"text":"A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4304103$8C04180C-F355-4DB5-AE7E-1FD667BEA1B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d5b5d076e768b24d5044fc2053d49fedfd12a4f","datavalue":{"value":"0810.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304103$F711547B-E5E0-4E45-AB1A-FF72B6D5E885","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e59d7cdbbec99b0ac30571f5599ead43d03c8a5","datavalue":{"value":{"entity-type":"item","numeric-id":799719,"id":"Q799719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304103$999E4681-7ECB-4439-89F7-87C5C2BE12C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa8e092697f26e8493ed1bdb5b6bbe79c6f36bf","datavalue":{"value":{"entity-type":"item","numeric-id":494651,"id":"Q494651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304103$B6ACE9D9-8AF1-4392-9187-9F96A592AFDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304103$85F9B842-5C77-46EE-B8FA-44ACE51620E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b74804618c57ee35b990cf82f55e89bccfb918","datavalue":{"value":{"time":"+1995-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4304103$4F3338C4-5398-4C1F-9036-7B8939FAF551","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304103$D69FC633-F77C-4D3D-AF00-6AD0B99236C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304103$227C89AC-875D-44E9-9022-7728DB6D94E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304103$6783EBBA-12BA-4C1D-958E-7E61AD171D77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb89935ddcce4cde08fafb9aebacb8e86e137e6f","datavalue":{"value":"635965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304103$A6CF12B4-27F8-470F-A96E-7777E261D79E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb653c04dc9021e6849241c82d77f2468842303","datavalue":{"value":"relatively recursive relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304103$F2919298-DB4D-4C50-9E45-95C2F1C183BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e00aeea939a9ec6473e75573a17bef9bec7a6d70","datavalue":{"value":"infinitary formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304103$B22572DF-3746-4C0F-A7DA-E253404B9DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"362b65c58fb7e03db57ecc3fe545b34abd8e9636","datavalue":{"value":"recursive structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304103$056D5722-3C89-417F-9FC5-E6521E3D97BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304103$7BD240D8-8AA1-409D-9807-FBA09B054D3A","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":"Q4304103$BB909CAC-287A-4968-A816-360C26FAF0CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8442b9e2cdfd81f2ac9db1216560f84d2b22f7d2","datavalue":{"value":"https://doi.org/10.1002/malq.19940400204","type":"string"},"datatype":"url"},"type":"statement","id":"Q4304103$36445403-010C-487E-9AC2-F09030F6CD0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2773a912d7bc3fd41a4d65b94d4c4b961c8a54d7","datavalue":{"value":"W2023945589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304103$33EF7A0A-24A0-4F15-8FEF-7E3AD64D6F8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4652895a932039c72a4cadb86e3766aeaf2eca94","datavalue":{"value":{"entity-type":"item","numeric-id":1344627,"id":"Q1344627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304103$6A78A8BD-6397-4171-B365-C5CF2407F73F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1f371aea5b72b78fba010b90032bd07e0d822e9","datavalue":{"value":"10.1002/MALQ.19940400204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304103$456A079D-0A6C-423C-A8A8-1E8DEB00895F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"170e442bcad4fb55f635753e9f535076bedbce10","datavalue":{"value":{"entity-type":"item","numeric-id":4314762,"id":"Q4314762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e328f81cb5ecf5048790a04ab0d1e2cbdd29ed6","datavalue":{"value":{"amount":"+0.7619672417640686","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":"Q4304103$2A42EFF1-C7E7-4D8B-8A6E-960A68B8222B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c693d79c0a9a409f7de3782b2c4018788da211f9","datavalue":{"value":{"entity-type":"item","numeric-id":1106203,"id":"Q1106203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4621ff52417c759cff84f1bac222b6698c85a4e","datavalue":{"value":{"amount":"+0.7274379134178162","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":"Q4304103$DD22510D-2406-4355-B253-3D79094EFD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ca222f16c61af127e8b8b376028e69555a31b8","datavalue":{"value":{"entity-type":"item","numeric-id":4314795,"id":"Q4314795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769f265f298f0547eaf41650dec53748e3697eb0","datavalue":{"value":{"amount":"+0.7233790159225464","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":"Q4304103$0F7FFE73-4168-4F02-B88C-32FF12CD0B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc42055ebba55655f0b05ef6de3bcd5afa3d6f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687409,"id":"Q5687409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"710cb14d08ecc87ca2daa59e2faddf0373e97f1b","datavalue":{"value":{"amount":"+0.7211442589759827","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":"Q4304103$E2BF18AE-6038-40C4-8D66-9419083BBC25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4304103","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4304103"}}}}}