{"entities":{"Q4862432":{"pageid":6892012,"ns":120,"title":"Item:Q4862432","lastrevid":47391460,"modified":"2026-01-01T14:54:26Z","type":"item","id":"Q4862432","labels":{"en":{"language":"en","value":"COCOLOG: A Conditional Observer and Controller Logic for Finite Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 843028"}},"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":"Q4862432$00251191-2E4D-4353-8007-FE55401E7AE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6460e03ccea31f4b4ebe06620e122341e45848c6","datavalue":{"value":{"text":"COCOLOG: A Conditional Observer and Controller Logic for Finite Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4862432$418A073C-2602-416E-B79B-40F7841740A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b10fd8f57420cdf143aac6675705f46d97f191af","datavalue":{"value":"0840.93007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862432$30DDD903-6852-4FDF-B65E-A90B907FFAFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55f56279d2c12a24bbe2d854b49dd89b55f8b88d","datavalue":{"value":"10.1137/S0363012992226636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862432$EB890212-CC68-429F-A9C6-6F140677FE85","rank":"normal"}],"P16":[{"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":"Q4862432$B5242201-3BDB-462A-BCC9-60C4FBC7ED30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90019af58a5fc25e95324905cf2670deba407189","datavalue":{"value":{"entity-type":"item","numeric-id":1370601,"id":"Q1370601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862432$F4AD9C1F-D1CE-4B49-9509-3B9840DD0D7F","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":"Q4862432$CBCCB7EE-B4EF-4AAE-8D42-518F56353DAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63f3cd5ea250cae1efb23f4567f6e5e9f7cfafd","datavalue":{"value":{"time":"+1996-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4862432$F8B9E26E-546D-4891-8511-D7DDD3E04B03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98c8953a849a41f73de6c789d289dafdf7e2b4d","datavalue":{"value":"93A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862432$8A061FED-A3EC-415D-BA5C-48731EDFA3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862432$BD94BE04-5D2C-4AA6-8F0E-0FD0D27292B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862432$DE54BB1E-EF77-454A-82D9-6A2D14F8983A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862432$BDF5AC98-D463-47B9-9F65-B82A0F645F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862432$84271626-E82E-434D-8EB9-FEAF54204B49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e80cd1d4019816484d4f7ba22c18c1b4a84ed11","datavalue":{"value":"843028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862432$0B03A502-F3A2-45DC-83E3-8933ED2E8D8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654d82cffaf48aee34c8d66a865b227f1d39e13d","datavalue":{"value":"finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862432$D46CE0E0-07B2-4E68-A875-CFB3957D3337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"337188a250a96de432be12dc91feaddecdc8f4be","datavalue":{"value":"first-order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862432$5832485E-9212-4222-8B99-C405EE95A66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dffa30a5b257d6ea2fcd08dd4273ce0179f6b735","datavalue":{"value":"observation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862432$110945B9-EC48-43DA-A3DC-9DB0A762BDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa692647fb34abd0c76cde6eeb87645ee4e1dc75","datavalue":{"value":"input-output behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862432$02C09F14-EC43-4B78-89EF-BDA09C212326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d3a3c4c489b9a2f767c098c3045f30e3d18779c","datavalue":{"value":"controller logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862432$E7FA191D-21F8-485C-AB7C-D2F93B2143EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862432$D2050B97-65F6-4583-8C99-4EDC014F5DCA","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":"Q4862432$27FD78D3-A1D9-4892-B9D7-0CFF5860D170","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bcd08728b816c6501f91f73d5b3619670eed4c","datavalue":{"value":{"entity-type":"item","numeric-id":4715974,"id":"Q4715974"},"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":"Q4862432$94AB4A3D-DD92-415A-B20C-54D0CC31438A","rank":"normal"},{"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":"8f8a82c265c4cdd8aa54110b4ffa884c568d1b16","datavalue":{"value":{"amount":"+0.8658972978591919","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":"Q4862432$14A65470-FDA6-44ED-BE8E-A5287884A9A2","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":"1ce092ae6258fadbb25e29aad74336f4bc6a56ed","datavalue":{"value":{"amount":"+0.8182690143585205","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":"Q4862432$B3C88912-4C83-45A2-BD18-80C0E692F454","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":"4f3d2977fe31a7ba95a1ff73edf2661df81797fb","datavalue":{"value":{"amount":"+0.7965366244316101","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":"Q4862432$B2FF28FF-8AF7-4584-B574-6C4E07B8723B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624c9c9f08a5d045dda0e520e5d1f880280c6b14","datavalue":{"value":{"entity-type":"item","numeric-id":3363151,"id":"Q3363151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a9bddd577836823c4779ef6d7daae2530624d5","datavalue":{"value":{"amount":"+0.7326271533966064","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":"Q4862432$3E40CEC7-550F-4987-85AA-49547936EA2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4862432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4862432"}}}}}