{"entities":{"Q271908":{"pageid":273675,"ns":120,"title":"Item:Q271908","lastrevid":60637458,"modified":"2026-04-10T18:12:55Z","type":"item","id":"Q271908","labels":{"en":{"language":"en","value":"Propositional linear temporal logic with initial validity semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6570932"}},"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":"Q271908$C461DD0A-A312-4630-A140-A5280FB8E651","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"598c36c2ec297fa3be32297e51efd31007a17123","datavalue":{"value":{"text":"Propositional linear temporal logic with initial validity semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q271908$8A6E08E6-7EB3-459F-A1B1-3A84E30A4137","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f21aed58b3e1e84a49619833854cc8dfa76b19f","datavalue":{"value":"1334.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271908$9B59D4DB-5071-4657-9F99-F89F40C4FE08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fa6807e5a8e911fd31fe1caa2d52f2de8962f35","datavalue":{"value":{"entity-type":"item","numeric-id":271907,"id":"Q271907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271908$2BC6036A-226B-41C1-8795-FBDDA26D118A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271908$4428C237-2251-4189-8DC2-AFFF9AAF4B15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"005b756eceec3cfac748c1a4360caa386d165ffc","datavalue":{"value":{"time":"+2016-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q271908$010B86A3-CA23-4717-9E78-4F8B07E7F88E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271908$783A9B75-09CF-4DB2-93DF-BDF3F280CCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271908$FB6E9099-32C6-41C1-8582-D6220C7DF2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271908$B3A0F2A1-24B0-49E8-9DC8-FDB35594EDFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b2cd876c9da4c1e4e48dcb136eb09df68870d2b","datavalue":{"value":"6570932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271908$2E7B4158-14A4-41F4-A29C-DC32A8323A7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q271908$4603AE7F-1D72-4EC7-A05B-B7B0217172CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f3bd75c9ac1289d07d577ca975fd9825b6b4a3f","datavalue":{"value":"very strict until operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q271908$99704A1F-8E68-475D-8C39-E16E8CFCF76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q271908$F971F257-6DA2-4457-B961-316FBC633B8D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271908$24C89EEB-05B3-4217-AB80-EE4195B1D39E","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":"Q271908$19E26340-340D-44A7-9FF4-D0BA2AED969B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdcff97cb8e94c3c8289931d8d26c5d2d7f5019c","datavalue":{"value":"https://doi.org/10.1515/forma-2015-0030","type":"string"},"datatype":"url"},"type":"statement","id":"Q271908$31A26D54-8B92-4347-AC23-4A78246BAB7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cad98a07ba8ec62b6b6b9e56f3f2250f5212440","datavalue":{"value":"W2325566886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271908$A73AF83E-594F-4E4D-BA53-5480AD81785D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"723b98e8766f93dc60cc0f6f734780baf36c30de","datavalue":{"value":{"entity-type":"item","numeric-id":2852181,"id":"Q2852181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271908$47BC2140-672E-47F9-90DD-A0BAB95AD3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5552c73af9ffa4d08773105bfa675feb6642eb2e","datavalue":{"value":{"entity-type":"item","numeric-id":3453119,"id":"Q3453119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271908$D82E43CB-596B-4B0C-909F-ABAF865A0DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0d7a17245c125b7b21912611073088bc5ea5d9","datavalue":{"value":{"entity-type":"item","numeric-id":2865739,"id":"Q2865739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271908$E1C663C2-C704-4C40-B72C-3B31ED0496C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60837ee6c70a0b91b37b9870ceba361b15dd4d3","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271908$82A567DB-FED8-43B5-A2EA-8353115FF309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364dba239c868c1d3ec34e13f65646435c2b2517","datavalue":{"value":{"entity-type":"item","numeric-id":5203581,"id":"Q5203581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271908$4A91FB2C-0AC1-45EC-93C4-59FEAC2509EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ec4613540c4c600b9978f3ce72351173b33fea8","datavalue":{"value":"10.1515/FORMA-2015-0030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271908$91932B09-A28E-4DEF-9B55-FF3DA358D133","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06e59a939e2919b1f5d558bf7e73fa09410b427","datavalue":{"value":{"entity-type":"item","numeric-id":3081245,"id":"Q3081245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8dac08f61b83d99c3d04180ae91043ad7898664","datavalue":{"value":{"amount":"+0.7899753451347351","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":"Q271908$DBD64FF2-1A82-4B29-A679-EF9C6CA45F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cdacd9e7ca0669ca235fd02fb84ce3efaed822","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df47bd0abcc988068486ed3b8555e9aa7c169d7","datavalue":{"value":{"amount":"+0.7896595001220703","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":"Q271908$F1C05D68-EC25-4BE6-A405-03ADD8E60117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbc2b31d89bf3df531be321cfcf2c9b0ca19760","datavalue":{"value":{"entity-type":"item","numeric-id":3316583,"id":"Q3316583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db86677a9cbb2a5ba3ac6bed917bb8d06643865b","datavalue":{"value":{"amount":"+0.7770509719848633","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":"Q271908$29F4CCDB-BFF3-4A1C-A7DB-7D70A877A4E1","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":"fabfd21952a2eb5b3d898e19e533175f9245e85a","datavalue":{"value":{"amount":"+0.7685333490371704","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":"Q271908$3111AD0C-8032-4CFC-A0AF-03DB8B695048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4444e22cf4a815a8834036d41840500b1509c8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1895457,"id":"Q1895457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fac972113ef6db5e4eeb67ea17b80b08a1173178","datavalue":{"value":{"amount":"+0.7655991911888123","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":"Q271908$B29058D9-50D0-4E22-AD6A-AB9E073E031D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"f2084050eadadc911e1935c85cd34c25c682b82c","datavalue":{"value":{"entity-type":"item","numeric-id":57029,"id":"Q57029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271908$46C91C24-623A-4C43-80D2-29EE1FCA508A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional linear temporal logic with initial validity semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Propositional_linear_temporal_logic_with_initial_validity_semantics"}}}}}