{"entities":{"Q4715974":{"pageid":6745551,"ns":120,"title":"Item:Q4715974","lastrevid":98091959,"modified":"2026-06-05T16:26:57Z","type":"item","id":"Q4715974","labels":{"en":{"language":"en","value":"On Markovian Fragments of COCOLOG for Logic Control Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 947446"}},"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":"Q4715974$B0C6487D-FE66-4CD3-9AAE-A48592F4EB3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48367fc2733db016d9d47a71697df9d459037cf8","datavalue":{"value":{"text":"On Markovian Fragments of COCOLOG for Logic Control Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4715974$24AD9ADC-9D35-4823-A0C7-9C071306BA21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b4df16660bd439544b1e91c054140ceb05a7cb6","datavalue":{"value":"0859.93032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715974$A510104E-B31E-4F74-B9C0-C771372EEAB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f99d10711a3b7aa39821bdf979c068cf48ef052e","datavalue":{"value":"10.1137/S0363012993254539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715974$E2DAFE8A-7FCD-4B38-9621-B5DE1AD5BDF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7fb8c2512d013f1969b45f4cedd825ceb58cdd6","datavalue":{"value":{"entity-type":"item","numeric-id":4353646,"id":"Q4353646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715974$1A0063C4-F6AD-48BB-8E0E-425D54B93E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66db70bea35f58ae82dac21d00bca7be39de5465","datavalue":{"value":{"entity-type":"item","numeric-id":1006518,"id":"Q1006518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715974$2B9646F2-F82A-4988-BB51-A7292E7DBD8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ce3126ac4b873d1435f3e6415d12d56cb56cf18","datavalue":{"value":{"entity-type":"item","numeric-id":2706140,"id":"Q2706140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715974$F325F479-0264-4427-AC1B-A2293CB49257","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4401b26afe2e203f0d2679931ff10c76b044ac6e","datavalue":{"value":{"time":"+1997-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4715974$F2D027BD-7A79-491D-B99F-00BA414DD157","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715974$07A2AC06-CF0F-461A-A60B-E3B6A111AA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0916e5de0ac6f52471290e56f7212aa9a67dd8fe","datavalue":{"value":"93B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715974$73D8E83A-0895-437E-8BCE-65D8DF05714C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715974$4B045F92-40F0-4E05-8CD7-D4D14E437424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c05236ba6c6eb01728e5ef50a3d845c0afa0da1","datavalue":{"value":"93C41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715974$226AD74E-4B56-42C4-BC93-C1B376424F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715974$D6F531E4-3197-4BB8-A441-BFABE89AE655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715974$62A59BD2-2EAA-4F4C-B172-24212FD8C562","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbe122b7d882e12e445cd53a80ec98756a32b850","datavalue":{"value":"947446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715974$027BDC2A-2667-4577-96B2-21206CB6E4B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654d82cffaf48aee34c8d66a865b227f1d39e13d","datavalue":{"value":"finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715974$7B571F4B-8D82-41F0-AF9B-0E22FB33100E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fc00e38ab3ad03f7b539b96c17ca413ce17d99c","datavalue":{"value":"logic feedback control","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715974$1284697F-D20E-491C-AE6B-CDB245F11C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f86a0814d35f199392b0c95f774881a41245d9c","datavalue":{"value":"problems with incomplete information","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715974$BEA0A2A2-933A-419D-9750-DF1547E84A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7920b95f76a56d6580b2d82aebe2239bc5db3fb3","datavalue":{"value":"conditional observer and controller logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715974$426F4564-E74D-48FF-8540-A94B1EF4B10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9097f5d131906574058554916f9f2c70fb78657f","datavalue":{"value":"theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715974$6D6EF05B-8689-4263-BF6C-FA0CD96B87A0","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":"Q4715974$7D5A9F7C-2B84-4D7A-9CD6-8493B9D4B47A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877ecc6980064d1d02f151f5e64b7ceb9a17bb67","datavalue":{"value":{"entity-type":"item","numeric-id":4845324,"id":"Q4845324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba5c62568f1854df1d89ad1ecdb84a8b0371556","datavalue":{"value":{"amount":"+0.9859877228736876","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":"Q4715974$75A6A73E-9954-4CEF-BD49-5E7502F9C123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b83d6eb27af9ca68d59c4b2fa152dc022333ea","datavalue":{"value":{"entity-type":"item","numeric-id":4862432,"id":"Q4862432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7890979a70db0c585cd6eeb162183a2e56cad53","datavalue":{"value":{"amount":"+0.8710058331489563","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":"Q4715974$256EEE6A-EE41-4AB1-BE8E-0AEEABF5444D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10dd5f233b9481cfee513baeec75bbf52b821fab","datavalue":{"value":{"entity-type":"item","numeric-id":1370602,"id":"Q1370602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ad072675cfb49c2df4cacde7746c065fb222b4","datavalue":{"value":{"amount":"+0.8002761602401733","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":"Q4715974$58B7FABE-F70F-49FE-AEE8-45B231F7D973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ea64b7742ad84592d58fcdef35b2725cfc7de49","datavalue":{"value":{"entity-type":"item","numeric-id":4763557,"id":"Q4763557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"113f19beac4b434182f60ecafbbdd5bcf2871d7d","datavalue":{"value":{"amount":"+0.7592305541038513","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":"Q4715974$FA4571BF-0C28-4255-A3A7-8559BF234B6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Markovian Fragments of COCOLOG for Logic Control Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Markovian_Fragments_of_COCOLOG_for_Logic_Control_Systems"}}}}}