{"entities":{"Q5485967":{"pageid":7515527,"ns":120,"title":"Item:Q5485967","lastrevid":49909141,"modified":"2026-01-11T23:02:41Z","type":"item","id":"Q5485967","labels":{"en":{"language":"en","value":"A finitary-language semantics for propositional linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051540"}},"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":"Q5485967$9AFA954C-3E59-41D6-96AC-27C0D5476D43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6567b47f152fb30710e46e4dbef004e26dbc66a2","datavalue":{"value":"1096.68672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485967$C5F688FB-E2B9-486B-8387-076A90A009FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"feef4769d934a8edb6a9932b3aa3bb1f73d03f11","datavalue":{"value":{"entity-type":"item","numeric-id":673346,"id":"Q673346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485967$0E017031-95DA-45F6-BD98-6952D7FD26A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7939b34d547994f9e0d859014ca3dd3153b5173f","datavalue":{"value":{"time":"+2006-09-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":"Q5485967$87EB6FAB-A731-4F4A-BCD1-40C5541FFD83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485967$61B46205-5517-44D5-87A4-D17A24202C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485967$4928DF6C-C810-4D9B-B304-1D595FC72DAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bbe7fa4def29080799e13b6594ccfb7807542bf","datavalue":{"value":"5051540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485967$356108FF-6632-472D-A83B-871C37E2300B","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":"Q5485967$BE59AC84-60F8-4908-9EC7-A7DCB1B26E78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3f7ba8827e2c2822488ec6ab8d6157556f285a","datavalue":{"value":{"entity-type":"item","numeric-id":4501157,"id":"Q4501157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2536b070dad4eb9f09c118a9530d6fb35860bb42","datavalue":{"value":{"amount":"+0.8005681037902832","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":"Q5485967$DC46DE29-C479-40AC-8BF5-1BF9AA8321D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"243a61169595355e418736f096741a43e3b14394","datavalue":{"value":{"entity-type":"item","numeric-id":3752371,"id":"Q3752371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56bf0426ac02c4be48ce6e511ab01908d8ccc12d","datavalue":{"value":{"amount":"+0.7923678755760193","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":"Q5485967$F9887C72-F903-4AA3-98F7-F3ECCA99050C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b80272ca23422e96f97ae8e97ed8ce5e707d8d","datavalue":{"value":{"amount":"+0.791360080242157","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":"Q5485967$2EE45FCD-2AA7-4EA7-BB97-AB1304D1ABD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a23c6ee92dbaf66513ec87024db86d3f889f745","datavalue":{"value":{"entity-type":"item","numeric-id":4029611,"id":"Q4029611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e295f19de2851a11e5df1eb733b31903685474f","datavalue":{"value":{"amount":"+0.7901040315628052","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":"Q5485967$7C9C933C-604C-4521-96B3-089511A1C336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835be840976d82e0e3e69203203f8f9f3386ef08","datavalue":{"value":{"entity-type":"item","numeric-id":2799620,"id":"Q2799620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ddbc54177551aaae054cb187e9db0c28c7c8ad0","datavalue":{"value":{"amount":"+0.7885878682136536","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":"Q5485967$27C2B724-82F5-49DD-A634-BF302B47E0E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5485967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5485967"}}}}}