{"entities":{"Q3526548":{"pageid":5556452,"ns":120,"title":"Item:Q3526548","lastrevid":50462576,"modified":"2026-01-14T02:59:16Z","type":"item","id":"Q3526548","labels":{"en":{"language":"en","value":"DECIDABILITY AND COMPLEXITY ANALYSIS OF FORBIDDEN STATE PROBLEMS FOR DISCRETE EVENT SYSTEMS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5346935"}},"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":"Q3526548$A77140D1-E6D9-4E5A-B40E-FE9106159CFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4e5c3f70c119124b756687ee68e9052f1c1c65e","datavalue":{"value":{"text":"DECIDABILITY AND COMPLEXITY ANALYSIS OF FORBIDDEN STATE PROBLEMS FOR DISCRETE EVENT SYSTEMS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3526548$ABBB0F95-DC41-4B95-917A-A1A720741442","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e361a4ede5fbc54283c53b491d044c0f19e247e4","datavalue":{"value":"1155.93032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526548$149003A3-ACB6-4069-B6DB-62FABFC9EA2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96fa2a81f001ad439ce3ce409a7daa28622cd967","datavalue":{"value":"10.1142/S0129054108006091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526548$BBBFF845-CAA4-4146-B9FC-C7F4A07A4402","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef70989854b46304c6274e59f7064331acfcdafe","datavalue":{"value":{"entity-type":"item","numeric-id":344509,"id":"Q344509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526548$1E75DB7B-799A-4FAD-A164-FBF482A1F19B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526548$FFFF6CDF-67B3-487E-8F18-8CB1C1EA49D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3526548$A774AC57-B30A-4866-9E2C-E62EFF6417AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526548$A69EF9DF-9BE5-4FCB-890F-2DDC64EE6054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526548$7898EE13-6B6C-4469-9071-769660444CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526548$8FC25812-B87C-4A6E-9DD0-1B8F7FA0AF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526548$0F4D7052-376F-4DDD-8C73-114E7F34CB2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"875fecdcd6b4728d3067992b388f77ffc016afc8","datavalue":{"value":"5346935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526548$BED8DAF2-7081-4F57-899E-DB8E4761BAC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526548$3F8B2DBB-4745-4C41-A1E7-438FFDA5B6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d20f9a7bf68f36cb286fd3f0b9187d1a93b678d1","datavalue":{"value":"forbidden state problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526548$6535A8C1-31D4-4F7F-8144-67B92B558093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526548$B227E6F8-FF94-4F81-AFBB-9945F75BB25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526548$C428CB58-0B7C-45EC-8FAD-84C014B6DED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b18d0556e82164c598e4144260e1014c82ac080","datavalue":{"value":"control policies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526548$9BF8EBB3-958D-444E-9BA6-A95568302B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99dc82958d2684736582940cc5344b9eac333b0","datavalue":{"value":"non-blocking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526548$E36B7F1A-A2B6-4B4D-B93F-FF0FCEBBEB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526548$0A194560-681F-437C-AEDB-0EE808E36AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cf2cc8de0cc244f7a30a27a851802c8288e9acd","datavalue":{"value":"finite state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526548$1A54AF01-5660-408D-908A-5E27C03EDA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3526548$A21A2FB8-A331-45E4-82C2-9CEDEF299448","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":"Q3526548$58A9468F-3229-4FD3-B8DE-2390D1F5562C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"478785c1dbc366c9782cb19b7db71424ec4c2e99","datavalue":{"value":{"entity-type":"item","numeric-id":805257,"id":"Q805257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526548$C657F862-0028-4819-8592-E3F763138D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373c65ef4069b52a23fe230e08a271e32f56a00a","datavalue":{"value":{"entity-type":"item","numeric-id":1235982,"id":"Q1235982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526548$4CC4B51D-E269-4730-BBAB-25DDD5AC02CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526548$E8DB9E0D-5369-40DC-AAD0-F5F70B60A3C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2c7957b90e28496eff630d5e215e75b33b0c430","datavalue":{"value":"https://doi.org/10.1142/s0129054108006091","type":"string"},"datatype":"url"},"type":"statement","id":"Q3526548$07C466D6-79E2-4E41-BD21-6E283B75B4B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ce6c504d3dd2795177591fc0ae968b0cabbad11","datavalue":{"value":"W1971272734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526548$C588AD47-BEA9-44B1-BDEA-131A6F996415","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79d80c702897c29318c585518f6e3d27b2a7100","datavalue":{"value":{"entity-type":"item","numeric-id":4859708,"id":"Q4859708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca3063023edcfbdcac8a7c7ff304ed07af93edf","datavalue":{"value":{"amount":"+0.8195850253105164","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":"Q3526548$246B4067-9622-4161-8C76-4131B9B100A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"282935ef7ee6e972a74260e54dc85f917b524b1b","datavalue":{"value":{"entity-type":"item","numeric-id":4850272,"id":"Q4850272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f558a71d9e805acb2fe3cf53fe9085a864ebd53","datavalue":{"value":{"amount":"+0.8186861276626587","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":"Q3526548$CFFF2C3C-7B39-423E-8AE5-185CE4315A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d63027c66865a438b171fb8901de7a4a2fbea21","datavalue":{"value":{"entity-type":"item","numeric-id":2656745,"id":"Q2656745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0dd18d13fea746d8a37c7d24e522de516477e1","datavalue":{"value":{"amount":"+0.8002432584762573","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":"Q3526548$D911463B-4633-44CD-B89F-D7D37EEC2611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47097d0bd67b9d4d5d3b59daf85a07d63454515d","datavalue":{"value":{"entity-type":"item","numeric-id":2256887,"id":"Q2256887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f8170dd97d81570e0c077d787b2e447d2d37a8","datavalue":{"value":{"amount":"+0.7996646165847778","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":"Q3526548$880E9D17-ACAB-4E7B-A9F7-85B2B9F70A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d261c2c714e0f8a8eb93ba1f075067c22b54ef2c","datavalue":{"value":{"entity-type":"item","numeric-id":4886509,"id":"Q4886509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec241ce45bf2fa477e922c096d0ef88db6a884d","datavalue":{"value":{"amount":"+0.7940423488616943","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":"Q3526548$B3B2B620-3275-492B-BB66-7FBAAED0400D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3526548","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3526548"}}}}}