{"entities":{"Q5353429":{"pageid":7383003,"ns":120,"title":"Item:Q5353429","lastrevid":96031691,"modified":"2026-06-05T10:16:14Z","type":"item","id":"Q5353429","labels":{"en":{"language":"en","value":"Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6772164"}},"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":"Q5353429$9D1A1191-F703-42D1-9A45-81837929DAC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30b4212a06a710fdb3a8b8a1da5a4ceebae8f33d","datavalue":{"value":{"text":"Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5353429$3B16888E-61DA-4656-BBCF-3643BD46EC78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41226fc2aaa936b38b4f3b9c70309370e6198d30","datavalue":{"value":"1369.93375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353429$97E2D9D2-2B73-44DB-94C9-C2538F6BD359","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0aff0f6185a84ba4da6ff204a06fc681601e779","datavalue":{"value":"10.1109/TAC.2013.2275892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353429$F0AE5A7B-9FA9-4A41-BD66-FEB3F31592F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72a0d6e1436c796420beba784a0ae2b920307a11","datavalue":{"value":{"entity-type":"item","numeric-id":785223,"id":"Q785223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353429$7CF0699E-9B0B-4598-BDD6-CBCB0BB9E9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"972257b4fdb4652491d38a8a7dd504dd55594248","datavalue":{"value":{"entity-type":"item","numeric-id":5353428,"id":"Q5353428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353429$FF983486-D5A6-4B93-ADFE-AFAAB3E80BD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353429$EF6A57C4-BCDC-4714-A420-2CBA47BCFAF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c67d8078e1a5d9d2033371c1c5369954e233b550","datavalue":{"value":{"time":"+2017-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5353429$ECE29139-065E-465E-A574-C180EA1E456C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353429$98D09310-8D54-494A-B373-E06FFC50EB21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"068c46bad7d105b8a52ad4e7705a188ba2114858","datavalue":{"value":"6772164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353429$BA4DDE64-B8AB-43A3-B814-A968E619FB99","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":"Q5353429$610910F9-34F0-42C4-9CCC-A100407CE7CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89e33687cda17cb6e07a6771afc63c3ffdf838b4","datavalue":{"value":"https://doi.org/10.1109/tac.2013.2275892","type":"string"},"datatype":"url"},"type":"statement","id":"Q5353429$8A87E9AF-9671-4740-8ECD-BD01422E35A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"036d2fb2fd8eb790a67f994e0aa4b83e78500846","datavalue":{"value":"W2026471953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353429$D91F4147-9A26-49FB-AEA5-E46AC616AFD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Diagnosis_of_Discrete_Event_Systems_Using_Satisfiability_Algorithms:_A_Theoretical_and_Empirical_Study"}}}}}