{"entities":{"Q4381865":{"pageid":6411464,"ns":120,"title":"Item:Q4381865","lastrevid":46539720,"modified":"2025-12-25T00:07:47Z","type":"item","id":"Q4381865","labels":{"en":{"language":"en","value":"Labelled propositional modal logics: theory and practice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1132973"}},"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":"Q4381865$07C7D5A9-E0A2-4FAD-A5F7-C7F4138DC288","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e7d311f6db51eeb17c51c3c2aea5b2f59e74bd5","datavalue":{"value":{"text":"Labelled propositional modal logics: theory and practice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4381865$285CCE08-04AE-42D3-BA81-AD15B73E821E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61ddccc4859030214cdafbf18f9d309e6e75bd26","datavalue":{"value":"0902.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381865$1D2B6CAB-74A1-4069-8E90-680FE1F08932","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddc7b5b12b893092752e25f19fff9284b5a1df19","datavalue":{"value":{"entity-type":"item","numeric-id":1289099,"id":"Q1289099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4381865$13FE3B6F-FFAB-4CAE-9F48-A4EFFB747780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4381865$D2B76C69-056D-4701-B133-2779F934E3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4381865$DEE2B157-587D-4D49-9B1D-8D64A2CFF4D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5399645c428137aebf8ec27d073066145a6d5c40","datavalue":{"value":{"time":"+1998-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4381865$5A6858B5-0702-49FE-BA95-0DDB4E4F7FD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35e7c407094c8cd6993c204186b8df5e92a304bb","datavalue":{"value":"https://semanticscholar.org/paper/a99d92e9d2f46ade3dc4f394546bc0336d9505e3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4381865$7B54FB90-C182-4A93-8AFF-7180827792F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381865$8D346605-C6FE-4471-9FD5-2BBCDA611582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381865$E30BC389-81CA-40B1-BEA0-54B5650EA105","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56113e10f1a8061b380ee4f207c94fe9af4fb1a8","datavalue":{"value":"1132973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381865$09A6A719-5FF1-4A22-A835-16B79D36FC6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c4a8e37fec5aea07aa61139ada7babfcdbe852","datavalue":{"value":"propositional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381865$78CFA88F-0C32-4735-B869-D61358371ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0cac515cdca1fd8e8a7b1987157f7cb9f1e116","datavalue":{"value":"labelled deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381865$7137F59C-567B-40DB-91A9-A4774B15AD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97813c6cc19e4945e9d5cc0f28f69b7de93a5b6","datavalue":{"value":"Isabelle logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381865$87DD852E-F24D-48BD-8B51-ED0580DE314A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4381865$64B25A0A-5697-4059-BD53-C43F11959F40","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":"Q4381865$15C6055A-B92A-46C4-8696-E7B41CCF421F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d95d8210eb143b7e84796899693544b1917dc8bd","datavalue":{"value":"W2072883183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381865$B8191A10-AFDE-476A-8D07-525840ACB505","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b69f9b7a222a95503866e1627758beed0f166435","datavalue":{"value":"10.1093/LOGCOM/7.6.685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381865$C094E798-5892-4ED4-B80E-A212C79CBFA9","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":"Q4381865$6D3A7A47-E2A9-4227-AB41-67B4142119BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a774046dbefe326278e878c009a379e02a7abf0a","datavalue":{"value":{"entity-type":"item","numeric-id":4385436,"id":"Q4385436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a731fa7775bfa0fa7681c38b67825ba1a51c1a1","datavalue":{"value":{"amount":"+0.8898622393608093","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":"Q4381865$86EF3E92-5469-44DB-A175-80F56FEF1F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ed717ff049f6f389174b6b3ec8e69d3c379f6e","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee33427c7a4a62e5ee16c6ec21a9e21ef88a9e11","datavalue":{"value":{"amount":"+0.8571014404296875","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":"Q4381865$5A4ADC7F-31A1-456C-8818-653A3737F2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb65ef8c25d8ed1ca597651eeb5ee353299692b","datavalue":{"value":{"entity-type":"item","numeric-id":4385437,"id":"Q4385437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f3af29f1fcd978758cd72f27edff999259d99b9","datavalue":{"value":{"amount":"+0.8411240577697754","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":"Q4381865$FD940D46-D051-468B-B0E4-C23EDE2B6FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f883bbda5a1d7ddec759552a2ac24ee6e5ad1e7","datavalue":{"value":{"entity-type":"item","numeric-id":1289100,"id":"Q1289100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b7d6ff457ab182c43b5c08aa964bdc5b78c1e1e","datavalue":{"value":{"amount":"+0.8239860534667969","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":"Q4381865$720AB89A-6AEC-46B5-BE0F-844A452CF4C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4381865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4381865"}}}}}