{"entities":{"Q1132866":{"pageid":1143615,"ns":120,"title":"Item:Q1132866","lastrevid":42898896,"modified":"2025-07-15T20:30:08Z","type":"item","id":"Q1132866","labels":{"en":{"language":"en","value":"New operations in intuitionistic calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3654086"}},"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":"Q1132866$BF3D9460-EB39-48D0-9466-278EE0782A9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25ec6ee768f40429effd3d979007d71873be4ddd","datavalue":{"value":{"text":"New operations in intuitionistic calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1132866$937A6E46-0429-473B-9AB3-CFC50B53CB35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"947331a18572e7eb895145f64db29ad4899e5c58","datavalue":{"value":"0421.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132866$427A1954-D0FE-4B46-BA8A-46C234A7A2CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed76ef2344a85e0dc79dd3b0a461c18a6061ae66","datavalue":{"value":"10.1007/BF01147689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132866$8DBD81D8-A68A-4B1E-A70B-868FDBAE1AE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1579dd3beaaf5e5a92021d89baec0248ba2d25ec","datavalue":{"value":{"entity-type":"item","numeric-id":1132865,"id":"Q1132865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132866$325150CC-B5C0-40F9-85E0-55D861BBEAEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132866$864D7749-EF7A-4353-9B31-F40B51239ACF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q1132866$EDEDDFDE-8217-48CD-9DC9-81B7A1D809A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132866$C431F1FC-C3C2-4DC2-92A0-304297D808D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132866$4D9D97F7-CBC8-4B33-839C-52D63B266569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132866$44AEE121-5C52-46EC-B4D7-7847A1C3BD5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc25d34c486186a138fa9e00c18eb5ffb70efea7","datavalue":{"value":"3654086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132866$65C2B907-3F5C-4FA2-816A-652BE07196E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0e31a7446188f1ea59a3088570a2995e53fc156","datavalue":{"value":"intuitionistic propositional calculus with additional operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132866$45E9DDE9-49EB-4727-84D8-638CCD185257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132866$09A065AE-308B-48C8-B6BB-09FF968DF26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132866$0F06FF67-8B99-46A5-8046-6B45D8AAD231","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":"Q1132866$158C1F52-947B-4230-9F28-F5746C6EBDDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132866$018CB864-D276-4DC3-BCEC-1A15F930BBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90e62a647d76324dd712fbc39d6d3cb2ce86e17","datavalue":{"value":{"entity-type":"item","numeric-id":5595146,"id":"Q5595146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132866$9648A2E9-6B41-4641-80FD-A3FDF4E6C846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9cbb1d199784524a85caf14bd0f4233180e86c7","datavalue":{"value":{"entity-type":"item","numeric-id":5623661,"id":"Q5623661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132866$37CDC20D-46CE-49EC-BB33-86C7988256D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d3928606e5d9c2cbe486d436093df32f00f2021","datavalue":{"value":"https://doi.org/10.1007/bf01147689","type":"string"},"datatype":"url"},"type":"statement","id":"Q1132866$B38CBE98-EB0D-4459-91DA-35E5DB84123A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bdf06ee6395c0480a7bf8869f61f22e7df711ff","datavalue":{"value":"W2086529071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132866$773786A2-4D96-467F-8843-45101F474510","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1132866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1132866"}}}}}