{"entities":{"Q755577":{"pageid":757426,"ns":120,"title":"Item:Q755577","lastrevid":64135815,"modified":"2026-04-11T17:53:03Z","type":"item","id":"Q755577","labels":{"en":{"language":"en","value":"The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3650550"}},"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":"Q755577$1A0D0889-1CC2-4012-A114-F318D88D8045","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"435166bc1d2ec9f4da1ff828a039147983f922a4","datavalue":{"value":{"text":"The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q755577$124A4AE6-B5BB-4241-83AE-600D1C12E859","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f2fa238d459ab1464f22043d7c475ab492f11fa","datavalue":{"value":"0418.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755577$F0498857-A696-44AB-8129-20D86698C0D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a580218e5bed51527e74c00b9aa799d90a141a4f","datavalue":{"value":"10.1007/BF00258447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755577$70AFF53A-4475-4A42-96F1-09EBAB054E54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46c947fd826a64db77c5eea5267d870ebb870456","datavalue":{"value":{"entity-type":"item","numeric-id":755576,"id":"Q755576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755577$9E3662C1-B047-400F-B165-272B8F75EB3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755577$5D4FEB1B-A73D-46FA-B4E9-F2600301EF93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q755577$168113D1-C610-4475-B28F-78119E1CBD0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755577$2B6FF5C5-E597-4F3F-AA68-27BB4AD96CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755577$C90944AC-4F09-40DB-A517-C9A646ADDD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755577$1B2CCC3C-E731-4513-BE73-15857300293E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755577$DBB6E310-E8AE-48DD-AE0E-B6A1C62824C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755577$AEA99F23-7199-4853-B0AA-1DDE72A2BF2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7f75e6866e2a3d76a25565a5549f400c182abea","datavalue":{"value":"3650550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755577$0B88B112-CAEE-4986-BC3A-307FE296929D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3f43ac6ce35810818172a7d6373ba9ac9de747c","datavalue":{"value":"normalization of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q755577$F8723114-E1D0-4BF8-989D-831DE18D0464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q755577$A1A44709-21F1-4554-AFAE-B69D9EE3C769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98c6f739ec62516b301d04dc4a14d27b59732f20","datavalue":{"value":"axiom of comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q755577$088AFD7C-BE89-428C-B51E-0094CDD2FB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15cac7e14821b0bef6afba0a225faf30b87e9d90","datavalue":{"value":"infinite- valued predicate Lukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q755577$EF2FDE6D-10B8-429D-BDC0-524845A45969","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"769bac1c152168cd743e947676229c96d0fa86a8","datavalue":{"value":"Q114694826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755577$6DE60590-9480-4EAB-B339-0ECDA213BD74","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":"Q755577$0FA24D9B-4413-4D55-81EC-0980A50B710D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c43531638d134a865855501bd2d9904ccf387fbc","datavalue":{"value":"https://doi.org/10.1007/bf00258447","type":"string"},"datatype":"url"},"type":"statement","id":"Q755577$312F38F9-B7C9-4B70-923E-A3E9CB8E249E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35f7d2fe13bdb4e1f3e7d63f0e839efe8533f9c4","datavalue":{"value":"W2092160200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755577$A729CC60-08EF-41B5-BAC1-F587BA4BD0AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_consistency_of_the_axiom_of_comprehension_in_the_infinite-valued_predicate_logic_of_Lukasiewicz"}}}}}