{"entities":{"Q1878915":{"pageid":1889657,"ns":120,"title":"Item:Q1878915","lastrevid":73393200,"modified":"2026-04-14T15:45:08Z","type":"item","id":"Q1878915","labels":{"en":{"language":"en","value":"Checking finite traces using alternating automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2100114"}},"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":"Q1878915$F16E6A68-5CC6-4341-81BF-04645BC24039","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aac3f0ec10412c026d0ad8a163d5ac72952b6b13","datavalue":{"value":{"text":"Checking finite traces using alternating automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1878915$55D901C3-3C21-494B-81B7-F8D32FB96735","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40719fbf67ecf4ab8ddca2684fe75b9fb5648fe7","datavalue":{"value":"1073.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878915$75F192B4-A80A-42D1-AC16-32A77921B46D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"331293964227072a215ae0444b636e4c2fbabf34","datavalue":{"value":"10.1023/B:FORM.0000017718.28096.48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878915$AA489581-8B53-416F-B1D4-72A51AA6E1B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878915$F398E9CF-A5D0-4790-9518-2862718DCD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f855518fb46fa7dca45fa528b8f90a55e336b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":812050,"id":"Q812050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878915$21F10A99-DD43-4852-BC2C-BAD4705CE6C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878915$E0BDA855-D4A6-4991-ABCF-33BF4304BACA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc8e387439babbec1a2d663e85f838dd62ec5da","datavalue":{"value":{"time":"+2004-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1878915$CCC6AFE9-009B-4B8C-9EC6-B8A593973D29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878915$61C60313-6C2C-4575-9786-05E6D36B17DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878915$5D877B56-2A2A-4073-AB79-47580B11CCFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"534c5ab9f93dc3923fb2b4c1d05eb61afaa1b07c","datavalue":{"value":"2100114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878915$ACBBAEBF-AB81-4A85-92F6-DD391C09DA1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878915$B272CE7A-16BE-4703-9284-E70898DC6621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878915$FE550DC2-53D7-4022-A68E-B12656E56AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ff22b9c6981a3ae21cb6b5816c842d13ec2d2bf","datavalue":{"value":"trace checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878915$7CBFA62F-9C7A-4A7E-A9A3-7A39E0B1E010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878915$74C68412-0549-4EA4-A29B-FF90CF544AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9f783bd2e479849f032b497f2dafed105fe57da","datavalue":{"value":"online monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878915$BABA5C79-4E00-46C6-8B2E-B62ED12C89E5","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":"Q1878915$F89B4708-C70B-42E0-8650-07434F4650F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4b83a025725df70d00421fd10e6fc3cea39ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5234701,"id":"Q5234701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"349a86c25a7b6aa5d586422435b1fc557be14840","datavalue":{"value":{"amount":"+0.7671825289726257","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":"Q1878915$10AD24AD-2EC3-47D1-BC19-D8658740AD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc092105d94b8572030033b080298718d2b7e85","datavalue":{"value":{"entity-type":"item","numeric-id":2324226,"id":"Q2324226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebdc8b55748585c154d242100f1226e76bb00dcb","datavalue":{"value":{"amount":"+0.7326265573501587","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":"Q1878915$652EF403-4FD5-4CA1-9580-78D17ACB6802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024cbed37b7fde1e1dac412cf215393e649fe204","datavalue":{"value":{"entity-type":"item","numeric-id":1407321,"id":"Q1407321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbdc74fa85154b69d93fe29e507d0023c791fee6","datavalue":{"value":{"amount":"+0.7309641242027283","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":"Q1878915$42320D71-11BB-4F22-B17D-B2A89DB1A386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d40231387beaf7ea0987689eb1ffa89d9ee4967d","datavalue":{"value":{"entity-type":"item","numeric-id":812051,"id":"Q812051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ae8574b492da93d9a3ea7f213d920b41146ffa","datavalue":{"value":{"amount":"+0.7235458493232727","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":"Q1878915$5DCBD86D-D8F0-45A2-89C9-477EA65E83CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d911d0e7bc1e0f422691b4ac17253b29b112141f","datavalue":{"value":{"entity-type":"item","numeric-id":2900185,"id":"Q2900185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609a9c954de07e34fd522f02d3bcb4e6fd717197","datavalue":{"value":{"amount":"+0.7214523553848267","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":"Q1878915$BC69531D-698B-4679-A95D-4BB67A8DA2B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking finite traces using alternating automata","badges":[]}}}}}