{"entities":{"Q453529":{"pageid":455296,"ns":120,"title":"Item:Q453529","lastrevid":51563483,"modified":"2026-01-18T19:29:03Z","type":"item","id":"Q453529","labels":{"en":{"language":"en","value":"Achieving distributed control through model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087630"}},"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":"Q453529$B9D8625F-42F8-42AD-9124-BF127AB1C666","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ab4c8f0bb514839a9c80b3d07626b41410dc3bf","datavalue":{"value":{"text":"Achieving distributed control through model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453529$E01FAB60-0900-4CCF-A98D-56B86255C7A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ad1dcfc15f79a7c8c9a2fb0c8050b85b2f8de6c","datavalue":{"value":"1247.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453529$0A371602-07AA-407F-ADD4-827D81E270E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c02480a6f2acb40a62f3c1a600bbd033e6ddfab","datavalue":{"value":{"entity-type":"item","numeric-id":453527,"id":"Q453527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$D2E4CAFC-4FA7-496F-9AFC-6AB8E69A987A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ad1f863b1791a834042d3509f5b2401a0a53dcd","datavalue":{"value":{"entity-type":"item","numeric-id":453528,"id":"Q453528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$0736A190-DA95-4833-8EC8-0CBFD3685673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$EF98C1CF-CD72-48ED-8F3F-21D4D67BED00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$FFEFCEA3-6C6F-4362-8651-16D9B81D4D19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q453529$16A73C16-CEB3-4B02-9627-306F80F0B82A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453529$F45112C4-FD21-4D95-B187-0CE359FD7599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453529$24164DEB-91F1-495A-AE48-BD277504C728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453529$33C35032-C747-40CF-8198-F03B258FFB88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72f07178fdcfe98c3b0274fb0e8f900ebaf0543d","datavalue":{"value":"6087630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453529$AF6E3D02-269B-4B12-AAF0-1083EE40D1C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657a8705695a0078d252f2548dc6a5eb3b6b7242","datavalue":{"value":"distributed control","type":"string"},"datatype":"string"},"type":"statement","id":"Q453529$5E11E68E-1BC0-48AA-967A-5406C18C11D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q453529$85900F95-45BD-4E0B-9F36-5619A817486C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q453529$3B70E64C-2762-42A0-8D4B-F874C397B255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32edc4b400ebd1e28165decea158508d3c4e49a3","datavalue":{"value":"disjunctive control","type":"string"},"datatype":"string"},"type":"statement","id":"Q453529$C48DAFBB-D12E-43C7-BFBF-2171982D327A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9cf9e93ae18f64c34564695f5fe575a49537bf7","datavalue":{"value":"prioritized systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q453529$89C851EC-9379-4A55-8F6C-141F5BB1EBB9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b73caf41d18f3f22691c16cb1cdd7440b8e008e7","datavalue":{"value":{"entity-type":"item","numeric-id":13317,"id":"Q13317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$9C22DD29-E451-470D-9CF9-2E9479DFAA8B","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":"Q453529$D4352712-02A5-4A18-A372-66F68EE759FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9125d6b84613185aa628116791ab336e73603576","datavalue":{"value":"https://doi.org/10.1007/s10703-011-0138-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q453529$88ACC980-38AE-4693-BB68-0AE53575E0A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ca97e5a738d2e4eacfd4a7076a3452958dd0429","datavalue":{"value":"W2070724783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453529$15F5B9F7-C20A-4755-80DA-9954F759418A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0107de822a080ee24e02e38489b3593c7fdc0b","datavalue":{"value":{"entity-type":"item","numeric-id":3636855,"id":"Q3636855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$AC48295C-B9A1-4EDA-B643-22F012F03AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ec2047f59b384d1cae802888b335ed014dd06e","datavalue":{"value":{"entity-type":"item","numeric-id":4931282,"id":"Q4931282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$B6E60D45-A9F4-4D8D-BE32-325995730999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$3CDCB027-2204-47E7-9C79-EDDCD76E4F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d7319e8d1c137de845d5ac33cc992644f5e318","datavalue":{"value":{"entity-type":"item","numeric-id":1149777,"id":"Q1149777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$5ADD080B-C121-4634-8734-F3D71A94F232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$088CACBF-B78E-4354-96B2-68B41841CEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a2193ae14199da925d7af311a9e576826127c4","datavalue":{"value":{"entity-type":"item","numeric-id":1383157,"id":"Q1383157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$184C3BFD-EDDF-42B5-AAC0-9D40E706C9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb8ee0c7ca8b3c46e7347c6d56d26d4c083f2f2b","datavalue":{"value":{"entity-type":"item","numeric-id":4152571,"id":"Q4152571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$12B433EB-C517-4B0B-AC65-DC1D20E41A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb45d2686317a542b29158d2860b42f35c2cd921","datavalue":{"value":{"entity-type":"item","numeric-id":2730222,"id":"Q2730222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$58BC37AC-F9A0-4D2C-A55F-D32080E6F40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dd2a3abf043fa81e3cd0573192ece3199721d","datavalue":{"value":{"entity-type":"item","numeric-id":4031515,"id":"Q4031515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$5A2B0C6B-E402-436E-94F7-64C00D917A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876966e46c21a2a7c1dddf246bcad45c3982f932","datavalue":{"value":{"entity-type":"item","numeric-id":2504549,"id":"Q2504549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$7C7AB4CF-48F5-4B57-8022-CF40B2C0843B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab2a7dd415a915f4e797829dffa869892f7c19","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$EA28A547-3A70-45DC-83D7-79BD29A0689F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a613a47011f46503782be16fa8feb625c1aca7de","datavalue":{"value":{"entity-type":"item","numeric-id":2390212,"id":"Q2390212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$C1A536E4-420C-4038-AFBE-5D0E539A421E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59765932a2bd0bcd019ba51aa0a82b2904333289","datavalue":{"value":{"entity-type":"item","numeric-id":1610350,"id":"Q1610350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453529$644DDBBB-9657-491D-AFDF-F95FAC002ED2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72f07aafdeadaab33745ee96a8bb5d011a022467","datavalue":{"value":"10.1007/S10703-011-0138-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453529$A81E52E7-FDC7-4528-B1A9-CB1D75F2DD96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d4d46bfea95dd038cf6b81bf129e61208c1f990","datavalue":{"value":{"entity-type":"item","numeric-id":4931282,"id":"Q4931282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c116d485e919a132eb189bb7aeb9970141fbed6","datavalue":{"value":{"amount":"+0.8103887438774109","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":"Q453529$EF0A435E-6BE3-4775-A09F-1ECA60C3E774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314f9d54cb8e123cbc0329497d3d174aaba08fca","datavalue":{"value":{"entity-type":"item","numeric-id":2849954,"id":"Q2849954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e18287fbf09d251aaedb29fa46a9250c479e5b","datavalue":{"value":{"amount":"+0.7799462080001831","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":"Q453529$70023708-FFE4-45C4-97A7-78D3F149FBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1df9774a8f9a4de19cddebe77fb7fa5be238afc","datavalue":{"value":{"entity-type":"item","numeric-id":3172930,"id":"Q3172930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f16cfdbf55f04ea49cda0234e0ce6016aff7ff57","datavalue":{"value":{"amount":"+0.7750588059425354","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":"Q453529$94D66E44-FC1C-4CFA-AE2B-EB3F5796F666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cdabc42ef28c73f1f5cd0820bc0ab40f2a15021","datavalue":{"value":{"entity-type":"item","numeric-id":4484484,"id":"Q4484484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d7be8e000e64984d316b83063c6931ee355d3c","datavalue":{"value":{"amount":"+0.7656877636909485","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":"Q453529$774F7824-38BC-4FF6-A9A6-662B6B89F0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a83a05a4c3ff42e446cb767c726c5251afcd53e9","datavalue":{"value":{"entity-type":"item","numeric-id":4965865,"id":"Q4965865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a78f29843dae30afc275b7b6f3dafc1ddd8b012e","datavalue":{"value":{"amount":"+0.7562001347541809","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":"Q453529$C0283EBE-A974-4BBF-A3D2-CD3340B01C42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:453529","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:453529"}}}}}