{"entities":{"Q5502819":{"pageid":7532379,"ns":120,"title":"Item:Q5502819","lastrevid":50535197,"modified":"2026-01-14T07:57:52Z","type":"item","id":"Q5502819","labels":{"en":{"language":"en","value":"Completeness and incompleteness for intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5488483"}},"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":"Q5502819$FCC081BC-F2EB-45E7-A1DF-BD22096C642C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9bf67042962e1260ff417789c001d6654e62ac3","datavalue":{"value":{"text":"Completeness and incompleteness for intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5502819$AC472956-06D0-497E-9950-B110206533B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2be70d8380f1e8261a39eab13b0b093a15b1ff2","datavalue":{"value":"1165.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5502819$2EF2A8A9-A9A1-4889-B75A-412177343D18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d6e27545f5ff87bd8e85f58155ee9385c69934","datavalue":{"value":{"entity-type":"item","numeric-id":595650,"id":"Q595650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5502819$CB974F8A-FB66-4FC4-B6D0-5E63707D81F9","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":"Q5502819$669118F2-8B91-4650-90FD-A9E0069F0DEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40eec35cc4088460d56a8604f6511af334349525","datavalue":{"value":{"time":"+2009-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5502819$52FAEE59-E34E-4B54-B1B2-B9293CE07020","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5502819$E5C6A31D-B3C0-469D-A05C-060C4164CD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5502819$166604F3-644F-4D80-B512-6730A16F21EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5502819$2D97DD79-AE6E-4579-A485-555B6D65DDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5502819$C8D0E43A-3898-420E-AD80-102A4ED93817","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c75de95f3a14da72c7cb4a2f13284007ffa14993","datavalue":{"value":"5488483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5502819$B916C6FD-FF3E-429A-A258-DCA221C66C8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5502819$EF9A13C0-0A7F-46CD-B364-8E87B11DE4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5502819$B0F4E3B8-8B1A-4E35-8026-40468F4796DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5502819$844B2707-0B15-4090-9AAD-B0B83E336763","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":"Q5502819$60A551E2-7EC9-4ECD-9BDA-3524649BDC5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"954314546756de4c72e02b5915c60b97e18efd0d","datavalue":{"value":"https://doi.org/10.2178/jsl/1230396921","type":"string"},"datatype":"url"},"type":"statement","id":"Q5502819$353D8B1D-EBC3-4E35-BB2F-B852E033E6F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"759234d5080403f8604499ff7e530bb0308142bd","datavalue":{"value":"W2013072167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5502819$EED2132C-E74A-4795-9FED-5A65CAD3AE41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5d395db8c5eb1d5217f78fd08b7a7b6e8b5da5","datavalue":{"value":{"entity-type":"item","numeric-id":4492739,"id":"Q4492739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5502819$A4B62BF4-9FA2-4B1C-921E-81EE158C9592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5502819$1F9588FA-21A9-44EB-AEB7-C6EF239393B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb142d379cd6b1936cb7839df25d8a94c046051e","datavalue":{"value":{"entity-type":"item","numeric-id":1882403,"id":"Q1882403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5502819$D63D9598-8B08-4C05-ABCA-F4474694C890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0ada4134899fcac6e526867a8ca101f15d1e6f","datavalue":{"value":{"entity-type":"item","numeric-id":1182705,"id":"Q1182705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5502819$CDCFD997-6A98-4A8D-9879-338988CB0DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5502819$AA969C06-E6C9-42B3-83D3-42A62F537CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5671726d9156625b877bfab340595039c0bba1ea","datavalue":{"value":{"entity-type":"item","numeric-id":2505130,"id":"Q2505130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5502819$07CAE082-99B4-4CEE-B33A-D10C48C5FD4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67550e3b4acc6e6abebe1fcd6f4048f33bf26e51","datavalue":{"value":"10.2178/JSL/1230396921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5502819$8862F56D-0799-4CEB-A7C2-8A8E1EBC76B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b958373e2438e27311212a3abfee89b629d882e","datavalue":{"value":{"entity-type":"item","numeric-id":1882403,"id":"Q1882403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"954219b45729f449bd3879aeb94d8f2dccfeae06","datavalue":{"value":{"amount":"+0.8668746948242188","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":"Q5502819$08E75AE2-E980-4025-AD2C-0E4F29AA002D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22eed11b0b0c9c9ec9c7b273fbd8edcda3ada453","datavalue":{"value":{"entity-type":"item","numeric-id":4397034,"id":"Q4397034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc0f83147dd072f22e4e303f3a0b5a0194ab31c4","datavalue":{"value":{"amount":"+0.8586024045944214","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":"Q5502819$E9073B96-5386-4C00-AA3D-EE7FF901BCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbccae06c8006755b7d9c5e9a2ca64089e33274","datavalue":{"value":{"entity-type":"item","numeric-id":1815411,"id":"Q1815411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e365772ee22ff052aa1e09e42d1bbc811e507ea8","datavalue":{"value":{"amount":"+0.8357182741165161","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":"Q5502819$CD993D1F-F775-424B-9A93-4D2E0E0E6492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cf0092b223699992e363dfeb119325463eb344","datavalue":{"value":{"entity-type":"item","numeric-id":708927,"id":"Q708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65e06989e9a09cbea17d3b48eb2f91a55fdce0b8","datavalue":{"value":{"amount":"+0.8139743208885193","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":"Q5502819$1FA5210C-6289-4549-BCA7-67D6E3087520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364643b58367198f9b03efd825af0b7e13fa00eb","datavalue":{"value":{"entity-type":"item","numeric-id":1820768,"id":"Q1820768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e3cf46b73512d44149356ffc9e1f48e0588569","datavalue":{"value":{"amount":"+0.8043644428253174","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":"Q5502819$F896CF1A-D2C4-474A-8072-B47EF87743E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5502819","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5502819"}}}}}