{"entities":{"Q5257781":{"pageid":7287349,"ns":120,"title":"Item:Q5257781","lastrevid":52295843,"modified":"2026-01-21T09:24:33Z","type":"item","id":"Q5257781","labels":{"en":{"language":"en","value":"Progressive events in supervisory control and compositional verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6453217"}},"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":"Q5257781$691C4EA2-AF10-4460-8AE2-18E0F3C90690","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01511ee93d67d2834a0be3b92fd518dbf31b0150","datavalue":{"value":{"text":"Progressive events in supervisory control and compositional verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5257781$E36A7C22-5335-4949-8188-664414D54295","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3692fb5324badf326186efa89005f123e7e46723","datavalue":{"value":"1324.93095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257781$6A6710CC-474A-4C81-A0F4-D017B33A50AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a706262969d030d597019b5318adb55bb32c8480","datavalue":{"value":{"entity-type":"item","numeric-id":351735,"id":"Q351735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$B1F1253B-4DDD-4A9F-9F5E-2607A8E6D332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c1c708370112f81ca20df5b010f847ed2306c40","datavalue":{"value":{"entity-type":"item","numeric-id":262428,"id":"Q262428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$327BAE27-729F-45D6-9931-DBD09F616E25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ecc3460ba0138c99673ef5fc27f0c4cba0dd0de6","datavalue":{"value":{"entity-type":"item","numeric-id":2082756,"id":"Q2082756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$AF8609B9-27E3-4D6B-BFF0-5968F1DD148B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8267f1856df5311ac8f067da2122b7880d3f7c0c","datavalue":{"value":{"time":"+2015-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5257781$AA1AFE02-417B-4CC6-B528-F12548794BB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de558c1d686111f49d3a1c5e57fdc3fbc1d694b1","datavalue":{"value":"https://hdl.handle.net/10289/9358","type":"string"},"datatype":"url"},"type":"statement","id":"Q5257781$B4EAC4CE-20BD-49DB-95D4-69BEE2FC5674","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257781$8C0AD414-7694-4909-9961-CD731B0A9388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257781$898CFE8A-D21A-4821-8291-79374BB1ADF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"931f9bc6fe69aba6508703df7e266476edb87eb8","datavalue":{"value":"93B51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257781$A3C298AC-B0AC-4215-B7BD-62DFA368D463","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f49fa943d5dcced8ed60f9a31dd56560a3218bc","datavalue":{"value":"6453217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257781$622895F7-6209-4A5E-8D12-AA49BF5313CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a0c92aca19a33d60b00fc67f51e7e95d47376c5","datavalue":{"value":"model validation in design methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5257781$F4DC5735-353F-4BEA-A335-42E5AE6FD229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd0c43aac2e70ee6c551fb98a536d7e51cae7361","datavalue":{"value":"controller constraints and structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5257781$9E14AE6F-89A6-4892-B7F5-FADB00EBBEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q5257781$5BD209AD-B99E-4AFB-82C6-EB56E27F3AD5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$585B3644-DCCB-4399-862E-DB4D3365BDAD","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":"Q5257781$929F76C1-C7B2-43AD-8992-C97DFD83C47F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0585dcddbc591eccd1cbffbb0acd45da77d7f1d","datavalue":{"value":"W1968747967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257781$439BB4B4-3693-4775-8AE3-1AD334BAC32B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$C3FB986F-3B26-4BE3-9371-6808EC4FE812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a1370384461c363131c9ac350ba84ed582312e","datavalue":{"value":{"entity-type":"item","numeric-id":4507068,"id":"Q4507068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$E9002191-B724-4D08-9191-0B95986FC1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f9dee8f1a57cd4cb4b0e3d70333693e745d20","datavalue":{"value":{"entity-type":"item","numeric-id":816701,"id":"Q816701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$6843ED49-9294-4436-9FD5-2913B4B3DDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"416c8bf0e4f100762f7f3aa96d8ea5233799daac","datavalue":{"value":{"entity-type":"item","numeric-id":5274142,"id":"Q5274142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$AA6FD805-8588-4047-89DE-D76808E917DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f30a4b1fdcc9c6edd467b47bb17ec142f25152f","datavalue":{"value":{"entity-type":"item","numeric-id":3152840,"id":"Q3152840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$64631E31-5080-4603-890B-BA3B550FB067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26fc6ebbf4bd49c2665d5a38cbdc48c85fd98c5a","datavalue":{"value":{"entity-type":"item","numeric-id":2348360,"id":"Q2348360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$CA1666DB-A9C7-41AB-B0DD-630BC7B4D768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a387cf93b75150acdc6cfa22673d549b86cd6a4","datavalue":{"value":{"entity-type":"item","numeric-id":5257781,"id":"Q5257781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$9296C491-AD5F-423C-B3F2-62E2E4679EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$88862A59-76DD-4ABD-B2C2-3C5C8820F58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa1ad61c4605d170d2b6e7cec68b0a97ed717f0","datavalue":{"value":{"entity-type":"item","numeric-id":3727828,"id":"Q3727828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$0DFD2476-1D00-42BD-8CFB-699C27153A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f11f4a021753058fcc737320931eaab10eaf58e","datavalue":{"value":{"entity-type":"item","numeric-id":1424972,"id":"Q1424972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$2D2D378B-171C-4DF1-8DEE-038B784F95B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a582208fcd11f765e61b0b568f3408400094182","datavalue":{"value":{"entity-type":"item","numeric-id":4037383,"id":"Q4037383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$90405070-C835-4853-9E7F-EABA165AA366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"814223f4bd4da30f448d5d1b2c41b51941fa97b6","datavalue":{"value":{"entity-type":"item","numeric-id":3566992,"id":"Q3566992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$17449283-8182-454D-8133-6390AAED85FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0e23938cf99e37eb42d33a1ece15862b42acce","datavalue":{"value":{"entity-type":"item","numeric-id":4974830,"id":"Q4974830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$3495274C-889E-4BBC-AD93-3D3BC4B89F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c4366277a2fe4e97290661f51304ea6c2e2625","datavalue":{"value":{"entity-type":"item","numeric-id":976261,"id":"Q976261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$13F956BC-6400-40F6-A469-9418024E7916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9cdd08d26a561b954951e9e6c37d85fbd540b15","datavalue":{"value":{"entity-type":"item","numeric-id":351736,"id":"Q351736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$A60EBDFE-AF77-468F-B7D6-CE143A11AFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad1a6cca27b95e332a2f784b23a5cb646393672","datavalue":{"value":{"entity-type":"item","numeric-id":5484903,"id":"Q5484903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$AE1EA897-3D26-4ED5-BFE1-CF469E3F61DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e76407dbf6417ecc2d7078267d9ef5214e71eed","datavalue":{"value":{"entity-type":"item","numeric-id":5353290,"id":"Q5353290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$D0206A17-63C6-4465-9FEB-34651F81B995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5257781$CBE12153-17D9-4609-829E-4A6C225BEDB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a4b6e0004ab23607247695423241b79d9beddd0","datavalue":{"value":"10.1007/S11768-014-4097-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5257781$DF3A21B7-6C63-4FA4-9FF2-893FB093B411","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6162fd6992b1106acd53b8e130c7b0a5f8c0b8","datavalue":{"value":{"entity-type":"item","numeric-id":3566992,"id":"Q3566992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94d01d2f04a8062df68bd78b496d17c5717e3be","datavalue":{"value":{"amount":"+0.7970043420791626","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":"Q5257781$79B9F3D4-486E-45E4-81AB-A590E9C114BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef5d07b87219469ae75125e4c47ec616c1e50f4","datavalue":{"value":{"entity-type":"item","numeric-id":6080680,"id":"Q6080680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8132580f8a3604fa6a5ed511872e959e616eed4","datavalue":{"value":{"amount":"+0.7227819561958313","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":"Q5257781$D0F146C6-B7A6-4305-8E60-A536A7275760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70fd387cf37ba9f3608ca180554c301ae7286cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4896783,"id":"Q4896783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b8605d403df4417694e0e3e5830de9286b7e011","datavalue":{"value":{"amount":"+0.7170059680938721","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":"Q5257781$8B76A742-2073-4C71-92F6-945F4FECD4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3731653762fae174455f101f4e56b9dd1b0000a9","datavalue":{"value":{"entity-type":"item","numeric-id":4240486,"id":"Q4240486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224878f435816aa21f90349d9e5dd0c7c491a85c","datavalue":{"value":{"amount":"+0.7145780324935913","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":"Q5257781$28486D17-3BBC-4635-8CDF-CC75F364FE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f3fcf3ddd52feccb4ba9a43bd3b394c8d30caf","datavalue":{"value":{"entity-type":"item","numeric-id":351736,"id":"Q351736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224878f435816aa21f90349d9e5dd0c7c491a85c","datavalue":{"value":{"amount":"+0.7145780324935913","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":"Q5257781$9A48B0D0-0458-456B-85E2-8812EE429F41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5257781","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5257781"}}}}}