{"entities":{"Q731890":{"pageid":733739,"ns":120,"title":"Item:Q731890","lastrevid":63912360,"modified":"2026-04-11T16:23:23Z","type":"item","id":"Q731890","labels":{"en":{"language":"en","value":"Situations in LTL as strings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5611732"}},"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":"Q731890$AD1C6CC2-1B0E-447B-9647-B06D70D545C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6574e0d76ea0cae911d19d7dd1a09a271722e922","datavalue":{"value":{"text":"Situations in LTL as strings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q731890$613F2669-0350-4E4F-96F6-503D6C215C8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7737a0cfab2d9113af7774d84a0115de0faf7e2","datavalue":{"value":"1187.68631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731890$7420A4D8-12FA-49E7-B8FF-5C533EF80835","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f1320e6ec20cbf624a8436ab06f53df2bae10b6","datavalue":{"value":{"entity-type":"item","numeric-id":185570,"id":"Q185570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731890$5768D233-ACE8-4661-9D20-551FC30A8FCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731890$4143CBFC-F067-4AC7-894C-291C0E54E22B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca99fd9b1fdaf08a8ea0b1d2ea2e0c66a9f63c5","datavalue":{"value":{"time":"+2009-10-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":"Q731890$EDC91EFA-102E-4AF4-B670-D03BD46FCD45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731890$CD41508B-1F16-488C-B522-5D47AD504AEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90572f085e05d1a449cede06925c5008798c8a3d","datavalue":{"value":"5611732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731890$4BB06CDF-BFD5-463E-89DC-499119617EA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"396a2746869210c076b96714985aee015ea9ac32","datavalue":{"value":"situation","type":"string"},"datatype":"string"},"type":"statement","id":"Q731890$4645A11E-3087-4EF7-B242-22031661F5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q731890$12D698F3-6561-41A8-A179-DBDC928D6319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d9d58c5be1c31321f81ff1d572ae1addf74c43f","datavalue":{"value":"string","type":"string"},"datatype":"string"},"type":"statement","id":"Q731890$12C880E3-E3DC-4BE0-9A2A-C791E4935EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9500644cd73e6189963179221a14c03a4fe9447e","datavalue":{"value":"natural language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q731890$2AF73989-8DE4-4548-8D4B-EFC86F003E53","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":"Q731890$7CC4EB70-6C06-4195-9E1B-7405B0BE69BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3233a0bd8b9a3c2c0d1a538a0d7c85c83c3e9d86","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.11.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q731890$2564A8ED-C79F-41A0-BA67-D8589CA7DC7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9be37a0dd693d681a57083f01007737ce030b00","datavalue":{"value":"W2069835791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731890$3C4BAE30-E67B-4D73-893F-109A9956C69B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"517189ebeb1cc9884e1c2ddaba2f54a86ab4d405","datavalue":{"value":{"entity-type":"item","numeric-id":4951952,"id":"Q4951952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731890$2510B931-8602-4120-82DB-48158E410C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb103b527e31b1358e94e4e116dc0966809ae11f","datavalue":{"value":{"entity-type":"item","numeric-id":3025327,"id":"Q3025327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731890$BEA7A3CB-5349-4BF6-BC41-DCE3373D5A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"942a574d4966844cd3dfdefcc70ad7d6fad2ff34","datavalue":{"value":{"entity-type":"item","numeric-id":4461353,"id":"Q4461353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731890$8BE0B9EE-5146-4F0D-9355-4C150308020B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb00e7257f6671f2735a93c105723d813181c96","datavalue":{"value":{"entity-type":"item","numeric-id":5757228,"id":"Q5757228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731890$001A404A-2544-4E81-AE58-400DC54CAA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731890$1D611DDE-C4AA-4721-9209-CC7C8E17D211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e41fead01a7d6bfe7e55bccc5621dba664f70313","datavalue":{"value":{"entity-type":"item","numeric-id":4281260,"id":"Q4281260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731890$2A1D4076-C4EB-4A74-AC62-5161AAFB1DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731890$FFA50973-C09F-44C8-A204-04AC07935F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee2f94b9261db91fcb79ee075343540417328d","datavalue":{"value":{"entity-type":"item","numeric-id":4843182,"id":"Q4843182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731890$A456C993-0D16-44C0-BADA-BB28EE0C2D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32d8275194634c1980ddd6dc1b151a0b5defcc17","datavalue":{"value":{"entity-type":"item","numeric-id":3946144,"id":"Q3946144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731890$70550877-DAB7-412D-86A6-B99623B20E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ecf2e201c2a0192c5831d01ee5946ecbbb13f1d","datavalue":{"value":{"entity-type":"item","numeric-id":2734947,"id":"Q2734947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731890$A365987E-F34A-4FCF-9C33-AD713DD119B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88cafda8ff3146175a65503bdf55e10e869601e","datavalue":{"value":{"entity-type":"item","numeric-id":4342086,"id":"Q4342086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731890$8FD0993A-58F0-44CC-B89F-24A8EAE670E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731890$596FD7FD-1825-40D8-9B77-C2AC467CD76A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ced6f3f2f52a141e3941a5f03873fc217d5fbdc2","datavalue":{"value":"10.1016/J.IC.2008.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731890$FB244513-8A7E-482F-8BB2-72B90CABF959","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5493ed6e391ed0ecad0c55a12eb375c6b63f73d3","datavalue":{"value":{"entity-type":"item","numeric-id":4917987,"id":"Q4917987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856d1b00ab543804e80a17bad3655bf48182ecf2","datavalue":{"value":{"amount":"+0.9339967370033264","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":"Q731890$73FCD81B-59FF-4A84-9BEB-A2B147A41F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bc609345ba71a5b8e02813ee298dad106bc0a42","datavalue":{"value":{"entity-type":"item","numeric-id":543532,"id":"Q543532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef2b2615f5c11c242f4af7a29c05c08f9b3eaa5","datavalue":{"value":{"amount":"+0.8101522922515869","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":"Q731890$B31AC02C-51E0-4228-BE45-BB5108EC28A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd9784900d7d143af64fa686630e8123201e371","datavalue":{"value":{"entity-type":"item","numeric-id":2734947,"id":"Q2734947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47830033af7463b10a6d31a55f6f81290bd2207","datavalue":{"value":{"amount":"+0.7621545791625977","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":"Q731890$770B5E70-6271-4FB8-937F-6CA9B0FEC913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd99103de4d8932f6d9eed4a489e8472c90fcd7","datavalue":{"value":{"entity-type":"item","numeric-id":762054,"id":"Q762054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd820597ee284dd60013f6f0fc523d4cf210cdc","datavalue":{"value":{"amount":"+0.7340585589408875","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":"Q731890$2BC2FDC1-C31B-42A6-B0F7-978C64F3C952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1285f4293045e95ced87196b5a88e09d523665a","datavalue":{"value":{"entity-type":"item","numeric-id":3365467,"id":"Q3365467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"084cd520b4ffb44a411915fe38d064124fe3eef6","datavalue":{"value":{"amount":"+0.7292681932449341","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":"Q731890$364CCE3C-33F6-42CD-8D9C-F006181D9DE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Situations in LTL as strings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Situations_in_LTL_as_strings"}}}}}