{"entities":{"Q2827458":{"pageid":2838196,"ns":120,"title":"Item:Q2827458","lastrevid":83384945,"modified":"2026-05-07T07:29:02Z","type":"item","id":"Q2827458","labels":{"en":{"language":"en","value":"Extending testing automata to all LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6641159"}},"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":"Q2827458$E4722AD1-706C-41C6-BB39-C6DC49C3996F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b416881730d92c93d5e7f6864c6a947cdc17d88","datavalue":{"value":{"text":"Extending Testing Automata to All LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2827458$C1EE3287-691A-4BC4-8F76-902170AB90F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c393bd11c4339a637454e8177c65c9e9d1216c77","datavalue":{"value":"1347.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827458$2E6105C8-4D99-466F-98B0-E6D882682D66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1a281447a3a17315cda5c7b091b486e6031bbb7","datavalue":{"value":"10.1007/978-3-319-19195-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827458$5A97B464-E8E9-45C7-B8EB-4856CFFBC585","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":"Q2827458$F527CDB0-09C6-4152-838D-2CA86D972FB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8e0f6f00e5973d13e51da0f168b1db06ae6cf95","datavalue":{"value":{"entity-type":"item","numeric-id":2827444,"id":"Q2827444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827458$C368E619-3175-406B-94A4-F13CCD7EB47F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1535619fd8f94633f3128b0ce8819699cf6d5d0","datavalue":{"value":{"time":"+2016-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2827458$83A5A9E1-BEAF-4652-933F-386761764D14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48a762a3980bb8a80f4d16f15c439f3afe1cec66","datavalue":{"value":"https://hal.inria.fr/hal-01767338/file/978-3-319-19195-9_13_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2827458$2C147841-E44D-4931-B19B-D5E6D08DD115","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827458$9E9E9A08-3731-426C-BB5F-5DE796CFE7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827458$4C518160-988A-43E6-A6AF-81DC374793A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c1e2a768baf1ffe71fd7ebb718f721691337fdf","datavalue":{"value":"6641159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827458$53770B89-A6F9-478C-AD83-05943387CE58","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":"Q2827458$B9C843D2-1DF6-4D9A-94D1-4F2DF9F28F4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85274fb4f252607ea602ec60587fa230639fb5d5","datavalue":{"value":"W2220943244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827458$C1C3A840-87E8-4E18-A007-E165A29198ED","rank":"normal"}],"P1643":[{"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":"7d569f406911aaba4ae1c85e087e4f80922763ab","datavalue":{"value":{"amount":"+0.895154595375061","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":"Q2827458$A48F2381-AE82-4129-AEB3-BFA0A2545410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba9e94f7da919646b512e66748220e23769975a","datavalue":{"value":{"entity-type":"item","numeric-id":2799207,"id":"Q2799207"},"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":"Q2827458$64483412-79C2-45D6-BCE8-8F3E6CA74716","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":"3d5e2e72f22bd45985ccccb8e4007c34633498ec","datavalue":{"value":{"amount":"+0.7933648824691772","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":"Q2827458$9E3D4234-638A-4E0F-9685-1FA560E36150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158a2323997b94c16657c9ed7ce662395188f801","datavalue":{"value":{"entity-type":"item","numeric-id":5491174,"id":"Q5491174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c80c0cf2f96e7ac80a824626c83e9a2d905c95a","datavalue":{"value":{"amount":"+0.7655960321426392","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":"Q2827458$8DE65F53-BFA7-4A5E-A223-117B70672A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc9aea1b951655a49141d76560061ff598a3106b","datavalue":{"value":{"entity-type":"item","numeric-id":1633083,"id":"Q1633083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a52db5d67dc82fc60318da04add508e3caace4","datavalue":{"value":{"amount":"+0.7564277648925781","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":"Q2827458$944FD443-F9C6-4BB0-84CD-C5EEADB61B1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending testing automata to all LTL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extending_testing_automata_to_all_LTL"}}}}}