{"entities":{"Q1288137":{"pageid":1298887,"ns":120,"title":"Item:Q1288137","lastrevid":46759065,"modified":"2025-12-25T13:12:40Z","type":"item","id":"Q1288137","labels":{"en":{"language":"en","value":"Irreflexive modality in the intuitionistic propositional logic and Novikov completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1286055"}},"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":"Q1288137$9432A1E1-22C1-463A-9653-9FBA67A3F607","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"948c300b799059636786b59619de3f35b95295e8","datavalue":{"value":{"text":"Irreflexive modality in the intuitionistic propositional logic and Novikov completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1288137$1D9C25F0-2CFD-4B38-B074-C50FD3E419A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d08e548ea6410b59d5e12ed732bcced83c654dfd","datavalue":{"value":"0976.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288137$E4331C39-D7C8-4020-8AD7-0ADE61B823EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8266b1604385b9c6d7234d4c929c2a32b81faba9","datavalue":{"value":"10.1023/A:1004229908345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288137$F5562612-28AC-41AB-B124-14CA49A1ACB8","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":"Q1288137$0A8BD509-8828-48F4-8359-E5575E5CFF09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"890ebd6ddbe8e2f82e67fff4e24409c374b5811d","datavalue":{"value":{"time":"+2002-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1288137$20E9F61C-E7DC-49AA-ADD4-368C0C39CA22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288137$20584BE1-5254-4A9E-B3E4-562BED9030ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288137$1CD791A1-DEBE-4290-9BCF-559DEC50195D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e67bbeeedd5e75414bfc9533b757675bbab6049f","datavalue":{"value":"1286055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288137$5EEFB40A-A17D-4742-99FE-3B90A0B60F78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288137$FD9D39CD-3B87-42E8-8E70-FF6B55363B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9573b52482091f1cc6766ed0ec746ccd72ad151","datavalue":{"value":"Novikov completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288137$34CCAA06-4073-49EA-8E89-919BBD92AAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288137$4C10FEF3-C6D7-42C4-B4AE-729A9DE05134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e2611129a1132e3721c6aaafb93232120800796","datavalue":{"value":"intuitionistic provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288137$794995A8-CFFA-4C6C-A94F-592EC1A2EF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"680f264c1ab6f682c2913f5ec276357edb1c1a7a","datavalue":{"value":"irreflexive modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288137$4A384BC4-FEC1-4400-BC9B-3561E9E759A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288137$65596008-0D89-4C28-9FA9-D5F82AAAC987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13b05c4066b2fd2169fa44c94a18b1ec12c59a63","datavalue":{"value":"unary logical connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288137$C6F1B967-20A4-421A-88AE-D1BA2F64B8BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee5015171e2f57a73921a54f50bb5ecad403c04d","datavalue":{"value":{"entity-type":"item","numeric-id":721380,"id":"Q721380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288137$B610A3C8-9079-4AE6-9418-906C3A511E23","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":"Q1288137$68F25AF3-2789-47A9-8309-B3878C9E5E78","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"352a7a7fd012bdaed6c53d901fa192bbe64f25d2","datavalue":{"value":{"entity-type":"item","numeric-id":5203005,"id":"Q5203005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288137$DE567856-8928-4138-B9D4-5D2D754AA58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"593def07e4546cce960235af14c5ec86bccd4e8f","datavalue":{"value":{"entity-type":"item","numeric-id":1194106,"id":"Q1194106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288137$BAC221E0-C3D2-49D1-A08B-86F822F8A6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288137$30FB2840-E2B4-4CB0-A0CF-C20BB4E9786F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288137$5C7AD765-D1B4-4CD0-AFDF-1741B6195E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f081c411f7e6b4930b62d10eb2f12caa43565bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4128788,"id":"Q4128788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288137$0E2B067E-FE23-4CA7-A0D3-AD2F73EE3435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd09b0697377f5ceecb02db43ff93f9685556ca4","datavalue":{"value":{"entity-type":"item","numeric-id":1111536,"id":"Q1111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288137$C33C47BF-B8EA-47C7-BA01-391D39F272A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6abb0b07da125902ee0ba5458295ae66889b82b0","datavalue":{"value":{"entity-type":"item","numeric-id":3708775,"id":"Q3708775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288137$3BAFC948-50E3-4A2C-8907-D9C65D602831","rank":"normal"},{"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":"Q1288137$1B797ED3-AC0F-415E-8401-DF61CC651618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e4427f4fa3f93fda8d616d55ff8b8da159afa1","datavalue":{"value":{"entity-type":"item","numeric-id":3495340,"id":"Q3495340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288137$8A507915-9B0B-4C13-83C9-84548483CFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91aed4ff7969ae62a864e7e6e6061b889189f091","datavalue":{"value":{"entity-type":"item","numeric-id":5519127,"id":"Q5519127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288137$A5B8F2A9-CF8C-4EBF-AE53-3644481F4C54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b0f5128596343fa1f135e1d6429a8b09317ca9","datavalue":{"value":{"entity-type":"item","numeric-id":5214742,"id":"Q5214742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c8de64dc0ebbf1b9a3332580f9ed3385fba40d","datavalue":{"value":{"amount":"+0.854582667350769","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":"Q1288137$D3D8C07C-F90A-4DFC-AFD5-770EEC755529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaa68a38b10acf819b3ca115082c88080f4d682","datavalue":{"value":{"entity-type":"item","numeric-id":4221296,"id":"Q4221296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"214833299294809112340fd14aaca6fefbd28829","datavalue":{"value":{"amount":"+0.8376169800758362","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":"Q1288137$02CCB0F8-91D8-4668-B539-E4C39841E8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d47ccb2e43b8d787425433bb81605fcb4a8490","datavalue":{"value":{"entity-type":"item","numeric-id":1970642,"id":"Q1970642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fcfb91a1f25e428f183ca2617ed10abce778ecc","datavalue":{"value":{"amount":"+0.8134805560112","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":"Q1288137$AFC9EE91-5D95-4C8D-A2C2-77344770C2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dae5454e4fb1c2aa4c5823e0e580bc9b4bdcd59","datavalue":{"value":{"entity-type":"item","numeric-id":2026740,"id":"Q2026740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa617f04e100ce2be43dec1cfc33a0ba4f8c8d2","datavalue":{"value":{"amount":"+0.7964896559715271","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":"Q1288137$8FD2BEE5-9564-47D8-BE6B-19DCC0993B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319c87f1220779afa76f224ce6247716062f3069","datavalue":{"value":{"entity-type":"item","numeric-id":5283966,"id":"Q5283966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d5e9f2db29c330480bdc563da455e8b58ecf80","datavalue":{"value":{"amount":"+0.7955847978591919","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":"Q1288137$A5C077E0-D0CA-4420-AB85-F1CDEBE0929E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1288137","badges":[]}}}}}