{"entities":{"Q5214739":{"pageid":7244309,"ns":120,"title":"Item:Q5214739","lastrevid":53655584,"modified":"2026-01-25T12:23:34Z","type":"item","id":"Q5214739","labels":{"en":{"language":"en","value":"Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7163000"}},"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":"Q5214739$AD400838-9905-48AB-8CE8-AC109037D43F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e1ab766daf42aacf256d5c09981f5d1fae517ce","datavalue":{"value":{"text":"Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5214739$00668733-FC90-4B35-A485-60E25DEEC5B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93c098038c2054b98e60be743cd732d6376ebf4e","datavalue":{"value":"1429.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214739$DAA76A83-EBFA-4943-8A24-2DEE39D76DEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64944f4c8910d5b135b3779722d11016692a86c5","datavalue":{"value":"10.1007/978-3-319-69917-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214739$AB626B98-3B21-4E34-8B33-F3E0DC4C018C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e216be41eaeeaf77df21a52e8f7b1595a60bfd85","datavalue":{"value":{"entity-type":"item","numeric-id":5214728,"id":"Q5214728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$7C2384B3-9F27-43A5-9E13-0C14F4D249B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fd6773eb39a2e4f69da6f4fd97619a5587c8913","datavalue":{"value":{"time":"+2020-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5214739$148815BD-86A9-4D60-B594-25CB18F70168","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214739$2D656B86-D2C2-4C22-B5B6-B8EFF0545F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214739$A9F951EC-EEAA-464C-A19D-22F2181EF620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214739$D8448BF7-6432-4C4A-993D-5650410A949E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2099d4abef63b9d4849216ea1aacb00e10f0f4c7","datavalue":{"value":"7163000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214739$A76EA350-08AE-4DA7-84D8-05DA0E602749","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214739$FC745431-B343-44A9-A78F-4F1F7350C7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a22c04601436dfd00befd66e975fbe41c785569","datavalue":{"value":"non-transitive time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214739$ED147B46-CD1E-4C6E-AF7C-D8804D4D83B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214739$CAFBCA06-4DF5-48C4-AA7D-4ED7F6C8BBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c625581d3600d4316308a879c96dc5430e3122","datavalue":{"value":"logical knowledge operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214739$F66A9157-D5B6-4513-97EA-AEDA78D456E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb8265dbb3afb4423c94a13c98e59893add0a12f","datavalue":{"value":"deciding algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214739$D360D6C9-7140-4719-A453-512718CD1CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214739$70E128D1-BF3C-4311-93C5-FB7B685CB578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"102000db4d3eb866b7830ebc6b8c91cf9c5c0e15","datavalue":{"value":"admissibility problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214739$CAE9CA2E-3C57-4419-9EC2-6F9AE870F551","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$3351B2FD-874D-4EFB-95B2-0DCDD5D17548","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":"Q5214739$F9C9D28F-C65F-4D0F-B902-0264139230A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6152d50cf28658283245897c6aa76c847a926648","datavalue":{"value":"https://doi.org/10.1007/978-3-319-69917-2_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5214739$4932D3AE-C8F2-4FDE-A024-76E68A61BA15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c821afb893b95ae54d21d9d67e28bcde34ccf6d0","datavalue":{"value":"W2790996802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214739$1646D4D4-D388-4D2B-B364-762780B5CEEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f082372987ccabc92cbd0d14c450ff1b25ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":2500478,"id":"Q2500478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$B18D94B9-EA40-437A-9FB3-466B1CB65C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b1da72ca3738ae54c799ee3ad672846f73e0c6","datavalue":{"value":{"entity-type":"item","numeric-id":3371155,"id":"Q3371155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$02788604-47A2-4A8C-9A52-64A18DA5D434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8f93d6fe2fae1c684c4f3c15ccaafeac2ad027a","datavalue":{"value":{"entity-type":"item","numeric-id":3006112,"id":"Q3006112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$BB220798-B031-43E3-B2E5-6F540EAABD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e433b4652b1500dc05484194d0c8446792468f8","datavalue":{"value":{"entity-type":"item","numeric-id":3148329,"id":"Q3148329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$9BE288B7-9F0C-4CE7-8ABA-AD7C727EC3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7deac8e4739febd2e58c74094514d50b36375099","datavalue":{"value":{"entity-type":"item","numeric-id":3143566,"id":"Q3143566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$D5541666-5779-4F86-B09C-49E147A11BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$4904D263-84BF-472A-A8E4-FF39792B26BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$72E0EDB7-6091-49CA-9E82-4152BFDEE237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13946f1d5a57299c2b772eb839c22d24efd0a83","datavalue":{"value":{"entity-type":"item","numeric-id":4713419,"id":"Q4713419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$CE2D2416-5444-4927-957C-A7C8331383F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$E55DBAA5-ED74-4CCB-9475-9126BF1EDB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f97042291b9c64c3d1a7b4a003005f297498d4d","datavalue":{"value":{"entity-type":"item","numeric-id":3644801,"id":"Q3644801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$F552E02C-00C5-4EE9-9439-0222976A6481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$E6D3088D-2DB6-4395-81EF-FC6299D6C2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$11EF6E88-9C89-4E71-8902-A38552DDFD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4781a9e5c0303423493ce7374c1aa23ce6d95b72","datavalue":{"value":{"entity-type":"item","numeric-id":1407585,"id":"Q1407585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$623C25D6-1503-4D9A-80EC-150DB0BD5C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd83c2edaf0d75e016ed7b02b9fc228c8c72b04","datavalue":{"value":{"entity-type":"item","numeric-id":5486245,"id":"Q5486245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$5D6E462A-6921-4266-80E4-00D45BBACF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a46ead12fdf741b8fede0645c88e84f3e7e6ba","datavalue":{"value":{"entity-type":"item","numeric-id":947268,"id":"Q947268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$C4A0CB0A-4330-4B1C-AAF1-E94A75004758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb28d581dcc9296ba68ece0f2cb50f3145b5b770","datavalue":{"value":{"entity-type":"item","numeric-id":833736,"id":"Q833736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$5E6CB565-58FD-4D9B-B548-1DB3873FF163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3eed633cf9308c5eb7b77bff69d5658b9a4f78d","datavalue":{"value":{"entity-type":"item","numeric-id":3656763,"id":"Q3656763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$57ECDF58-A18D-40B0-A0C9-2CDB67D700A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43060567729c3a38442ab2692d2a83f6265f17d","datavalue":{"value":{"entity-type":"item","numeric-id":2826032,"id":"Q2826032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$11CF5BE2-0A76-49AF-9712-2A5371339004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0433df88462bb56b83441e76d4cfd0c647cd59d","datavalue":{"value":{"entity-type":"item","numeric-id":5394462,"id":"Q5394462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$180694B5-2A62-4B96-964E-C9A949488157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$955F25BA-D582-4ED4-9DBE-71B8308470C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0ba4cff3a1ec63a652b045133881709ec731c4","datavalue":{"value":{"entity-type":"item","numeric-id":4536333,"id":"Q4536333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214739$A72B3DBF-D0B6-4224-8DC9-37EE29C36E5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594823588009b4b3f1b5f0c6adb9995748a54777","datavalue":{"value":{"entity-type":"item","numeric-id":2826032,"id":"Q2826032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55003013189fb3e3660d2e53bf9269e21f3e0ac7","datavalue":{"value":{"amount":"+0.9280147552490234","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":"Q5214739$81925E36-D880-4F02-A860-35C8A06F9D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0391921a0366d3a2fb7bcc99ae2abdd2da4be13c","datavalue":{"value":{"entity-type":"item","numeric-id":2213922,"id":"Q2213922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e0a7477f4511337049597a5b135f0dc6eaefe57","datavalue":{"value":{"amount":"+0.844357967376709","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":"Q5214739$D3E4E719-2B23-4EFF-9949-5AAF3F89CBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e4d5046b08b94c0812c13542cbc27d33151858","datavalue":{"value":{"entity-type":"item","numeric-id":3434497,"id":"Q3434497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5ee5e8efc65ed981e0586cfac2c2504cc832ef8","datavalue":{"value":{"amount":"+0.8400256037712097","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":"Q5214739$F61D9CFE-8A45-40B1-833F-B18202566EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880ee291b4630b1dd7c2c733f665453b4b541b7d","datavalue":{"value":{"entity-type":"item","numeric-id":498234,"id":"Q498234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd01814d94e0f575c9c1f78fdd331e526ec2ad87","datavalue":{"value":{"amount":"+0.8148292899131775","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":"Q5214739$E5EA4296-4890-4FBA-B20B-B89104B0EB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"848b47eed6b7d43f5eb1ce13c9ebe8ee7714ea8a","datavalue":{"value":{"entity-type":"item","numeric-id":5486245,"id":"Q5486245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f298f54240fbc832286e9ac3a4504eb68c6aecba","datavalue":{"value":{"amount":"+0.8004955649375916","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":"Q5214739$AEDA44CD-BF9B-416A-B2D3-0C3EC3B26AE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5214739","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5214739"}}}}}