{"entities":{"Q3384172":{"pageid":3394875,"ns":120,"title":"Item:Q3384172","lastrevid":58148949,"modified":"2026-04-04T00:24:16Z","type":"item","id":"Q3384172","labels":{"en":{"language":"en","value":"Linear-time temporal logic with event freezing functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7445167"}},"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":"Q3384172$B98BD83A-E335-4F2D-8FE6-9071FE092029","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69de8205aff033bb3fd5b2b9602ea9f8f320aa59","datavalue":{"value":"1483.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384172$78E66CAB-49F9-455D-B065-80502C41474C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a3a6d65cef09233c3157717e074297efd5d7a8","datavalue":{"value":{"entity-type":"item","numeric-id":479825,"id":"Q479825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$1577A969-5385-421C-8263-792A23EB0E84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d9560a2a7c80ef145e6b9b718329e3064d365b3","datavalue":{"value":{"time":"+2021-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384172$78651BDC-C354-4820-9AC0-AE4C76D27479","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd036502ef04ef00137825b4e8e5730ceecc67e5","datavalue":{"value":"https://arxiv.org/abs/1709.02103","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384172$B892BE9A-FAF2-4BAD-A7DF-029215CBE43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc41cdaa5b470460b0497dd6c97b87bdf6e73226","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384172$FABF766D-5634-4688-9211-1634D7EDEEFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384172$1404CCDE-0137-4250-ADBD-052109122971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384172$5C28587A-C7F1-4BAE-AB4F-BEB4D9D44516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b570f6b8c4cde0f4c3058f4e46386ce6e28a87b4","datavalue":{"value":"7445167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384172$41FFD871-038F-44F8-99C8-C7D5F4216514","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"238fffb646d342b080387338436685f3dec538b4","datavalue":{"value":{"entity-type":"item","numeric-id":5972831,"id":"Q5972831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$569DFB97-62CD-4679-872C-12E34DEE154A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90540901708f1d54fa446e64a6d255ce9ad0b4fc","datavalue":{"value":{"entity-type":"item","numeric-id":31985,"id":"Q31985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$27B15F60-A60C-45E3-AD01-C3BC1ED01C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4e1fe9e7e19a9673e889bcce0afc1d800822389","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$61FED436-ED0E-4832-9F7B-A9DF061E6372","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":"Q3384172$7229DB8B-7A74-4E29-B1F2-C873210836F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$09156AF4-00ED-43EB-9692-598F519D22F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$8172592B-C3F3-4DB8-83FC-AD415D421C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$38E23279-687A-4C77-8E9B-9F52BB3DB314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e62b3432f6378d8505d7da38451e078f13b2bf","datavalue":{"value":{"entity-type":"item","numeric-id":2266987,"id":"Q2266987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$58E5C055-AB86-42F6-97B4-65C66065B7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f252ff86822bd99498e2b094b9f770ad55f5bef8","datavalue":{"value":{"entity-type":"item","numeric-id":3636860,"id":"Q3636860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$83C9854E-7145-4EFC-93AB-236CF6C774E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"675683968dc28118a062ab99ffebd45f865003db","datavalue":{"value":{"entity-type":"item","numeric-id":4633542,"id":"Q4633542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$35B11AC1-746D-49A9-A10A-32EB6C6EE140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$6AF6BD7A-9797-416D-9410-EE115A544E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8276c88e5ecfd9eb06c2bb86f221d91d072841d4","datavalue":{"value":{"entity-type":"item","numeric-id":3510842,"id":"Q3510842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$15A96229-93DA-4BCC-B46C-6DD11D69C806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a470b378741f28bdecd3dba78fc1f965ca175562","datavalue":{"value":{"entity-type":"item","numeric-id":3608784,"id":"Q3608784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$6A9BF4D8-7B3E-45EB-B360-6579331AF17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"272609bd8b38f994632dd41505735fd6ac673cfb","datavalue":{"value":{"entity-type":"item","numeric-id":5756667,"id":"Q5756667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$C7CA4D22-2EF6-4E00-8602-32AB3364A80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba87e9300083b4ca6be646359146e5b487f59235","datavalue":{"value":{"entity-type":"item","numeric-id":684564,"id":"Q684564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$F6577B6D-B8EB-4D62-9D33-FDA805CD9AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$8C6CBF43-1501-4259-AC40-5FDFFE3B45EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a400ce145f2fad549d27f117c922d59c513548","datavalue":{"value":{"entity-type":"item","numeric-id":3588095,"id":"Q3588095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$8BA24B9C-89B4-4112-B6CE-3F7D28BE16BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b40ca15922708fafcf7fdd65a80fccea7dd5c1","datavalue":{"value":{"entity-type":"item","numeric-id":4221299,"id":"Q4221299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$2352B544-E322-4451-A2E3-B20C8C2CD6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f4ed5d5ce346447c826b0419093db4275081c2","datavalue":{"value":{"entity-type":"item","numeric-id":4939602,"id":"Q4939602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384172$72113EE8-0B73-4BE6-AE95-8419E871C027","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42abde76d33d065e629ff8eef46fdf7beb08f6d2","datavalue":{"value":{"entity-type":"item","numeric-id":2182731,"id":"Q2182731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f0ed24351b38b0fd8d7a367c16f1e672a23ea6","datavalue":{"value":{"amount":"+0.8074672222137451","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":"Q3384172$4036C260-2207-4479-B949-6D4EC054776F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e27846bcefc3e08e6579f639955d083bbf843b","datavalue":{"value":{"entity-type":"item","numeric-id":4472249,"id":"Q4472249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c36e6f72d54a51bbbca36476f1fd1e53fb0e663","datavalue":{"value":{"amount":"+0.7686184048652649","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":"Q3384172$26F63A05-BE35-4095-B1AE-C65AE1675A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccbbc615d7b6d2e04ee5e5fe069a88d7a379f1dd","datavalue":{"value":{"amount":"+0.7567678689956665","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":"Q3384172$8F5E9B96-A9F3-408C-9BBD-848BB3ECFCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e635da9428ddd89dc603f298313db968233a9348","datavalue":{"value":{"entity-type":"item","numeric-id":4733399,"id":"Q4733399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b009a7f27bb1e0d4cc62eaed787efe91c8763b","datavalue":{"value":{"amount":"+0.7508929967880249","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":"Q3384172$28A8C7DE-5989-4BFA-BE73-51F6601F1C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94bf1077696898a083dacfc75d371f8fdc89404e","datavalue":{"value":{"entity-type":"item","numeric-id":3165752,"id":"Q3165752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780a120c1a0053906d43822af43484e67ff176e4","datavalue":{"value":{"amount":"+0.7477487921714783","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":"Q3384172$6155D05D-0845-4079-88F3-EBAFBD7481FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384172","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384172"}}}}}