{"entities":{"Q4636052":{"pageid":6665633,"ns":120,"title":"Item:Q4636052","lastrevid":58308834,"modified":"2026-04-04T16:10:07Z","type":"item","id":"Q4636052","labels":{"en":{"language":"en","value":"Propositional dynamic logic with Belnapian truth values"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863662"}},"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":"Q4636052$CF1034DB-0E3F-4EEA-B7A1-A3623A350A63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25742dbaa1adc70cc54b787d6ebe9a06bc468ced","datavalue":{"value":"1400.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636052$ED30C6D7-448B-4A73-AC0C-7A79D263DF09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09805c4574013ec5efe52d1a718be5de2476fee3","datavalue":{"value":{"entity-type":"item","numeric-id":777890,"id":"Q777890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636052$772DB00C-5D88-4ED0-A22A-C4E02F566372","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636052$AD18D615-3701-49EC-8274-E615F4EF974C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f626f9afb8f96e4929f886e27a7bdfff111085c9","datavalue":{"value":"https://arxiv.org/abs/1608.06084","type":"string"},"datatype":"url"},"type":"statement","id":"Q4636052$24136BB6-B774-4370-8446-2BD65E537919","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636052$74CD1825-4CC1-42D3-A81E-798EFDED9D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636052$A2EF2100-01FD-41BA-A4A5-8BD444422C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636052$8E8C7FCB-C5CC-4E14-8A32-DC6BD5F2AF31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cc772ef01a5822ade0d9e784efac472ac1db351","datavalue":{"value":"6863662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636052$2AF0CA39-D11C-446B-8080-BCDE88EB1F07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"085c84758bbd1865a829ab978366f9bd9dd1abdf","datavalue":{"value":"Belnap-Dunn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636052$355EE464-CC63-4CE8-B5AA-1033AC0B3FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9db4be20647e9159a9631c367d8dc94143508a","datavalue":{"value":"four-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636052$0CDF4D19-B5C2-460D-B931-FAA75A24D08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636052$B3BC0741-3F35-485B-8AF9-5AE7A0615B48","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":"Q4636052$E47BD396-09E2-4FC1-A54C-F1D568D91F4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b85663a0cc2cd587365de659e5b6104316b160b5","datavalue":{"value":{"entity-type":"item","numeric-id":2901198,"id":"Q2901198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f667d0905946e1e847a7a0921bbfa21e5059263","datavalue":{"value":{"amount":"+0.8096409440040588","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":"Q4636052$1E046DDC-E95E-416E-B5B0-95EB6492F7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09a2e1f8196c52ebccdc86e4bc226ec88507736","datavalue":{"value":{"entity-type":"item","numeric-id":2953495,"id":"Q2953495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d19c923540792620738ae677222659955c77caf8","datavalue":{"value":{"amount":"+0.8007514476776123","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":"Q4636052$6E911670-BFC0-4544-A6FC-638E376AD534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5e889bd2b80410876ae1e408f75ca48bb896f9","datavalue":{"value":{"entity-type":"item","numeric-id":2987046,"id":"Q2987046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d10b73914c83066e703e9d49370ca750adcac322","datavalue":{"value":{"amount":"+0.784229576587677","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":"Q4636052$4B3D8F95-8492-4D14-9B0C-1282B1200A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd947b2852301cfdfdf1fa92a1b46e1d92d29820","datavalue":{"value":{"entity-type":"item","numeric-id":2737566,"id":"Q2737566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e453610d139fd82f4772a4d6c971613ba7600d","datavalue":{"value":{"amount":"+0.7833127975463867","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":"Q4636052$24FA268E-90BE-4454-A06A-38F5484D7586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eb3c397aa0ca99730c87d6fbf0f9f9f8fc63f24","datavalue":{"value":{"entity-type":"item","numeric-id":2981255,"id":"Q2981255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e453610d139fd82f4772a4d6c971613ba7600d","datavalue":{"value":{"amount":"+0.7833127975463867","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":"Q4636052$69B25662-F8DF-4CEA-99FB-D1281E4AEB11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636052","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636052"}}}}}