{"entities":{"Q1153079":{"pageid":1163828,"ns":120,"title":"Item:Q1153079","lastrevid":42915734,"modified":"2025-07-16T00:10:07Z","type":"item","id":"Q1153079","labels":{"en":{"language":"en","value":"Intuitionistic uniformity principles for propositions and some applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3724441"}},"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":"Q1153079$4699FEFC-480E-4F01-92E7-429A2ECAA6ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d10b44518f03927322a596bf73a857d8e2bd2a62","datavalue":{"value":{"text":"Intuitionistic uniformity principles for propositions and some applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1153079$FB0B038C-A6B1-48E2-B49E-B321D5AE3797","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a24ce3a7c0abf09fc28017d4328b07bec18f6140","datavalue":{"value":"0463.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153079$1407C039-988E-4EEB-8A1A-E943684A785F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e27b087ec0587e21699e094439659662a4d8a53","datavalue":{"value":"10.1007/BF00713546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153079$ECB269BC-3D7C-4244-96AA-E2865257A7E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153079$24C00C18-BE4B-40DB-BA62-767363885074","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153079$EC993F0B-54FC-4691-985D-E5CAE20D18ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1153079$5954A808-30E1-4186-B80F-569C495E02D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153079$14F93702-DA5C-4D83-AB4A-E28F7AF2D2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153079$FD896B37-E080-4978-884A-6E4357D88456","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67fcfecd4f416e456f8570fa2bcf334a8e475e66","datavalue":{"value":"3724441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153079$3CE0E2C8-D52F-428B-905F-64BD0CB7F2D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1153079$54D075E5-8DB6-476B-81AC-A5A06F4AD20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe53d8cc8bfecc14a8a13f21a62b46e0624abfbe","datavalue":{"value":"existential definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1153079$1F51901B-309D-4E5F-8455-90302A7664FD","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":"Q1153079$BC23D64C-04F5-4ADB-BACB-6D67A56FBDC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e063ed0c6e54cf25350e6ebcf3fb802b896d4c14","datavalue":{"value":{"entity-type":"item","numeric-id":4161321,"id":"Q4161321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153079$0A8B030D-9170-4E43-815B-1909B13822D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0484437b43e30f71deccf4b869676f850c652b21","datavalue":{"value":{"entity-type":"item","numeric-id":1153081,"id":"Q1153081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153079$91312C09-3CAB-4C0D-A01E-EAC280E137C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1153079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1153079"}}}}}