{"entities":{"Q4304494":{"pageid":6334095,"ns":120,"title":"Item:Q4304494","lastrevid":46287315,"modified":"2025-12-24T11:58:20Z","type":"item","id":"Q4304494","labels":{"en":{"language":"en","value":"Expressiveness for Highly Nested Expressions in Linear Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 637443"}},"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":"Q4304494$EDFDCA0F-E11E-4336-ACEB-6081B1779DEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0606a576fc0c1e8c63a8380e1f6654db83bd27a","datavalue":{"value":{"text":"Expressiveness for Highly Nested Expressions in Linear Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4304494$1C2665E2-94CD-4B5E-9C33-1A988DDC9F33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"934389f164a528eb8385f286780f02ecc3ed29b1","datavalue":{"value":"0802.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304494$9629C778-E7BD-4CF4-B1FA-CEDA5E151A08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d7eeff60cf26405a6367b4c18fd6b9348cc2fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1093367,"id":"Q1093367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304494$BD53CBC9-5283-4164-B0D1-D197C318C88D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"031c5d066bfbf994f645c207439d2003ce1ed02e","datavalue":{"value":{"time":"+1994-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4304494$8735EE78-10C8-40B5-8694-DFF7E5EF21CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304494$958E439A-8498-4872-82E3-0126EFB822CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec43d5b3d6fbbf8dc2d4b8ada7e18303d45961ae","datavalue":{"value":"637443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304494$8F882BB5-1762-4FD1-BCF6-B1106F8AD2DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304494$761D942F-A8C7-4AF2-AF0B-55935DB2AD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304494$20D024E8-2E3C-4159-BBE5-8196D93B27D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a952b4a9d31d83f7b24811d02df13d6a60c06528","datavalue":{"value":"always","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304494$8485B6EE-5DD4-4DB0-B9AB-7F0B3A32BA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a78c5f39814905de4365c2940c1457690f6a43f","datavalue":{"value":"sometimes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304494$A9F5F836-0FF4-4BE3-B7C2-A692BB0B5A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"735b10b3cb7a0ea5501a1ccfa7eec92b59a0a84d","datavalue":{"value":"next","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304494$6259529F-4BC9-486F-9126-55046BC76A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6a7649ab250a206f7b6cfc5b10ce740cd2e3bb","datavalue":{"value":"until","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304494$94E5AB9A-F552-447E-B0D0-638BD3095C2A","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":"Q4304494$6E872F20-7BEC-4C79-8C64-6111649D1E34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2327c9c33db0ad04390e43f31f22ec979cdec6e6","datavalue":{"value":"https://doi.org/10.1093/logcom/4.3.263","type":"string"},"datatype":"url"},"type":"statement","id":"Q4304494$176B194F-0E82-4D2C-B0B1-3AA29CBF0495","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77abee0218069048678be75ab446c2d28a7d517d","datavalue":{"value":"W2121212904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304494$05816F36-9E61-4A24-950F-C96C0D060595","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fff429dd84a06ed9f9f0e602e0b5f3f97ab03901","datavalue":{"value":"10.1093/LOGCOM/4.3.263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304494$D61C8F91-C409-4C42-94FD-1F68B62DD805","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304494$42ECA451-6915-451F-9169-D9A84A41E083","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc2ccea7a40178ef33e16bbbeb0dac3c257bfd61","datavalue":{"value":{"entity-type":"item","numeric-id":4736862,"id":"Q4736862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb45d3a61c1e4538d0be2b9c7ab9caedc447abf","datavalue":{"value":{"amount":"+0.7965849041938782","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":"Q4304494$02FE5455-8116-4A27-9433-138587476CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305ebaae1922ef8637bcc2de37278bfe67c3f566","datavalue":{"value":{"entity-type":"item","numeric-id":705066,"id":"Q705066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a00219be9eaa046fe54541658a943a0c436f2ee7","datavalue":{"value":{"amount":"+0.7934663891792297","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":"Q4304494$915F376A-87E8-4A0D-BAF6-BAA804815F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2e22090a1d7eca4467010a2c9cdf2926f6edbf","datavalue":{"value":{"entity-type":"item","numeric-id":4411829,"id":"Q4411829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d75cbd19007cbedb4e291bbb17a742f0ea2127a","datavalue":{"value":{"amount":"+0.7702263593673706","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":"Q4304494$58BBC8F6-7F1F-43BB-9189-6DF1CEA7B089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5f0e4090509a27db55135341d5c49c9c1599f0","datavalue":{"value":{"entity-type":"item","numeric-id":4733398,"id":"Q4733398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70e8473cce1923e27a092bf0a6c0f9c43293dde9","datavalue":{"value":{"amount":"+0.7580397725105286","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":"Q4304494$EF8CC94C-D3BA-4A5B-ABBD-F7D4A3F76AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf872bb3bba1b6be35a5fa66604dac815550607","datavalue":{"value":{"entity-type":"item","numeric-id":5310679,"id":"Q5310679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89cb5b20ecbab01eb85aaa2850e30de711f3bb81","datavalue":{"value":{"amount":"+0.7527285218238831","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":"Q4304494$DBC86396-3398-4999-8A94-8FC2510D66D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4304494","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4304494"}}}}}