{"entities":{"Q4459601":{"pageid":6489200,"ns":120,"title":"Item:Q4459601","lastrevid":48264133,"modified":"2026-01-04T04:08:18Z","type":"item","id":"Q4459601","labels":{"en":{"language":"en","value":"A secondary semantics for Second Order Intuitionistic Propositional Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2062678"}},"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":"Q4459601$121AD125-09E2-4F0D-A973-76C3ADDD202D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6c297efd0ffab5498ae0139bff44e6ac5b7c6fe","datavalue":{"value":{"text":"A secondary semantics for Second Order Intuitionistic Propositional Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4459601$F2B535B8-E599-4492-ACB3-2D288C5E1F7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29f6101acc7293ba37bb95c37521bccf1bf0ec23","datavalue":{"value":"1044.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459601$ABBF6530-D977-4A6C-B908-D113D96FFE1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc37be6f3a32541e658db241ba6d5f1a748f7047","datavalue":{"value":{"entity-type":"item","numeric-id":972429,"id":"Q972429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4459601$812A9186-2559-4F29-A510-3554DA8F041B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cc74fbcaec9acb65dd75f4cd3554e43a9608963","datavalue":{"value":{"entity-type":"item","numeric-id":972430,"id":"Q972430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4459601$A6987B2A-5ED1-4ADC-961D-7AA3DA4B72B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a3322f7c395849201c201788891d980fbbf885","datavalue":{"value":{"entity-type":"item","numeric-id":230826,"id":"Q230826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4459601$5D1B56E9-6514-4FA3-A44E-23294FCBB699","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4459601$1492FBFD-6818-4853-90DE-6FD04459D2FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1cd9bf3779f6c23821bcce79ad403c8df2b71c8","datavalue":{"value":{"time":"+2004-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4459601$A700B74C-01BC-4A1F-A5C4-3AD17E862436","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03379e38f4a51a5dc2738981b21b01a73dc98764","datavalue":{"value":"http://hdl.handle.net/2434/141868","type":"string"},"datatype":"url"},"type":"statement","id":"Q4459601$40BBB0FA-F3F0-44E1-AD08-62197F87AA67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459601$EE01CF9B-B825-49B7-B931-98CF2A05290F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d670147d68f2301a746e8ca513abb065c803169c","datavalue":{"value":"2062678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459601$6CE49C97-3F69-4E81-B1B1-8C43C1D115A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b6bd9787e2d86f1800ee9dbada3f4d5ed87a2ea","datavalue":{"value":"propositional second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459601$8A6AE0AC-7496-4187-9E02-63655B17EA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459601$C0959F1C-EE10-47D8-BFDE-CD37CF7480EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459601$D67A6238-2450-4BFC-8E20-2F8BBFF1FDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b14323adcfa74b47684032100e252e5a38ffcde","datavalue":{"value":"explicit definability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459601$A7920FD2-97CD-4440-B139-C39BE9F1DE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459601$70E1E103-E607-4342-A248-4AB5CCA170A0","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":"Q4459601$D8A8002C-AC8A-4E3A-8E64-884D433BCBE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a8efdd5ce28fcf88cb4e9daedee1e2d12041afa","datavalue":{"value":"W2089840698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459601$4ED7FE81-C845-465F-835A-0D832049262B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7639ae205ab78356e3d51480466f38844f1f4cc","datavalue":{"value":"10.1002/MALQ.200310090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459601$0347A1B0-57B9-4F60-BD77-28D2237CF9D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb738c53204e81318803da94a8f152e4300b3d9","datavalue":{"value":{"entity-type":"item","numeric-id":2996331,"id":"Q2996331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c1e3034d381978b8764ef1d980cffba99e301b","datavalue":{"value":{"amount":"+0.7980667948722839","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":"Q4459601$7EB8B0A0-5E31-4FE7-97EE-2E58D3156481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ad5a8b797fea84a67761f6b044fdd87da47bc48","datavalue":{"value":{"entity-type":"item","numeric-id":1361248,"id":"Q1361248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b4920ee84350aa1196b43a286e6cc15747594f2","datavalue":{"value":{"amount":"+0.791267991065979","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":"Q4459601$36C9DA2D-0377-4D02-B505-A1C416B7CF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c333501388da7f7d83c2fdb2bf7af09b199e52","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf900bbaca2211fb676bbf53a7ccf114c6644414","datavalue":{"value":{"amount":"+0.7849292755126953","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":"Q4459601$66CE17F0-6B4C-439F-914B-6149B368EFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75725363fd29ef4e45e356fda1c10a93266a8f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3616347,"id":"Q3616347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d1e55297c766a2c75eaab07de3e0abd6840b76","datavalue":{"value":{"amount":"+0.7838758230209351","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":"Q4459601$287A2E24-36B1-4567-8C44-39E45EB38577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79d75acaaedeaa5a021a93d73b92da70fc74635c","datavalue":{"value":{"entity-type":"item","numeric-id":5212040,"id":"Q5212040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b49f954c7fcf0590117c849ec6ad6c7d8d3366","datavalue":{"value":{"amount":"+0.7825373411178589","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":"Q4459601$EEAAD01B-7946-4F11-8CA6-F438818ECE66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4459601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4459601"}}}}}