{"entities":{"Q5200475":{"pageid":7230046,"ns":120,"title":"Item:Q5200475","lastrevid":51589544,"modified":"2026-01-18T22:57:18Z","type":"item","id":"Q5200475","labels":{"en":{"language":"en","value":"Model checking propositional deontic temporal logic via a \\(\\mu \\)-calculus characterization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6102395"}},"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":"Q5200475$784682C4-ECF1-4279-A48F-24A5FD469EB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d00f7e1ab2dc5b6bed5a957c77c08bc787e2cd28","datavalue":{"value":{"text":"Model Checking Propositional Deontic Temporal Logic via a \u03bc-Calculus Characterization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200475$E05221DB-5F5A-49E9-802F-A7BB00996EF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d389c2be3ab53f708f591da13c95fb91b3704d5e","datavalue":{"value":"1372.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200475$FE983E2A-98B0-4004-B350-827EB74B8D04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7660c0a20cb24f36467d717b2fb7823a62bf036","datavalue":{"value":"10.1007/978-3-642-33296-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200475$0AA04432-BB6C-4DAD-8AE0-7676DA719E87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f92025fcef1c1d5cd7823e6c1f2a613f8051a156","datavalue":{"value":{"entity-type":"item","numeric-id":3095235,"id":"Q3095235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200475$A4FA7CC5-65DD-456A-9DBD-00D96B7A7B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"528d9c27031cd74c75afc771988e1401cf926ddd","datavalue":{"value":{"entity-type":"item","numeric-id":2954996,"id":"Q2954996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200475$E9ABD81F-4BEC-4BC0-88F7-1151455C247C","rank":"normal"},{"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":"Q5200475$54557400-83E7-4598-90A8-CBE2275FB386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4e2ff6960fc1a368be50c0bbe7a73042d86b6f9","datavalue":{"value":{"entity-type":"item","numeric-id":903493,"id":"Q903493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200475$59038836-1CFE-4E79-BA4A-539299BDF0CF","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":"Q5200475$C32E1443-9A2F-42A2-9CB8-797D8589E05A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f5d0b9aef60a4c2a8df4614c30e2b940c8c4a5d","datavalue":{"value":{"time":"+2012-11-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":"Q5200475$76500E43-820C-45D5-964A-0BAC37E66F2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200475$A11250C0-0116-4037-A20C-284592F9F2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200475$55B004D2-7C5C-41E5-82E6-C2BD966F9241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200475$6B6B7E57-00C4-4926-B195-1842F0B35C12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcf9fab73d4c8a9d465e16a69d1b39e1c3e6effd","datavalue":{"value":"6102395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200475$F8AEBF20-6D09-476F-A635-BC3F8A037BAB","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":"Q5200475$0E85AACD-3C92-4E5B-8470-36EAD805DAB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40629b592e20e09b2820f6dc87063949376be830","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33296-8_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200475$AB9E2178-4D3D-4A39-95E5-BC10B6005307","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f2dd99adf89e9b84898dc93b74a773807b55004","datavalue":{"value":"W184949612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200475$25F7D7C6-1AD0-4E54-8E02-C51662352104","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c630436ac7f3b35957d09d38f4aaedda69cb94","datavalue":{"value":{"entity-type":"item","numeric-id":3095236,"id":"Q3095236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7881d2223a9846b5ab56112686ca12d2be4cd96","datavalue":{"value":{"amount":"+0.7798844575881958","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":"Q5200475$D430ACE8-46CB-4B17-943F-D051B3153E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b78d86dd664c9236fdfcb60831e073d09504cf2","datavalue":{"value":{"entity-type":"item","numeric-id":3356299,"id":"Q3356299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599eaea5619cf5d8a8c705103e16d26508e21b2a","datavalue":{"value":{"amount":"+0.7659391760826111","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":"Q5200475$BC50FDB1-8628-4FC2-8F8C-FCA07EFD1362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b372590df06dd31bbbf717ef217515a92785c86","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0357d037acd443f16cfe858513b4ebd05536257","datavalue":{"value":{"amount":"+0.7576655745506287","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":"Q5200475$91D7D036-8917-4362-8CC5-EC0B91E151AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6832e0ac87fd8d78faa2a2562e2a9a2a8de08db5","datavalue":{"value":{"entity-type":"item","numeric-id":3600564,"id":"Q3600564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3ffb482e6e86c6e4ff4817aadb173e956e8c9b4","datavalue":{"value":{"amount":"+0.7495347261428833","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":"Q5200475$1EEADBAA-5950-4508-B70B-526D3DB0021A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd84ef57146bbcbaec7861a27239929cf50f467c","datavalue":{"value":{"entity-type":"item","numeric-id":4260713,"id":"Q4260713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb20fe401330159c308321845a86b3e8b84e8b5","datavalue":{"value":{"amount":"+0.7487587928771973","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":"Q5200475$75F7BECE-40C6-46B2-ABE5-CD42C8440D35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5200475","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5200475"}}}}}