{"entities":{"Q5883583":{"pageid":7913134,"ns":120,"title":"Item:Q5883583","lastrevid":47829952,"modified":"2026-01-02T19:49:26Z","type":"item","id":"Q5883583","labels":{"en":{"language":"en","value":"Quantitative Model Checking for a Controller Design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7666556"}},"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":"Q5883583$2A03D5E1-E4DB-43D9-8160-4B299E15D875","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b38f75319a56fd5aec0207920cb7305082ead28d","datavalue":{"value":{"text":"Quantitative Model Checking for a Controller Design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5883583$7CF328F7-FB1B-440C-AE68-F9DD03B2AE51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4083cfefe75e9eaec05b6d45eeed76f72d92a99","datavalue":{"value":"10.1007/978-3-319-94111-0_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883583$240334D4-0EA3-4090-A351-0DE36F0EF655","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e57507c35f4ca94183703ddae4f33cafd6b23935","datavalue":{"value":{"entity-type":"item","numeric-id":2234090,"id":"Q2234090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$B25B0431-32D7-4567-A5E4-8AB887F9EFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ac5d72dc82d80a692370f9be2d83e2596bf756f","datavalue":{"value":{"entity-type":"item","numeric-id":545131,"id":"Q545131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$9BF887B8-F16B-44E3-98F1-76DFD2342844","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"522e9e5b50831c9c990a6ebdcfb4c44f217acf10","datavalue":{"value":{"entity-type":"item","numeric-id":2814620,"id":"Q2814620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$96FED5C8-6197-4198-9B34-358780C58633","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9db9aab8c47e8de7d6375c30693ffa43d749cd68","datavalue":{"value":{"time":"+2023-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5883583$DB6BB7C4-50B6-4F23-A9C5-F668AD8C3198","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883583$F847A47C-6D20-44CE-AD80-E7C2FD9661B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883583$D5887AED-9F4C-44C0-A0EA-BC376C3E7244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883583$CA5357A2-8E31-4500-9515-4BD50C2392A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8abf72cee80917c29539cd992595b9efcddcf2d8","datavalue":{"value":"7666556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883583$2CDDEFA8-1576-4435-BE17-7E428189252B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$D6EA1FD0-80DC-4630-84F4-B9F8458CEB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$B734B6F0-3A80-488F-999C-769F5E9B286F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$EEF610F8-A121-437D-B291-B310A85CCEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22fc318c6c2e42dbf1c86e8b56323826ebc2c596","datavalue":{"value":{"entity-type":"item","numeric-id":14528,"id":"Q14528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$E7CF4EB9-7732-48D8-9B01-BC5ED5BF4560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$5285B3D5-FEBD-43D4-B332-EDE1509D2B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6df112174e3fed9a67e1e0c9a221e45f5bedc50c","datavalue":{"value":{"entity-type":"item","numeric-id":23842,"id":"Q23842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$C8C13B90-F776-4BA5-80ED-DC6DA93DC98F","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":"Q5883583$BAE8945E-844E-465A-B7C3-D8D13AED31AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f11559fa6d55687f181f2bbc21baec4f9f163606","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94111-0_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5883583$2EC8759B-AE40-43F1-980B-D37A617CA8C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3548c1bc80a90924cf7563514e9ff31c393054cc","datavalue":{"value":"W2808638412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883583$B9A5FC6E-2BE2-48A6-8116-9F7A152FCCB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$D8573EA6-4F83-4F5B-8E58-5A269CA60C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf5667edd20bf607f41849b86ac22a0984c3e35","datavalue":{"value":{"entity-type":"item","numeric-id":883144,"id":"Q883144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$33CA100D-867A-4DB0-A4A4-70442D05E283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20088838b4f3ffa48f33c282f01143698cba154d","datavalue":{"value":{"entity-type":"item","numeric-id":4978661,"id":"Q4978661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$6B9C15B1-CFE9-49DD-81D6-F2334084C170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1964c95e59063e92317da65c8b196839c0f5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4974124,"id":"Q4974124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$27F2C494-95CB-4D44-8842-D4591F94F484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea12181fbd7544dfb9b8e4733dbce4223cc0353","datavalue":{"value":{"entity-type":"item","numeric-id":3523118,"id":"Q3523118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$4C8C4371-8CB5-4ECE-95D7-ECAB8D882036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f719ece3bd7d435197cdea3754e2944a3a9b0c","datavalue":{"value":{"entity-type":"item","numeric-id":2982511,"id":"Q2982511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$57049367-1A65-493E-8024-2E2063DF46C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$E7E12981-5DAD-4F22-8106-192CCB9E9992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8ad98750fcd08c9a8f3be99c0b013a08ae3ff9","datavalue":{"value":{"entity-type":"item","numeric-id":5353268,"id":"Q5353268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$9BA4457A-DA2F-466F-A358-CC8795981314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e3b9df9732709b6cdfb48cb496d9f8ca576a6a","datavalue":{"value":{"entity-type":"item","numeric-id":3328350,"id":"Q3328350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$C6E1349E-13FF-48C0-A9F2-9F156390F8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f5e7b9368615051c1055b4de5c53078517205c","datavalue":{"value":{"entity-type":"item","numeric-id":5281987,"id":"Q5281987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883583$6A8B0BE4-1A6C-410C-BCA5-F2F3D4213C43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ca38605e2403b0f741c8814ca4f78de65a1698","datavalue":{"value":{"entity-type":"item","numeric-id":3523118,"id":"Q3523118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f81d2b499f5f688483458149c3d9cdedf08bb6","datavalue":{"value":{"amount":"+0.7297762036323547","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":"Q5883583$F13A6D75-15DD-41C9-BE3D-6B1C18C91D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d069ca0a3025cc17cda9d8c5c7ab089b4215457c","datavalue":{"value":{"entity-type":"item","numeric-id":3564226,"id":"Q3564226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd612ce66273fb32bebf544ac1c68eb397c231a","datavalue":{"value":{"amount":"+0.7172289490699768","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":"Q5883583$59019DA5-F2DF-4E67-8162-43361931DDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2654e74f0e03f13213aad62dbdeb761aa116cb17","datavalue":{"value":{"entity-type":"item","numeric-id":5712280,"id":"Q5712280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1017e71ba5ed5df25d96bee362258871b600cf0","datavalue":{"value":{"amount":"+0.7136008739471436","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":"Q5883583$0EDAB5C5-46A8-459F-8CE3-A4B8E3883409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edb80138ef17fb25c30e8e5426ffce7cab6fa4e","datavalue":{"value":{"entity-type":"item","numeric-id":2234091,"id":"Q2234091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd5ad53a8fd6b2ee74951a5c787ee014e01ea2ed","datavalue":{"value":{"amount":"+0.7044344544410706","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":"Q5883583$7CF9B2C0-D061-425D-A824-CE425DE0AF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e6c14312e120afd21142a531f1ed099d49ac10","datavalue":{"value":{"entity-type":"item","numeric-id":2986756,"id":"Q2986756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0b07f3bc60ff9a1344785cba7eb4d2ba536f8c","datavalue":{"value":{"amount":"+0.7035718560218811","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":"Q5883583$FBAAD92A-B64E-40C4-ADBD-2BE437C8D8E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5883583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5883583"}}}}}