{"entities":{"Q2848072":{"pageid":2858792,"ns":120,"title":"Item:Q2848072","lastrevid":51832688,"modified":"2026-01-20T06:37:17Z","type":"item","id":"Q2848072","labels":{"en":{"language":"en","value":"Bounded model checking for deontic interpreted systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211424"}},"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":"Q2848072$60A6DA6B-5202-4DCB-BB35-9743513EA01D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78be9dc5163c98cd58a82a6060d153d17d17d3e4","datavalue":{"value":"1272.68279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848072$6C87471E-EAF5-40C8-9B65-684B8A2D750D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9edd92e42a7c65f96b325af59203586c0e1cff0","datavalue":{"value":{"entity-type":"item","numeric-id":1028969,"id":"Q1028969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848072$AC163E8B-331F-4CAC-B4E5-4136E9FAE762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff5eb95cd0f47a5dcbb6509988939501b112b5","datavalue":{"value":{"entity-type":"item","numeric-id":598544,"id":"Q598544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848072$56966517-06C4-4DF0-9BAC-9E7C63A52FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848072$CAE9E470-C0F6-48D2-B37E-B69988E4DE88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-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":"Q2848072$1DED6FC9-1138-4584-A52C-03A4C5D1F305","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73727e920949c2730f110933163b2ae1771be92f","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610500085X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848072$049DE8D7-5D6A-4FF9-9183-77E7E77D1B6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848072$E62F6094-D83E-4FCE-90CA-019EBF9161B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848072$96D46EDD-90A8-4E48-8F88-5163571AC8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848072$B5D5ACCC-483F-4CAA-8153-B696E1D945E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0619d13410a5dae2cbea699d24840ee8b32b47f6","datavalue":{"value":"6211424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848072$31934F55-AFFD-4CDD-B985-692AB4131486","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":"Q2848072$863CA18B-73AE-4B25-89B7-77AE968EBD23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"163fe15becfb52c82f0b2c661305d17264b7f5e9","datavalue":{"value":{"text":"Bounded model checking for deontic interpreted systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848072$E3D2F9FC-E732-4842-853C-8692918BBF77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8c88fc88017b1933597c6ff2f82fe88701ca24","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca9b0ffd8310a8704e6e45ac283c4bc40bb8b74","datavalue":{"value":{"amount":"+0.8508564829826355","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":"Q2848072$BC273991-0082-472C-870F-0E34F05435AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b27f9861d00d7e6370279a20057eec6113c8e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5901590,"id":"Q5901590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab8df678f40dd64a99ab83d0af973f686cf2216","datavalue":{"value":{"amount":"+0.8438857793807983","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":"Q2848072$2B4CEE21-5D2A-4958-AAE9-2130BF261F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c4651e2eef0d6e720c2b887a4b8defb106a8ff","datavalue":{"value":{"entity-type":"item","numeric-id":2968861,"id":"Q2968861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653a2efd35cab334d6c874614de5ff5dcd28f2a5","datavalue":{"value":{"amount":"+0.8231969475746155","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":"Q2848072$F28C6216-7E62-4D1C-A05C-ECAFBBA5C2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32daf514979af1f778551e6855a9ad222281e837","datavalue":{"value":{"entity-type":"item","numeric-id":4681373,"id":"Q4681373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d8495d7fa6bc1c219b063501acc0e7254f8921","datavalue":{"value":{"amount":"+0.8165093064308167","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":"Q2848072$62D3D885-866F-4C5A-A413-4CC44BFFF4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e26cda5a036efd0a915f5e2f0749814a456ddcee","datavalue":{"value":{"entity-type":"item","numeric-id":5423885,"id":"Q5423885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bca87cc9146e3798ca24596274f8dd03e72b4f6","datavalue":{"value":{"amount":"+0.8061928749084473","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":"Q2848072$1BFECBC5-225D-467E-A691-9F8AC3266A08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848072"}}}}}