{"entities":{"Q3523120":{"pageid":5553024,"ns":120,"title":"Item:Q3523120","lastrevid":50441786,"modified":"2026-01-14T01:43:53Z","type":"item","id":"Q3523120","labels":{"en":{"language":"en","value":"Verification of Supervisory Control Software Using State Proximity and Merging"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318892"}},"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":"Q3523120$C26EAAF6-7F3D-4E48-B144-0F2FBBF88B59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95534b6c20f575be0a137c7c3f1973735ab5e992","datavalue":{"value":{"text":"Verification of Supervisory Control Software Using State Proximity and Merging","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523120$8C009604-92EA-4C9C-8667-0BD1C4AFBD86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9f9c104aaf092a2cf8df5e360671638619734aa","datavalue":{"value":"1143.68457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523120$8D78FEF0-3A1D-43F7-A5DD-2172299253BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1df906dda739dfff3e18303362a8f895ce5cfeb","datavalue":{"value":"10.1007/978-3-540-78929-1_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523120$07BDB34C-AFA8-4CB7-9A3B-32F1C2190C75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d80248cf826b6fa6a2d3d1275b9a1135efd3e6ae","datavalue":{"value":{"entity-type":"item","numeric-id":2845502,"id":"Q2845502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523120$B0098834-801C-4CB5-BD48-37D013D60B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"774e88330d96134fd26d25fa13fa3bee8fe38771","datavalue":{"value":{"entity-type":"item","numeric-id":2520673,"id":"Q2520673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523120$CF2DC74F-4BD7-4A40-9E83-1CFF81B51DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523120$AE3F5A9E-B3FF-4127-8B1B-8B4245EBBFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"007c640166b8b4c657092183a4f8e4ca51db5394","datavalue":{"value":{"entity-type":"item","numeric-id":1051359,"id":"Q1051359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523120$571D18CF-24EA-4F03-9742-B16BFC9E173E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b27f91d5f92a7b342f46c3feaedd58c7e5b09ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523094,"id":"Q3523094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523120$82829B24-DC86-43FF-9BB1-7615D9BE1EE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523120$0382D2FE-5A2E-41B7-BF06-E2FDF372F532","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523120$C328DD60-C55C-422D-BD97-96C3434BF937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523120$CCDEFAB4-BE5A-49B2-907B-233B1134213F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523120$9B439FAD-2D5A-4540-ABA7-996554061076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523120$DF47E220-B298-493C-8BA3-A18643D8B436","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49d2a3c76b8722f67a1ae8a71ad5eb3223fd6a11","datavalue":{"value":"5318892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523120$966E4711-784D-40E1-A039-52308B7E6162","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3a82b5d3c25d8926c2d8b482f2079dfb64bbcd92","datavalue":{"value":{"entity-type":"item","numeric-id":16319,"id":"Q16319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523120$C1CF3EBF-FF46-4760-9822-B4ADF1AA40D4","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":"Q3523120$A050829B-FCB2-4DAE-AEF8-531B9CDEC478","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1eadbbc9eda79ad9089b7d47849fe2f1af5513cf","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78929-1_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523120$141AAA26-9C86-4CBF-9CAE-046A0125A057","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1eee76e4e95eca99334997d129c4cac1e3d1de35","datavalue":{"value":"W2099551858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523120$27216A9B-8B86-4D3B-86A2-6D0C00A7C2CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb38f85b3209f42c0dcd4057d6a4ecda8a778ff","datavalue":{"value":{"entity-type":"item","numeric-id":2988972,"id":"Q2988972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"275817a996913659a0f56a23211bad9b82d962e4","datavalue":{"value":{"amount":"+0.7456372976303101","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":"Q3523120$FD5FBD92-34D6-4BD7-9295-935B96245B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf451fe5a9a21a85e65d5ccb534cf4e2bf3375b","datavalue":{"value":{"entity-type":"item","numeric-id":4554783,"id":"Q4554783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2293fccca6a15c8eaf2d34f7220a6cb9f448c60","datavalue":{"value":{"amount":"+0.7104476094245911","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":"Q3523120$2E673682-5127-4323-9BB6-16211E5F0FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41c64b36cac2fd0c2c2f23f10bcc7c4a958fb60","datavalue":{"value":{"entity-type":"item","numeric-id":4672469,"id":"Q4672469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f39e51756e04ed7013a655c4f8d74972598e3566","datavalue":{"value":{"amount":"+0.6939272880554199","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":"Q3523120$899067D6-4D7A-433B-BDA1-7DB26A545EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edf95e93083bff7beba54f6534c3539149d1dc6c","datavalue":{"value":{"entity-type":"item","numeric-id":3132083,"id":"Q3132083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d980654409717b0e0aec50339640f3f1f25766","datavalue":{"value":{"amount":"+0.6928288340568542","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":"Q3523120$ECA14BE7-A25C-4DFF-ACF9-4F0682A9678F","rank":"normal"},{"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":"5958ac904f81762cc6f5cd2ff721584110f0aa47","datavalue":{"value":{"amount":"+0.6915508508682251","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":"Q3523120$296097AF-6A46-4003-B517-2367EBC3BA14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523120","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523120"}}}}}