{"entities":{"Q3522041":{"pageid":5551945,"ns":120,"title":"Item:Q3522041","lastrevid":90246020,"modified":"2026-06-04T19:40:13Z","type":"item","id":"Q3522041","labels":{"en":{"language":"en","value":"A Tableaux System for Deontic Action Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317353"}},"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":"Q3522041$1103DB4F-4968-470B-A6C1-20FC9AADDF53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"035db0e924c2e7d04019b9a5933df4c5d8f939b8","datavalue":{"value":{"text":"A Tableaux System for Deontic Action Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522041$D20D227B-60A7-467F-B94D-65E5377C8460","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af868a6eaaf90a56cfd80477dc7ccf37f070921d","datavalue":{"value":"1143.68595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522041$36431E1F-3A69-45AC-89F6-4FED7EDCCF0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"311e6f83db33d51b23e0cd41da38b75dbb1077c3","datavalue":{"value":"10.1007/978-3-540-70525-3_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522041$898141DC-95A0-44F1-AEBF-54ABF22EB36B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d361cd9268293c29924e15f6199d570f0f070511","datavalue":{"value":{"entity-type":"item","numeric-id":526729,"id":"Q526729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$09604F49-D89C-49D3-B39E-ECD8A3E3C1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b70ccda10eee0149f281c226dd8d9cc2ff73c3","datavalue":{"value":{"entity-type":"item","numeric-id":673999,"id":"Q673999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$B45BB3B8-D6B7-4A29-BCE8-9FAC2056E4EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$0731C56A-854A-4A72-A7A5-5548362FC9A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522041$73BC80A4-339E-4138-AFD1-4F304FDF2751","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522041$7DD0075F-8196-4B2F-AA4D-C0A3B3A3C01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522041$21FEA01F-4826-486E-A3CB-300DB35129A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522041$1CDDC717-EF98-42D5-AF84-D59369B1E769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522041$A4ED3B2C-3335-4A7C-B0F9-A6D25F933706","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f30b4537fb93fdb79a96e45b2e0204b18826a0a","datavalue":{"value":"5317353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522041$6D91870A-B866-4C84-AB19-377298E4ECAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0448d1318231ce94cf8196d71707766353cfc4e5","datavalue":{"value":"Modal Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522041$99414344-399A-4C65-BA59-56F6009CB150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"168bd0b5c5b47a08ce05e5a14f263022acd21c64","datavalue":{"value":"Deontic Action Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522041$CE8E3866-C151-43A9-BEA4-C93A696C850F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42a103c0bc277cf38aff3b60c3cf0d169d85fc37","datavalue":{"value":"Tableaux Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522041$074564BF-57EA-49F8-AB7E-0710015D7BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b95a89db90765ccf45b709172ea71aa247811d25","datavalue":{"value":"Fault-tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522041$0D48A486-ED8F-48F1-8009-42450A261A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74c69f17eea3b4ad17d8b1bba4f9ae5b7cb68f2c","datavalue":{"value":"Software Specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522041$08646AF5-3341-484E-9904-AFDD108EB92D","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":"Q3522041$2D8EDBDF-B5D3-4BB1-9282-7D8DA67C7A5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d8115f0efef349f558ee1869192aadaaf4747f4","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70525-3_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522041$D2D13C7F-FF1E-4D38-9C6F-76C5032A8178","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dce9b25dac76fcd8fb3444d1618e599bdcdc2b22","datavalue":{"value":"W1574178290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522041$C1D9D335-0EDC-4C1A-B144-88FB948218E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"279e3c72f72115409a49088f862179fa2e746651","datavalue":{"value":{"entity-type":"item","numeric-id":3525078,"id":"Q3525078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$F7941350-D459-41FE-9E49-3D324DD9FBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc04b441aa9601b246021f0a8e69e8277ce6359","datavalue":{"value":{"entity-type":"item","numeric-id":909653,"id":"Q909653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$A3D3DE75-07C1-4481-81DB-58D9EAD20BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8af928acf08b68528adb4596e9ec25b92fb56f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1192604,"id":"Q1192604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$7C99A617-9E1B-4D28-A5BF-6FC0033C8B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f01c8f091af7460d6939b3995c3c52a2386a40","datavalue":{"value":{"entity-type":"item","numeric-id":3623815,"id":"Q3623815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$2C0900F5-041C-4ED5-BFFF-8CE057BD8A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$B4A6CCD5-6ED7-48EE-B08A-9C93E95F3827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$C23E7AE4-1256-440E-8A8C-E500E604F80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a1c4a592ac8674db7efe66e4c1622fce9dc25","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$94926380-DEB4-4D2C-9D91-558FD9961312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482630ccbb4eaf6cb5c2ab91aad34922fded3ef5","datavalue":{"value":{"entity-type":"item","numeric-id":2535854,"id":"Q2535854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$6536D900-72B7-4378-85B4-4A59A50C5C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"affda6ee899fe939d982430ea548c13ed07cdf9b","datavalue":{"value":{"entity-type":"item","numeric-id":4647551,"id":"Q4647551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$7B369044-73CC-43FB-A528-083DFD405CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d60793996fdb0f2c87d40fbcb6e7fcda6bf3df","datavalue":{"value":{"entity-type":"item","numeric-id":3356299,"id":"Q3356299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$A320E584-D7C7-441E-B28F-5EEEDB300153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b533b2bc04d6033c9636f1b8a0113dc5a63f8746","datavalue":{"value":{"entity-type":"item","numeric-id":4694250,"id":"Q4694250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$9F0B32FD-AEB4-4ABF-A6B7-67E990D1B238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$C3601B4A-7230-43CB-8429-D112A5AEC6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$A6FB8927-4FE8-4A4F-8504-E2F8132E466B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"496206017b625732bc4d6bbe8e91fb59e3aaaf7c","datavalue":{"value":{"entity-type":"item","numeric-id":5191594,"id":"Q5191594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522041$C005832E-EA64-4204-A645-05DD5976AA4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf54bca1ab584ffa97407cbc499fd6dae83ab245","datavalue":{"value":{"entity-type":"item","numeric-id":846527,"id":"Q846527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f7c568d219579d07f1bbb8d3540d8cbd9c10ca","datavalue":{"value":{"amount":"+0.8337321281433105","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":"Q3522041$283666BD-DCF3-4803-821E-A489F2023A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b4613f74cf29c2022c918198cb51fbb27e508c8","datavalue":{"value":{"entity-type":"item","numeric-id":526730,"id":"Q526730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5312917f77fff95b1f88df1f70d2ef6d74ce85d4","datavalue":{"value":{"amount":"+0.8321245908737183","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":"Q3522041$D4834A7F-3251-4C8F-88E9-D239FC09FCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe50febe5a2318ff0e1263bca589327833a3cc7","datavalue":{"value":{"entity-type":"item","numeric-id":5191594,"id":"Q5191594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1277704a3d25dce36133aecf538ad193f65b725","datavalue":{"value":{"amount":"+0.8233160972595215","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":"Q3522041$253B3124-DC6F-427E-B941-FCC9F0A09FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ca4eaad495ba695db82685e491eb6a374820b5","datavalue":{"value":{"entity-type":"item","numeric-id":2859116,"id":"Q2859116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e285d0bbe304c83925285e7975431bfb88b9ae","datavalue":{"value":{"amount":"+0.8129804134368896","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":"Q3522041$1594E7C5-1023-4503-A1E0-455EA6A0F923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ecfb151174a40b41dcafd1b84dc8288b8f60a6d","datavalue":{"value":{"entity-type":"item","numeric-id":2890324,"id":"Q2890324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f334cea00bb605aa821b14a5cd135a2c6464ac","datavalue":{"value":{"amount":"+0.791503369808197","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":"Q3522041$EC7B8CA8-FDC7-4C5B-BB10-583307C44DB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Tableaux System for Deontic Action Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Tableaux_System_for_Deontic_Action_Logic"}}}}}