{"entities":{"Q6109580":{"pageid":13243887,"ns":120,"title":"Item:Q6109580","lastrevid":98893427,"modified":"2026-06-05T18:44:30Z","type":"item","id":"Q6109580","labels":{"en":{"language":"en","value":"Optimal proofs for linear temporal logic on lasso words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719930"}},"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":"Q6109580$BB984222-3801-43B2-A194-A21E348A314A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"305c70cfcb19f970d58e8c527719637ef5e533cc","datavalue":{"value":{"text":"Optimal proofs for linear temporal logic on lasso words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6109580$6BE9ABF4-5576-45D8-8336-66DA9E194B51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e39bcfb18dcbb1bb05451f4cda2abd16de7816e","datavalue":{"value":"1517.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109580$63BC2DC2-983D-454F-9100-A62FB747606E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76c4dddd98199087b9dfec1af64ad7737cbc7671","datavalue":{"value":"10.1007/978-3-030-01090-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109580$EB2A9405-1D55-4139-8ED3-21B6BEC9B16B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109580$E363736F-EDBA-46C4-BEF7-DD8669E5B4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b74c59c97cead89d09b9ac5078db0be3d443393","datavalue":{"value":{"entity-type":"item","numeric-id":2008285,"id":"Q2008285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109580$B40D0FE6-6E78-4F68-AA7C-83534D500C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"157dc0abe360dacc915db0769a2ed352a42201ad","datavalue":{"value":{"entity-type":"item","numeric-id":1687534,"id":"Q1687534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109580$9AE57220-8E8D-44DD-80BF-76E065848E13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109580$078819E9-53F3-405A-8895-BC9B3307B121","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-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":"Q6109580$8D9A673D-CDED-4C68-BE8F-8CD65F35EBF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109580$9D42F620-5187-481B-8063-605319359667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109580$32FBB92F-5233-4E18-A5EC-7042B9C625F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2342a60de739d6a2f7e1d82b4189c1f5d006b865","datavalue":{"value":"7719930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109580$86F67232-C9C1-4EDF-9E3C-EFDA3B62FB67","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":"Q6109580$585023B2-D246-4E0D-802E-01DB562CC491","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c3861ea5d01de163400f7f10a0be7980ead49a6","datavalue":{"value":"https://doi.org/10.1007/978-3-030-01090-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q6109580$BDE85471-C2C3-40FC-9B49-79ECEFCDD3DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44f3a15e464bb124abd0e2eada0fe399e0e11cb0","datavalue":{"value":"W2892751950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109580$54545A88-DE82-4708-A700-1C2870F61EC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6e684a073994f59d8dd7abc27806ae288f2280","datavalue":{"value":{"entity-type":"item","numeric-id":4417920,"id":"Q4417920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5530b3ab2802528a8f4bdfc2e189b1668ef8d0","datavalue":{"value":{"amount":"+0.7545495629310608","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":"Q6109580$D103C2A3-DB2B-4A85-8119-A52A00181406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9a0b3414298f778e3fe308573d8d1283747002","datavalue":{"value":{"entity-type":"item","numeric-id":5896950,"id":"Q5896950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5530b3ab2802528a8f4bdfc2e189b1668ef8d0","datavalue":{"value":{"amount":"+0.7545495629310608","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":"Q6109580$794B3197-3794-4028-AF0C-453DECC7B2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d69b7e9dfd277e6b654ff7071d7375079737ba","datavalue":{"value":{"entity-type":"item","numeric-id":4531749,"id":"Q4531749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93d2b29fad4c08ff538fe1b3b3d355516148817","datavalue":{"value":{"amount":"+0.7447624206542969","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":"Q6109580$148E398B-83FF-43CA-BBBC-8951236C4F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0548999ea3819cfce247dbfee40327015b772f00","datavalue":{"value":{"entity-type":"item","numeric-id":4474227,"id":"Q4474227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fca379bf65991326d22975cf62fc9f6c9b5ebe5","datavalue":{"value":{"amount":"+0.7437767386436462","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":"Q6109580$ED3AF0FA-F09B-4B50-BC3A-BA7DD2C97785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21bddd3ca190a3b9e349e7d181a51e38d0570950","datavalue":{"value":{"entity-type":"item","numeric-id":2058379,"id":"Q2058379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b438675b23ea051f61ef9ad15f5c127fd1272c9","datavalue":{"value":{"amount":"+0.7390047907829285","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":"Q6109580$7DB02289-BA07-4181-A957-410869CDDBDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimal proofs for linear temporal logic on lasso words","badges":[]}}}}}