{"entities":{"Q2508377":{"pageid":2519120,"ns":120,"title":"Item:Q2508377","lastrevid":49941169,"modified":"2026-01-12T05:00:28Z","type":"item","id":"Q2508377","labels":{"en":{"language":"en","value":"Remove irrelevant atomic formulas for timed automaton model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5062816"}},"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":"Q2508377$E9D4D8B9-DB9F-4EF6-994F-70162283E2FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2746a2af891b63c25a678e2e1da50a38ad4d92be","datavalue":{"value":{"text":"Remove irrelevant atomic formulas for timed automaton model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2508377$C213E5E0-0ED0-4400-918F-4AE3EB992B9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba164d4e3bc0d4cf973e02dc864c696ef9f8014e","datavalue":{"value":"1190.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508377$3ED5A556-CF59-4557-8B74-56529D49AF18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a98e6614f60f23515bb13872cde66e70c4c6c9d","datavalue":{"value":{"entity-type":"item","numeric-id":182347,"id":"Q182347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508377$175A2A7A-A388-4091-A25B-917335D21ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec021d406bd7a844cbd05fb52deb4856c66a1660","datavalue":{"value":{"entity-type":"item","numeric-id":265518,"id":"Q265518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508377$139AC44E-CBD6-472D-920B-1D4B9FE79DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ad75cbc7b202078ece6ef2ab63950e2c3e76530","datavalue":{"value":{"entity-type":"item","numeric-id":201218,"id":"Q201218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508377$3DEF46E4-AA70-4814-98AA-0562520FA6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3852316af958c20178ec1a1e2d66e86501196c69","datavalue":{"value":{"entity-type":"item","numeric-id":280413,"id":"Q280413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508377$7B89C345-0FC1-4E4C-B3EA-647476093F7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508377$B00138DD-D7B9-4BAB-9FF3-774F08A994C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"878e492743d59f168de33092ec560f832c2dc226","datavalue":{"value":{"time":"+2006-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2508377$4374B4A0-5CF6-487D-9DAF-CD46CEE94D99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508377$9BFFB549-5E09-4D5B-AA8B-99795850975B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508377$F05921AF-45CF-4871-A79B-55B987C29738","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ce74939c4949231a5a61aa2db4d503d017516a8","datavalue":{"value":"5062816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508377$CFCBC23F-6E3C-4C1A-93D5-DB1C7CC0BEE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a2334df3bf6d3e1f4f86dff28df8564bc1f0d","datavalue":{"value":"formal method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508377$1D5BA028-183D-4A28-B512-E8052A52670A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508377$2212133A-3741-4BC0-A468-8FA057A005DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561abd8670388ff9e3e0e66e81347de6b0fa97be","datavalue":{"value":"timed automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2508377$B8FF2B6F-EEC6-4767-84F3-CA0A2EEDCD40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508377$3638F890-C101-43E0-A1C0-AF23874C3A00","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":"Q2508377$8DAF7214-6D30-473D-A497-1A4E309EC0B0","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":"Q2508377$6CAE08C9-EB42-4D10-96CB-3FC2D3EC16F6","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":"Q2508377$B88F2C8C-11DA-4ED3-B4C3-F216AD2D2532","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"685665bfce2edd43e8ffbc97dc3e032325b12b16","datavalue":{"value":"https://doi.org/10.1007/s11390-006-0041-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2508377$91E769F6-4CB8-4753-A883-42F306A633EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e901240038a36a4a2911e43ce59bdce0c6a75264","datavalue":{"value":"W2067825798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508377$FBD1FC0E-14AD-4C0B-9DC3-DD9526EADE83","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":"Q2508377$61E028A3-ACAE-4C54-898D-7F087468840A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508377$6B694B8A-E98F-4C09-978C-608B1DAD820D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc88f1c71b4ba9d43fcdbc4c6fe9170d8882fc3","datavalue":{"value":{"entity-type":"item","numeric-id":1587334,"id":"Q1587334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508377$674EA58D-940B-4FD5-8B1B-8106E85F9F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5479604910114b9851d3198df7eb1c1c6021359e","datavalue":{"value":{"entity-type":"item","numeric-id":1433946,"id":"Q1433946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508377$DED46AC7-9C9E-4C51-A4CB-8E83DDD72980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1431b1d28c35765997792dcf4749c05511b1250","datavalue":{"value":{"entity-type":"item","numeric-id":5717500,"id":"Q5717500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2508377$C0935E41-7459-4E89-98E7-57679C4AE918","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03b894a16a502fae8eb7cd9fabb922098c82e160","datavalue":{"value":"10.1007/S11390-006-0041-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2508377$D898819B-884D-41CC-8679-58F38EA77FDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14cf91ffda78fc82f73b031998843f5189718bb8","datavalue":{"value":{"entity-type":"item","numeric-id":5717500,"id":"Q5717500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"185150492ed5ea38333bed25cefab604174954ac","datavalue":{"value":{"amount":"+0.9289987087249756","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":"Q2508377$B81E978E-D83A-4E2B-82CA-365BE3432F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9cb91bc238bbdcc6684bf1464f7199647115521","datavalue":{"value":{"entity-type":"item","numeric-id":4818755,"id":"Q4818755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e28577f53c5310a8c88c5f55bc755d60ee734a36","datavalue":{"value":{"amount":"+0.7622086405754089","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":"Q2508377$C07E8544-7F6C-4F4F-A518-2EED0C6A5F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db01d7746b354d149ddaa4f5d652b8a9c7e816c","datavalue":{"value":{"entity-type":"item","numeric-id":4461759,"id":"Q4461759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32655a86268482d7e6e16b9459188c696d67cdfd","datavalue":{"value":{"amount":"+0.74570631980896","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":"Q2508377$20B215B7-24AC-43A7-9A66-111844998EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9820375f007d27aa50d4bc854f27bf0b338b516","datavalue":{"value":{"entity-type":"item","numeric-id":2044206,"id":"Q2044206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f96ac97b9aa30d7e8cccc961f35a1c2ea679b9d","datavalue":{"value":{"amount":"+0.7354241609573364","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":"Q2508377$CD343F72-CEB2-4F05-8E8B-F457A2340BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe7a4da470e4422d10b6f2ca36602696c3d9310e","datavalue":{"value":{"amount":"+0.7350107431411743","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":"Q2508377$9388CEEF-C428-42C3-B93A-E4DA8E6FFD96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2508377","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2508377"}}}}}