{"entities":{"Q3952084":{"pageid":5981989,"ns":120,"title":"Item:Q3952084","lastrevid":81293063,"modified":"2026-05-06T18:11:16Z","type":"item","id":"Q3952084","labels":{"en":{"language":"en","value":"Completeness Proofs for Some Logics of Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3771576"}},"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":"Q3952084$11CCD25D-B7A9-4110-A1AD-627928B11A71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09547a3721051148cb50c8d353eefde9e71eeb31","datavalue":{"value":{"text":"Completeness Proofs for Some Logics of Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3952084$D1850C3D-7DBE-4EDF-8035-4DBF2C5AE8E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"170f97bdef5a0f98f685f8840469b87279cce2b5","datavalue":{"value":"0491.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3952084$443A4564-0539-4C7C-B075-5850B1D78FE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a81ee3d22f4d6472094917e6f4d497a318f69849","datavalue":{"value":{"entity-type":"item","numeric-id":529039,"id":"Q529039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3952084$B4C34680-B926-4CEC-9230-D86E96385594","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":"Q3952084$C76152CF-F3E2-47B7-859E-D7B0D33CA73C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3952084$D3202348-B46A-432C-A861-8D7CD4E09CF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3952084$C1CF3A26-5251-432E-AA07-03CBF65553C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3952084$A6A327C6-09FE-4A77-89FD-8F21F37DDDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3952084$AF363294-4E9A-426F-B8C5-26721491559C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3952084$1B5AB02C-FC91-4101-9067-35ED0EE43127","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"171be2b397318766a4ecf30c5049e6ee4923ba52","datavalue":{"value":"3771576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3952084$143D9211-DCAF-4C4B-A01C-3807DC3D5A7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4150cc071af573389b0f153adc216861cd5e3ba6","datavalue":{"value":"algorithmic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3952084$144D66A8-95BA-41FE-8205-CC275D5ADB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8062d4a1eeeb5e08f848ae1fee36c598b5bb81d4","datavalue":{"value":"infinitary axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3952084$5367D0E1-0C5F-490A-B7D4-7E0892A9CD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3952084$37D526AC-8EA3-4A7C-A0DC-15BF7462CF0A","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":"Q3952084$E6DD206C-A65B-42E7-AE13-FD93E14291F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5b91c6c0b53a6d0e10eef475bda72de054060cc","datavalue":{"value":"https://doi.org/10.1002/malq.19820280402","type":"string"},"datatype":"url"},"type":"statement","id":"Q3952084$81ED2CB7-C869-4DA0-8EC4-8B7612F19E95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecf293f9ed3c615f8d7cd1f390a12413658c0836","datavalue":{"value":"W2131712674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3952084$35A6A270-8B0C-49DA-A6B9-D45F6FFA34F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65dffa22f975fb2f423564636fa525e5fccbcb88","datavalue":{"value":"10.1002/MALQ.19820280402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3952084$15C4C59D-E6F1-43AF-AEA0-A8A5096A06E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness Proofs for Some Logics of Programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_Proofs_for_Some_Logics_of_Programs"}}}}}