{"entities":{"Q5398590":{"pageid":7428164,"ns":120,"title":"Item:Q5398590","lastrevid":51936341,"modified":"2026-01-20T14:09:24Z","type":"item","id":"Q5398590","labels":{"en":{"language":"en","value":"Model checking for event graphs and an event temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6262581"}},"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":"Q5398590$06CC17BE-245B-4B65-B748-1E56EE444596","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc5506b572a5ccadd7c2e2ec745e30d9ea2d1449","datavalue":{"value":{"text":"Model Checking for Event Graphs and Event Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5398590$D394715E-F7EC-4647-B516-0BA6C71D707B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d3a72574a9313f9d8340035591f16f294c199be","datavalue":{"value":"1289.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398590$D0C77EE3-A886-4303-9F86-7211BEC2A710","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bd83f510219f13a1465c2cfe01643df8e62d72e","datavalue":{"value":"10.3724/SP.J.1001.2013.04162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398590$D07826E8-142B-4B5C-AACC-72E1C9F0C8D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2320e40a42f0ae5834c1af04348ee1a7346d528","datavalue":{"value":{"entity-type":"item","numeric-id":117016,"id":"Q117016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398590$CA370976-8B20-4807-8DDC-51D687F65A75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f59c18f07f3da22d2151846adbff9365f0a22d9","datavalue":{"value":{"time":"+2014-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5398590$7D774ED9-3740-4FF1-8352-392D29B6BAC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398590$7281A150-A829-4806-9D53-85F74853EF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398590$7BF1B6D4-F2A7-4805-B830-9A8C9481192A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398590$00A1B77D-0383-411D-8E88-3B4438A3F2AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e925ab875ffdc4b743472fde2433f95f4c49d723","datavalue":{"value":"6262581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398590$B75A4EA8-C08C-46B7-A663-336B993FA1D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637d8b22f3fdc177800a11ab066b9227b2c58cee","datavalue":{"value":"event graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398590$4E66DA31-EEF5-4B58-BA2E-D7ED6EBD244A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff4017876b3732313a7aae74852bca7b963b93b4","datavalue":{"value":"event temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398590$204365AC-3F4C-4723-9A08-88330A7C140B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398590$2B4F9123-F586-4770-8FD2-592F8AC64B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5e8ee6d6c130ba687d9b7eb1c058acea995f4c2","datavalue":{"value":"B\u00fcchi automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398590$CC52EF81-50B9-40B9-A574-AAA76E4F6624","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":"Q5398590$665C905D-3DD3-44D7-AC7D-778B929D2040","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d574d51ea2f7e826b188e4da88092fad31a8cfea","datavalue":{"value":"https://doi.org/10.3724/sp.j.1001.2013.04162","type":"string"},"datatype":"url"},"type":"statement","id":"Q5398590$C0618144-BED2-46DC-8D6E-A561B0E6E7EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a91cd371655408ec11b92189846f25a2cbed34ab","datavalue":{"value":"W2324167102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398590$1F3FE9D0-067E-4257-ACEB-FF4547994BBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ef9c90a8e134aec9e62ba2a093e7385752a718","datavalue":{"value":{"entity-type":"item","numeric-id":6487400,"id":"Q6487400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de0642cfd2af1ac83f66eaa8e9f989634b48eaaf","datavalue":{"value":{"amount":"+0.7641479969024658","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":"Q5398590$0810D98C-9DFA-4CBC-816F-E514A7ECE28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78c49f4b4a66df2586211b7197dd5cb5fe56a26","datavalue":{"value":{"entity-type":"item","numeric-id":4694252,"id":"Q4694252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc836f800b7bbb2ba8e206543ab4413c30765d5d","datavalue":{"value":{"amount":"+0.7513907551765442","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":"Q5398590$48074C00-63C4-47F9-8EEE-04CB65FB405A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36344bd309b4d9fa226075a0ab7bf1d14008ed74","datavalue":{"value":{"entity-type":"item","numeric-id":2988383,"id":"Q2988383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc836f800b7bbb2ba8e206543ab4413c30765d5d","datavalue":{"value":{"amount":"+0.7513907551765442","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":"Q5398590$56939F77-1035-4338-8793-4D1742CF8BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7af6db943233379bdc17fe306a84901e27a2225","datavalue":{"value":{"entity-type":"item","numeric-id":3832541,"id":"Q3832541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04ed686cb1950f143995bb843ee7a1038c4caa6d","datavalue":{"value":{"amount":"+0.7458311319351196","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":"Q5398590$257A7CE4-CF98-4115-B21C-25576A572DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9080a9d552ceeffdf221bf522f2a4ab1d3869895","datavalue":{"value":{"entity-type":"item","numeric-id":5034222,"id":"Q5034222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ea3e8c485d6104e1f126c7e32df84a2c03bfe1","datavalue":{"value":{"amount":"+0.7440953254699707","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":"Q5398590$E7688A83-4C84-4F61-B9B6-C0CDF4E56573","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5398590","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5398590"}}}}}