{"entities":{"Q3520238":{"pageid":5550142,"ns":120,"title":"Item:Q3520238","lastrevid":48984868,"modified":"2026-01-06T09:58:15Z","type":"item","id":"Q3520238","labels":{"en":{"language":"en","value":"A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312592"}},"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":"Q3520238$A2E2739D-EBD0-4302-A9C3-731B01A2067A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8e185025cbb8c55e36b4004fcdc3b0c5c9aa319","datavalue":{"value":{"text":"A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3520238$72896A19-7981-404A-8533-4647DF820C6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22a0da9c54a925f9f19e57dac029899209fc83d2","datavalue":{"value":"1158.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520238$F2E2132F-8F29-4F86-B9E0-DC36E5712B23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca70b50666cd4b37b70c35978cbe57cd070a9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":528194,"id":"Q528194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520238$76041D0A-6C03-4448-89EC-8199985A8ED1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ef753f84a9df60c660e966b6beebb9738a52b5d","datavalue":{"value":{"time":"+2008-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3520238$0DDBACB5-527D-4FE8-BE12-1E5FB2CCE2AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520238$FEEE2EB7-F251-4ACC-8B80-4B03D09F7F32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e358ae85ea3d7e38ba339d8ce1ecbd51dbff2f89","datavalue":{"value":"5312592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520238$5CB61966-6E41-40D4-A338-2D1A145EA78E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520238$19E47B37-B933-4E5A-86A0-395B27E99029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f16f109222d81eb14200ae241e4b09f381a53fde","datavalue":{"value":"canonical reactivity normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520238$5717F6B8-06BB-48D8-9CDA-79D80588D8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520238$C6E41381-9E55-458B-A647-14C56D1AF508","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":"Q3520238$8CB738CB-11C9-49F7-9ED3-8C266417484D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50ea6574499edcf34065aad3354ff65a94d8d140","datavalue":{"value":"https://doi.org/10.1093/logcom/exn002","type":"string"},"datatype":"url"},"type":"statement","id":"Q3520238$0B686F52-DDCA-4469-B346-9D368869BD67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b47c16af9b78c0981d4a40ca508777c204b68bca","datavalue":{"value":"W1970635712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520238$0D554A1D-5F09-43E0-9145-5B791319335E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39aa91933ed88a22ad2599376b358fd9ba6e77e6","datavalue":{"value":"10.1093/LOGCOM/EXN002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520238$100C7D12-CE92-4AEB-8889-0493CEA6C2F1","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":"621d044bb44a9f8fc6217c54f1e32d81e32041ea","datavalue":{"value":{"amount":"+0.8065238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520238$3A8C3586-00B9-4A9A-A64E-0D31F8E1997F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ff3ab724d9c0092db82f79324be8fdcbd0ab3f","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747779226825ad745c223047ed9a22dd696cb3dd","datavalue":{"value":{"amount":"+0.7965949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520238$A7CC07E9-7418-4C45-8644-92A98F01F540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a16a1e9a265e91c9f5944c7a8a8bb475e05c36","datavalue":{"value":{"entity-type":"item","numeric-id":4351796,"id":"Q4351796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c474b587f1d93d481c707d131787a2be671e9061","datavalue":{"value":{"amount":"+0.79566544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520238$BE6898B7-58C7-4A3D-8AF1-62C3DAD339E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e571d11edd710698b4f965d238ee463d15319e","datavalue":{"value":{"entity-type":"item","numeric-id":3012526,"id":"Q3012526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd5d1fbb4869af3e027da3021e3cc107ecff039","datavalue":{"value":{"amount":"+0.7914462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520238$680AB7C2-1B72-48AE-AD0F-C462A5443B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d2a6c0c75db35d1a64a9e5c5907468a4789d5b","datavalue":{"value":{"entity-type":"item","numeric-id":2864381,"id":"Q2864381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49a9e559aad4c1b2dc49937fea4bf31af18dbbf","datavalue":{"value":{"amount":"+0.78336364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520238$BAEDF282-45A9-44C8-B01A-0D8CA6C9AB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336cc746c6e34acc1d9c097480aec8072f994d2d","datavalue":{"value":{"entity-type":"item","numeric-id":3497515,"id":"Q3497515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db81ad7200155f5004ba7e4a998f56ce6cff604","datavalue":{"value":{"amount":"+0.7814771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520238$F997333C-38C2-49C6-BB23-52A7F944D050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70d0cbe9de3711d7249331e3c0adcaa25ffab77","datavalue":{"value":{"entity-type":"item","numeric-id":4952323,"id":"Q4952323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bce77e614acdc1b55cd5c49e3b5ee4443707db1","datavalue":{"value":{"amount":"+0.7772555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520238$21789B1A-3FCC-470E-B6F3-93A82FA11186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0d18ca4bc6d73bda00df43dcef4646f3293fac","datavalue":{"value":{"entity-type":"item","numeric-id":2871849,"id":"Q2871849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fefdf6f734160de2fa6639ea91bb723ffe94f9e4","datavalue":{"value":{"amount":"+0.777006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520238$AC35B320-0B96-4D52-86AA-0461C4F0F58C","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":"168d64a72efd763d485814d96ecac489ac110673","datavalue":{"value":{"amount":"+0.77612805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520238$933582BB-A701-4FA5-AF64-C5A75FD9510E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ac600082bc1cac5d92997868400109569cc6b8","datavalue":{"value":{"entity-type":"item","numeric-id":2891470,"id":"Q2891470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f2b31f95b2ea9c1a8bc874c4d516d487c037f1","datavalue":{"value":{"amount":"+0.7760041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520238$2A6CCB4D-CCB0-4DEE-89F6-49B4E145D1C3","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":"Q3520238$2BD6883D-ECDD-4487-9999-2869EFD5AD8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3520238","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3520238"}}}}}