{"entities":{"Q2821258":{"pageid":2831996,"ns":120,"title":"Item:Q2821258","lastrevid":83734457,"modified":"2026-05-07T10:33:12Z","type":"item","id":"Q2821258","labels":{"en":{"language":"en","value":"Abstraction-based verification and synthesis for prognosis of discrete event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6628371"}},"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":"Q2821258$B7BB3966-76CB-43A2-AC7C-0DDC4E6A5437","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54f65505876e784f5f3fb645f956c60e4e590864","datavalue":{"value":"1346.93263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2821258$8EA6DCBD-DABE-425B-AECA-250D90C387C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a367e4d2b47ff55a0ca4f5c55bb455fd64fbe360","datavalue":{"value":{"entity-type":"item","numeric-id":2821256,"id":"Q2821256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$01CF909C-2CA6-43A2-A826-F4040DA548E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb69475f964c824b4dc1c6390d62745adf8316dc","datavalue":{"value":{"entity-type":"item","numeric-id":2821257,"id":"Q2821257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$98204D7D-48C9-429E-9327-7A2055ABE768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48b627e529758f1d91e87f9dfa561d88d2d06bc8","datavalue":{"value":{"entity-type":"item","numeric-id":225308,"id":"Q225308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$2887B377-6737-4AFF-81B9-E5196DA6A607","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a339d38578f9ea3c4a810c6814ca082b0d20b6d","datavalue":{"value":{"entity-type":"item","numeric-id":2789888,"id":"Q2789888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$C0265361-819B-46E3-B500-5BA46EEAC3F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a15316c74cc3c26bd4bdf036ebc5fdcf0b12b300","datavalue":{"value":{"time":"+2016-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2821258$659AC1A1-D6E5-42E1-828A-A0122FFBEC1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2821258$4BF106D7-CC0E-440E-8E81-72800B5E2E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49ef3b4797600cbe976ece1a8c01b3a77e72fdd2","datavalue":{"value":"93B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2821258$C7A132F6-8C9C-456C-9704-ECC02504EB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2821258$11391D92-68E8-4EBB-81B2-4AF0A60DDE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"135781118dc2933c1f9d2e0a6913db02c2f6d7fa","datavalue":{"value":"93C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2821258$A3102215-2B5C-40B2-A736-88CB6A8743BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87fbb3d0e5cf0c1a617319d417e91495aaf76d25","datavalue":{"value":"6628371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2821258$72E9BBA3-D1D2-4E3F-9C86-3F43F8C2AA99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd59b8d9f40734ce5500c0914b2d395cf8fa16fc","datavalue":{"value":"discrete event system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2821258$B0B2FFDE-CB8D-499E-9629-45A5B61545F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cddcabf41878067652cf2c4b95126b38483a3","datavalue":{"value":"partial observation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2821258$8CAF2594-8776-4E29-9443-88016F83AF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c9bf445bdcefa16a6223ac1378cb80f9f00358","datavalue":{"value":"prognosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2821258$59F60405-52C9-478D-A4C1-B7F1650A8938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2821258$BE3FEB21-1375-40DB-A7FB-0D68B8EBFFA8","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":"Q2821258$6223712C-6606-423C-BC35-9A691D10B485","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"603e1347412e8dafa10dfa37bec5e6b363f87d8d","datavalue":{"value":"https://doi.org/10.1002/asjc.1210","type":"string"},"datatype":"url"},"type":"statement","id":"Q2821258$BCCB9465-F36C-4A6D-918F-4A01B6E094C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbdeabbf5abf5de4edaaa176089163aa6ceea532","datavalue":{"value":"W1937433945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2821258$77B70247-D049-4CA1-BAD2-503204E2359D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1cabe91680f97c42516886ceb64827a1ccea34","datavalue":{"value":{"entity-type":"item","numeric-id":1012718,"id":"Q1012718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$BBAEF39E-DBB6-4944-B00C-D9C9A953EA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3846392df03162352b6465cd6877284af7ce7c40","datavalue":{"value":{"entity-type":"item","numeric-id":5273787,"id":"Q5273787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$BB51CD89-3B46-4043-B34F-85EEAAB9E393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce516e396cd0b4703382dbfae2e459a5a4a11e9","datavalue":{"value":{"entity-type":"item","numeric-id":4978656,"id":"Q4978656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$132D84C8-E4C0-4B42-BFE3-03B27ECC6B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3070839e9840e6191834d7eb4c99307984a84b94","datavalue":{"value":{"entity-type":"item","numeric-id":5347583,"id":"Q5347583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$88A980BF-3AE7-4332-98A8-A89F113F1861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9350b463166f0e270eb3789757832f4ad538deef","datavalue":{"value":{"entity-type":"item","numeric-id":5352819,"id":"Q5352819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$4E702C43-3167-40C7-81A2-29B8849C256B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee700e0f5fdc725e7cc057fc9f8e42e1f8fb7038","datavalue":{"value":{"entity-type":"item","numeric-id":2342521,"id":"Q2342521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$15A1A979-1DA3-4EA9-BB7D-856A617DDB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a20e118eda526d5dbb6a9d23727582cab0451db","datavalue":{"value":{"entity-type":"item","numeric-id":2982704,"id":"Q2982704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$6FD4556C-601D-4BFA-BE59-8B5C85D9A6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7aa45df6c6cbc4d17f06086b07362d85ebb7b6","datavalue":{"value":{"entity-type":"item","numeric-id":2842660,"id":"Q2842660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$AF9CE6B5-39D2-44B0-8AAE-06767BCC5504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d23fb6a29cb37af6d2235ccbe3c6f5601eb21cf","datavalue":{"value":{"entity-type":"item","numeric-id":5962026,"id":"Q5962026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$6C570E88-B1BC-471D-A5BE-ED3DDD996843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5fa44f861999b639239720f776c5cc117fc3b4","datavalue":{"value":{"entity-type":"item","numeric-id":445939,"id":"Q445939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$4FF5D718-7DDF-4526-AF66-5B9A1F93B877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59ccfb596b02d57aab3d7965825add95aca4653","datavalue":{"value":{"entity-type":"item","numeric-id":5353060,"id":"Q5353060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$EC57F324-E715-4636-800B-730C49CC551C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f28b39adf7f2eb48c9703cb2be9f216a2ef0298","datavalue":{"value":{"entity-type":"item","numeric-id":2983297,"id":"Q2983297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$6F069966-A383-4046-9AD0-BF88BC33B48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f5457a0a1d8f47fb841044782d1f1ee4523109","datavalue":{"value":{"entity-type":"item","numeric-id":962191,"id":"Q962191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$D4BC78EF-0D6E-48D1-8DB4-5D3A5FBB3368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$07EDA273-4C43-4178-8FE8-D8E3B16BB93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0bf3971fc09378d83148cd3e85fc26c40f134eb","datavalue":{"value":{"entity-type":"item","numeric-id":710695,"id":"Q710695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$25585482-01A0-4073-B923-7D94EB7D6972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db03ae23b54f74c437ab68d89cbbad8954a9c93f","datavalue":{"value":{"entity-type":"item","numeric-id":1102899,"id":"Q1102899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$06B82866-1F58-4BE7-8ACF-6D6CA83536F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda7863432bdf6fc9332185257b16e0d61f77f39","datavalue":{"value":{"entity-type":"item","numeric-id":3780844,"id":"Q3780844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$8AE933CE-236C-4DCF-9CDD-B4F0ED6CC1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5be8b6a254ca014c79c06413f6f1e42cf041e21","datavalue":{"value":{"entity-type":"item","numeric-id":2563779,"id":"Q2563779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$5B0E9F3A-CD31-43D3-B019-BBD7952A0C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae51a19d8bf2bd6e60ff8b2707579e82de223d9","datavalue":{"value":{"entity-type":"item","numeric-id":5962024,"id":"Q5962024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2821258$8BA89478-915E-4F8F-A6D1-46FDC5753517","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":"Q2821258$AEC18857-F823-4DDF-AB07-64A933F762C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f2990574ace357e640524408e02799738f20118","datavalue":{"value":"10.1002/ASJC.1210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2821258$E1E6758D-1BD7-400A-BA74-5783059B1E05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b1255e5d6a3d5c43eed2c1d536ddfb92caf29f2","datavalue":{"value":{"text":"Abstraction-based verification and synthesis for prognosis of discrete event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2821258$7EA5332C-EB8E-4F98-BD88-1575D283B56D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25f464766efa85a167d63297c8c0343cba9cebf","datavalue":{"value":{"entity-type":"item","numeric-id":2342521,"id":"Q2342521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed7abc097782777ea6d768443a27cadfb564186","datavalue":{"value":{"amount":"+0.8183174729347229","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":"Q2821258$2F9F4A71-577B-4B10-B620-BBCFB2F10302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ad73dacfa2435f1a2ddb39d27469d128b5b541","datavalue":{"value":{"entity-type":"item","numeric-id":962191,"id":"Q962191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a94415be46c07fa709c43d99bba23e5b3d2edb34","datavalue":{"value":{"amount":"+0.8103673458099365","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":"Q2821258$9ADD57F0-0573-438B-A314-B601C0E80245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a9fe1ff674ea3980a7475f0f90661a03bb9981","datavalue":{"value":{"entity-type":"item","numeric-id":710695,"id":"Q710695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ebe1b3144f6b1e0d6fc1159606a1af4e49d777","datavalue":{"value":{"amount":"+0.7952299118041992","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":"Q2821258$85257115-CEEE-4C25-9823-8ACCA760E6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0da2f7948bf46503e5e79a9d50bb47658dbdc13","datavalue":{"value":{"entity-type":"item","numeric-id":286345,"id":"Q286345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc65f709c96884abe900a517ce5218d2ff79af0","datavalue":{"value":{"amount":"+0.7679511308670044","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":"Q2821258$C0F4CD53-A327-4B02-95B3-CB9321FB1423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f625247aefd01f39c160688ebed4a928c302f35","datavalue":{"value":{"entity-type":"item","numeric-id":5143040,"id":"Q5143040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41bba6aba6b532e12c0c8646bb7bb61f2d00c6a7","datavalue":{"value":{"amount":"+0.7541752457618713","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":"Q2821258$07608C85-6F3E-4736-873C-79E26268FC51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstraction-based verification and synthesis for prognosis of discrete event systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstraction-based_verification_and_synthesis_for_prognosis_of_discrete_event_systems"}}}}}