{"entities":{"Q4192043":{"pageid":6221644,"ns":120,"title":"Item:Q4192043","lastrevid":32674206,"modified":"2024-03-19T23:51:34Z","type":"item","id":"Q4192043","labels":{"en":{"language":"en","value":"Infinitary intuitionistic logic from a classical point of view"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3630733"}},"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":"Q4192043$5616490F-731B-4B9D-890F-322BB5845997","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df7adfec5f8b5205f85c7271e942e3838d84ca82","datavalue":{"value":{"text":"Infinitary intuitionistic logic from a classical point of view","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4192043$945C2040-8ACE-4C16-B11D-28425A2DA4C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c14150f69e77c9486a83faf0961d66ff6c9e38bc","datavalue":{"value":"0406.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192043$942F21C0-78A7-45F3-BB63-9E22DD496189","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9a219999af3ee5bf5b787f640c9eccb9d262a5d","datavalue":{"value":"10.1016/0003-4843(78)90015-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192043$BEBD6F45-A70B-4C34-92D8-1DD71B0AFA29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0016407c07d195217f16351f52c496d5868230","datavalue":{"value":{"entity-type":"item","numeric-id":1158146,"id":"Q1158146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4192043$66B37887-F7F8-4A04-96CB-3AEDC9FB5EAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8163ce1afc0fec16367278ef74f8847085a60d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3041173,"id":"Q3041173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4192043$E811CB82-659D-4504-A47C-14F05BB22518","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":"Q4192043$1F576F02-497D-406B-B9AD-5D003D9F5277","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192043$B5DF6D45-C91E-4E1A-A35A-99DE83F8C8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192043$797B0850-5DAD-4E4C-8E35-56D35A84BD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192043$AD034577-D8A2-48EA-9EF8-B64471A3F182","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4668400a0e0e38aba92e340d1b565c08c13f7727","datavalue":{"value":"3630733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192043$510E6A12-533A-4BB6-845A-B59C57B9BCBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f2daffc7fcea88a6b0577c91b725a2400913a46","datavalue":{"value":"Infinitary Intuitionistic Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192043$0EE3F024-677D-4886-B7A8-949ED8087595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdf8c5d6c1fd7e756886bed2e217940dde7534a1","datavalue":{"value":"Model Construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192043$E89706CC-4D07-43CB-A703-68DE2024DD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a14ff96ad082ba4eef76065cb70460fc6cdcd73","datavalue":{"value":"Gentzen Type Proof Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192043$285CF865-F9EE-4EAD-8E69-0579EC9432F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2ed71abf1647d9c971e9e6037c3f24af7d95ce","datavalue":{"value":"Infinite Conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192043$6081390A-1EA4-484B-93A3-B3A03DF2BA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5bee879b82a0531bc8f3cf38e141697f0cd7fe2","datavalue":{"value":"Pseudoboolean Models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192043$5E6415F8-D2AA-4252-A578-7F8F42A5DE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"961afa200a56de12b315168dbbeced235ad83fb4","datavalue":{"value":"Kripke Models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192043$11DDD464-2AE1-44C5-896F-FFEB32DAD982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e338a693406cfd814a630efc088e52a124f69a","datavalue":{"value":"Beth Models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192043$4D3D3BF3-BF64-4AFF-8126-D3A0D456C257","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":"Q4192043$4C938200-7AE6-4816-ABC7-780AD7BBE75D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ac6e942b6bf1242e02b991a61fc757b1e5711f1","datavalue":{"value":"https://doi.org/10.1016/0003-4843(78)90015-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4192043$D4A545FC-EFAA-4464-8BD3-09A0A0BBEDF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f850da4e6cb2256e934634e7d8f722780e4ec81d","datavalue":{"value":"W1981403427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192043$0BC9E2E4-91D3-4668-B9FE-9ACF8F1CC4AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4192043","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4192043"}}}}}