{"entities":{"Q2799207":{"pageid":2809945,"ns":120,"title":"Item:Q2799207","lastrevid":79771922,"modified":"2026-05-06T14:40:32Z","type":"item","id":"Q2799207","labels":{"en":{"language":"en","value":"Single-pass testing automata for LTL model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6566807"}},"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":"Q2799207$9CE8CDD5-7713-43D4-8B2B-2A656CD3BEEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"562b75b916e0e9b8a0f0b7e7bacbe82b4e8f3e93","datavalue":{"value":{"text":"Single-Pass Testing Automata for\u00a0LTL\u00a0Model\u00a0Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2799207$653AB59A-C501-4481-9E42-D142316E1A30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05f8e74c6ef4b2c8fa863686f819e8dfead62816","datavalue":{"value":"1451.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799207$4BDA4C84-5046-4166-824A-AF7397868C24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d577274fdee46dd1de57c04ee218659f63205180","datavalue":{"value":"10.1007/978-3-319-15579-1_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799207$23CADC18-994A-4B5B-ABD8-99FBB8A3DABF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc6233a1b1dd2a3e4ba5a53bc0d01eb7f8c2e222","datavalue":{"value":{"entity-type":"item","numeric-id":2799206,"id":"Q2799206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799207$282FA931-2325-4DCD-8987-CA4C61B468C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799207$78204338-6EFE-4D4A-9EF8-E61C0C71080D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b86ea1a94e09e929f8289e34f06858aefd9bcd2f","datavalue":{"value":{"time":"+2016-04-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":"Q2799207$444C5955-2D28-44B3-9641-30B38ADA6260","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799207$F4ADDF70-CE41-4BE5-A56C-796602C38614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799207$264D28BA-4775-4E06-A2E7-D2A5FD2DDE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799207$8F08B089-63A6-49A3-87D8-2BE3FF176736","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61e2815222dec38740333f194ef58f9087b15456","datavalue":{"value":"6566807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799207$A36588F6-DE3A-411B-BA12-03FA385AA527","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":"Q2799207$2BC3AED2-1E4E-464B-B89D-08EC4CA83A35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b898333248031f536181b2f565829672e5ac588","datavalue":{"value":"https://doi.org/10.1007/978-3-319-15579-1_44","type":"string"},"datatype":"url"},"type":"statement","id":"Q2799207$8C172138-E542-4104-8B56-C3456E623FE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1824f34df81a804df526135ba13875a0e71ad0a1","datavalue":{"value":"W1189927232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799207$F5525D2A-60FE-44BD-A34F-DCD184775CC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e60435065cc92a9e884f8ac81f13e98fcca58c8","datavalue":{"value":{"entity-type":"item","numeric-id":2827458,"id":"Q2827458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddaf4247a48a78babace46d36170057cff90533a","datavalue":{"value":{"amount":"+0.8599908947944641","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":"Q2799207$4BE7901A-02C8-4ED4-9781-A2A105EA84B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf6f0f1c562f37d32e9cc89e9c16071382f8dff1","datavalue":{"value":{"entity-type":"item","numeric-id":4909350,"id":"Q4909350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779d32822eb21b41a46cbd96c6da277e53cb0fff","datavalue":{"value":{"amount":"+0.8344022035598755","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":"Q2799207$1C89F374-A955-4B7E-A2AC-0E38AE5E32DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437607af391ec995ebaf65df50fb4d6a29c6f1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5899036,"id":"Q5899036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80f3ff54c153d88d305ef80207b113b871b0198","datavalue":{"value":{"amount":"+0.7817802429199219","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":"Q2799207$825E94EB-5DF8-4D7A-9645-E4CD22EB0D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f5f09a1984d0a03a303ec39095aadc5588f747","datavalue":{"value":{"entity-type":"item","numeric-id":5703759,"id":"Q5703759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26eae1dfeba5114959344c2f29500a2e513e7f8d","datavalue":{"value":{"amount":"+0.7280675768852234","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":"Q2799207$E5D31252-A607-4F37-B82D-21A596842974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd46011b6ce0b0ae91c4411357cd3808b22f047","datavalue":{"value":{"entity-type":"item","numeric-id":2575734,"id":"Q2575734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71350c1c000e252058c4cc2da827ab5c190b80df","datavalue":{"value":{"amount":"+0.7180554270744324","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":"Q2799207$198F6B77-933D-441C-848C-EC6BA0246A42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Single-pass testing automata for LTL model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Single-pass_testing_automata_for_LTL_model_checking"}}}}}