{"entities":{"Q3985545":{"pageid":6015411,"ns":120,"title":"Item:Q3985545","lastrevid":46231909,"modified":"2025-12-24T09:02:51Z","type":"item","id":"Q3985545","labels":{"en":{"language":"en","value":"A Modal Logic for Chopping Intervals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 30496"}},"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":"Q3985545$57D35940-6551-42DB-9F0B-043153D68C37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a470899c355f638a06add5c33097e3c678e9bf21","datavalue":{"value":{"text":"A Modal Logic for Chopping Intervals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3985545$533A3A6A-FB93-4C82-905B-9444F05516DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2eedf27ab440dda812e212d036927d4e0f160f6","datavalue":{"value":"0744.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985545$F4066F62-7500-40DF-BD6D-0C7F1585E992","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3985545$43190CA9-F814-4015-8351-900D90EADCE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985545$984FC64C-935F-4846-880B-B520F1A5DB93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"746489b6ab37781c30e69f091aea806f75cc535d","datavalue":{"value":"30496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985545$4853A260-411A-4E32-AF9B-B85922724050","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985545$F4DFC9AE-3F5F-4DA2-9EE9-DE105C98DE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985545$D6DE96E7-BD0A-4E5C-8651-0E7D18599474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084a60c40b841821d57b1a3b1b9abf23fb819810","datavalue":{"value":"interval logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985545$8F1C1274-FFEA-4D28-A262-35AF64BEAED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3e81b031ba34e84163945f0b74046457cdc7592","datavalue":{"value":"chopping point","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985545$6AD7B25A-D957-4FDC-8BC6-454C4468B30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985545$5FB2B440-96F0-4D88-90F4-EC0C923E58F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985545$70D1D20D-EB7B-4ED0-8F02-71404B1B2A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3985545$6C15526E-6CA2-47E8-9DE0-9C06F38AEF92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3985545$5D808A67-A5C1-4C01-B2F6-59F1D7B9A5A1","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":"Q3985545$77BEC51D-B853-42AF-8763-35C0759C90C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a914265690867f18c879d93457761e892f2b9016","datavalue":{"value":"https://doi.org/10.1093/logcom/1.4.453","type":"string"},"datatype":"url"},"type":"statement","id":"Q3985545$3E30F3BA-AC69-425D-84F5-0CC66C556AF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0dc7ab77c7e30b4115d5b6614703fafe256d35e7","datavalue":{"value":"W2092486735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985545$082C2831-8284-4819-9491-A45A8F9892E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3800d86c3e82e74e1677ce766bcf2494989c8b37","datavalue":{"value":"10.1093/LOGCOM/1.4.453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3985545$17F420A8-ED2F-429D-871B-BC725774E8D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3985545$3E0278A3-B355-4094-B882-2D80D0C21F40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dace9c32d9b1be3f37d51f7b8f60c28523349696","datavalue":{"value":{"entity-type":"item","numeric-id":2364466,"id":"Q2364466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266b053cbbea202f8980d9893119501a75bcb51e","datavalue":{"value":{"amount":"+0.7782022953033447","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":"Q3985545$82656BE6-7FB8-40C5-9F6A-FDB84366BC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b43a20c757d7c7a2d59a027ea0d624912434e6","datavalue":{"value":{"entity-type":"item","numeric-id":2277246,"id":"Q2277246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f7aba571a7c29407edfdfa8a0086fdad38f47c","datavalue":{"value":{"amount":"+0.7704886794090271","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":"Q3985545$1BE0F986-6CDC-45C6-AEA0-59062A74512C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94de1ea771915cc93e1107d784b194688686b3ad","datavalue":{"value":{"entity-type":"item","numeric-id":3085178,"id":"Q3085178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ed63cd3d96ddd39c2faf733d3726293429cec3","datavalue":{"value":{"amount":"+0.7673630714416504","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":"Q3985545$4586F21B-C2F9-4400-B7FF-D78487AFAA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665701bd077432fa61ff2f89ec3c6946880a2840","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c653b17b7e7271e5a45f54ba097ea56273e98433","datavalue":{"value":{"amount":"+0.7644023299217224","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":"Q3985545$830C69A7-B60B-4B93-B96A-76180D059B55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3985545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3985545"}}}}}