{"entities":{"Q5722255":{"pageid":7751809,"ns":120,"title":"Item:Q5722255","lastrevid":92835104,"modified":"2026-06-05T02:52:21Z","type":"item","id":"Q5722255","labels":{"en":{"language":"en","value":"Independence proofs in predicate logic with infinitely long expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3185955"}},"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":"Q5722255$450A08F9-6F55-4CE5-91DF-0CFCF6EA008D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1222a393877361e25ba2291d85b42f4e4b079d0a","datavalue":{"value":{"text":"Independence proofs in predicate logic with infinitely long expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5722255$347639D0-CDAF-4611-9C3A-AF018B1B1595","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4af2af4e6136a97432d0b0fd43df6c58096db59","datavalue":{"value":"0114.24503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5722255$B8136BB1-9E15-4E4D-A358-A9ADDB4F1F7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"840ad382147ebcc6847b636c7b6c61984db93494","datavalue":{"value":"10.2307/2964112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5722255$DBD38645-71E8-4188-AE6C-F25D1D3F118E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aa62b9e7d250266c260f42d3511880cad73fda0","datavalue":{"value":{"entity-type":"item","numeric-id":4065506,"id":"Q4065506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5722255$3195626D-7634-475D-B75C-EE5C9296971D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5722255$FC5AF2BD-5AA5-4351-909E-0E8AD7C6D29B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb2ff0c8850243f6c91f9deeec455d393bf560c2","datavalue":{"value":{"time":"+1963-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5722255$8559C1FB-F406-4F75-8D5B-5FC73903B26E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5722255$6078A9B6-03D0-474F-9458-5B2E97ABDBD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"215e588fdfaeb368721139a0c157f9c19834f06a","datavalue":{"value":"3185955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5722255$AF7F6A0F-3AA5-4C45-966E-D75EEE6EEF4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5722255$0CFD99C3-BD04-4818-B94C-8FF114F84737","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":"Q5722255$080D3996-0DF7-4BE1-B295-6D1DBF20BA65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39bbb12f0583542c69bfcbbc33184ed9111e0032","datavalue":{"value":"https://doi.org/10.2307/2964112","type":"string"},"datatype":"url"},"type":"statement","id":"Q5722255$E89E53AC-A192-4A68-B12C-DB2BFCA14B40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d535de95ec88f8d94a7a48da2261a85574cb913d","datavalue":{"value":"W2018616641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5722255$51E0BE53-72B2-4297-9E26-EB6AAA13E5D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d1c94b3306d6b54a13ad86124566e01be343b7c","datavalue":{"value":{"entity-type":"item","numeric-id":2648453,"id":"Q2648453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5722255$BB0A93F7-D2B2-4B9E-8113-E5330DFE5008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d969f1a386410447fd997baee9581f135d1e0f","datavalue":{"value":{"entity-type":"item","numeric-id":2652530,"id":"Q2652530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5722255$D05EDF5C-4DFC-49D8-AFC3-BB218776D8AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70fbec6763aba485458e14e954c2770aba09a551","datavalue":{"value":{"entity-type":"item","numeric-id":1130508,"id":"Q1130508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07a4009eaa1a35445cf8a647874a74184ad85fb0","datavalue":{"value":{"amount":"+0.7941739559173584","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":"Q5722255$DA8CB2FF-4CC1-463A-AF48-64C172D3C6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7caa784e70d069c58742510979aa0dd19dc9b1b","datavalue":{"value":{"entity-type":"item","numeric-id":4795397,"id":"Q4795397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c36521c2059f5bfdbe4e3fe51b69e833b86a58f","datavalue":{"value":{"amount":"+0.6947173476219177","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":"Q5722255$22D9F8FB-3B64-48FB-ABFC-D64E27E03CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b81a45e168373a9af98cb46de3a98d34af86198","datavalue":{"value":{"entity-type":"item","numeric-id":4360863,"id":"Q4360863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f37247bd2a8afa8a94645dd6243fed78686f754","datavalue":{"value":{"amount":"+0.6941444277763367","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":"Q5722255$5CCD8849-9529-42B6-BA5B-CE35BF351B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcaf5dcbbc41b337e20d7a68e812ee7476d08ba1","datavalue":{"value":{"entity-type":"item","numeric-id":701294,"id":"Q701294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f37247bd2a8afa8a94645dd6243fed78686f754","datavalue":{"value":{"amount":"+0.6941444277763367","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":"Q5722255$D82338CF-17CF-4805-9351-DBA05DDAA063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b2fab11370fc4e636a8a28817e93fb8c750c285","datavalue":{"value":{"entity-type":"item","numeric-id":4836153,"id":"Q4836153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"345d735bd8ec8182a4bda175c4ac7dff83b33eff","datavalue":{"value":{"amount":"+0.690044641494751","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":"Q5722255$63528390-E466-4198-821D-18C1B2D54970","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Independence proofs in predicate logic with infinitely long expressions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Independence_proofs_in_predicate_logic_with_infinitely_long_expressions"}}}}}