{"entities":{"Q3608888":{"pageid":5638794,"ns":120,"title":"Item:Q3608888","lastrevid":50592386,"modified":"2026-01-14T12:19:27Z","type":"item","id":"Q3608888","labels":{"en":{"language":"en","value":"Finding State Solutions to Temporal Logic Queries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523886"}},"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":"Q3608888$00AEFD87-FA4F-4C62-A76C-C76637C5AC01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4a178edbeea59b6770b2bfe6f3aa6e6c2ca6d88","datavalue":{"value":{"text":"Finding State Solutions to Temporal Logic Queries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608888$4A96B64B-65BD-4CA3-A16A-37757DF986FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea4bf03285f354cd4af35764d261702b4145bcee","datavalue":{"value":"1213.68377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608888$577F2396-12BE-4DA5-8452-8C9FDBA03574","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48bcbd4c851d9abfd98d8e67fdcc194842e1e948","datavalue":{"value":"10.1007/978-3-540-73210-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608888$F91F560B-8CC1-4B66-ADA4-A4B85273828C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b3042f97166acdd757178bca8e9bd8e2afdcdb","datavalue":{"value":{"entity-type":"item","numeric-id":3608887,"id":"Q3608887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608888$A714A312-6747-4AE5-B9CD-614E8D57FEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608888$C1C19140-A132-419F-A92D-7FEE388B8F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"794c304803c228a1c8e63e5a19cfb840dd5c432c","datavalue":{"value":{"entity-type":"item","numeric-id":488217,"id":"Q488217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608888$498F6082-ED7A-45CB-8DA1-DC10CF7095FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608888$FBBB161F-1947-40CC-8C79-AF6826B41A83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608888$427D2F63-F7C4-4BFA-B16A-E05BEAC32FF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608888$A3A8969C-F9B7-4A31-A134-1476E9073691","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f95ac2120fcfa50aa2ceaeeb98705f6fba3bd4de","datavalue":{"value":"5523886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608888$E9667337-79EC-46C3-8798-FC33D4AC97F3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608888$CDA56554-9A71-4989-A8C8-56247B44128B","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":"Q3608888$9CBE52D1-79C2-43A5-9AFC-1AB36CB46A20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b63209c9b15665be16a66e91caac88a381dd3344","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73210-5_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608888$876D9F23-B9F6-4ABC-8DDF-030C232C9093","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09aa97704cc9159bdf0bdd091da3369e19c9c0d8","datavalue":{"value":"W1545603837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608888$CD25678C-AD76-4FD6-99B3-DA298FC4238B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de8464950e14130c995f280fff120d425b7eb166","datavalue":{"value":{"entity-type":"item","numeric-id":2996133,"id":"Q2996133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71a6e58c31e815bb061e4be778a7c7a79f324033","datavalue":{"value":{"amount":"+0.7967215776443481","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":"Q3608888$2787AB4A-7DDB-4A3B-B274-3B6D54BEC0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62560326269fdfef0ac1d6cf81c5f8feb871688","datavalue":{"value":{"entity-type":"item","numeric-id":5391524,"id":"Q5391524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a956015f64921ee10471e243bcf10e9f7e48ff7f","datavalue":{"value":{"amount":"+0.7532947659492493","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":"Q3608888$B3F559D4-5552-4A3E-8859-9F219F1A367A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a32038638312572aea51b3a77b637bc2399845","datavalue":{"value":{"entity-type":"item","numeric-id":4413225,"id":"Q4413225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec7d9b26d0bdac96732664d0f9421ec9f1a8d71","datavalue":{"value":{"amount":"+0.7327735424041748","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":"Q3608888$BA595129-BAD9-4FE6-9705-90A01C75C946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846408758bb6e4d2687c2e21f6bb0f7344083758","datavalue":{"value":{"entity-type":"item","numeric-id":5292659,"id":"Q5292659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d60a49923783b1400c24bfc76e938a29a9f6ea","datavalue":{"value":{"amount":"+0.7155963182449341","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":"Q3608888$77E507C8-CE19-426E-B1FE-76810FA5F3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6961ab67e91526553c6d5b885ad743a60a3f6413","datavalue":{"value":{"entity-type":"item","numeric-id":5466541,"id":"Q5466541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6529ad9547ce2e25c045feeb9835d67f41bb4f5","datavalue":{"value":{"amount":"+0.715164065361023","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":"Q3608888$A916943B-BF08-4DE0-B66C-10D45D84ABD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608888","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608888"}}}}}