{"entities":{"Q4583356":{"pageid":6612941,"ns":120,"title":"Item:Q4583356","lastrevid":53186495,"modified":"2026-01-24T10:15:06Z","type":"item","id":"Q4583356","labels":{"en":{"language":"en","value":"A decidable timeout-based extension of linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6928252"}},"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":"Q4583356$D766CF50-C55C-40AE-B953-4C39B5F0C4E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fdc1c4962bf00c030434719f4c019271949ebe5","datavalue":{"value":{"text":"A decidable timeout-based extension of linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4583356$1775E99B-4CEF-4764-A46C-BE399FD04696","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a04850c54c2998bd8a11db9dd7e9d1907b4e859","datavalue":{"value":"1398.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583356$0A1FADFC-3A3D-46F0-82B1-203560FA9AA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2c6a67dc5f1b02d256e50bb5c8ec58400cf4ab1","datavalue":{"value":"10.1080/11663081.2014.964491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583356$07218305-1F9A-49FD-B881-4EA23F52362B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78e38b07af1b1cf33086a0baf0bd78a51581d218","datavalue":{"value":{"entity-type":"item","numeric-id":626899,"id":"Q626899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$89321CF8-20F3-4241-907D-14F4A2C08319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c454c7a4707396f6f4a3a9ca912b6b6fbb0aff48","datavalue":{"value":{"entity-type":"item","numeric-id":1015927,"id":"Q1015927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$DCB46AE2-CDBA-4A9B-BEB0-A2ACD7A1D81E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$13C38398-17A5-4450-9B03-299F1DC49CF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1a7e956705fd1b7f7e3c263c8e7183d11ad0ebd","datavalue":{"value":{"time":"+2018-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4583356$9C332021-C043-4CF9-916C-CCAF695372FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583356$AB2B966E-621A-4391-BD10-B5BD82131073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583356$242A6A85-DC4F-455B-A33F-24402E62628F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583356$6FAFC1E1-D721-4383-B297-EC5B6CC3FFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583356$81096018-39B7-4DFE-99B7-627AAD075E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583356$4AA6D4FF-6C27-4A48-946F-D3AF4315B3AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55a63d536304b35afac8718d0c8bfdd2d38fb519","datavalue":{"value":"6928252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583356$46F173B9-45D7-4F92-B2F9-EDCAB93C609F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed0fff30ac0bcc4b1d1a9df4cc4054f78a6730f3","datavalue":{"value":"real-time logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583356$1A893587-B80F-4F05-B6BD-5E74D8F0528D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583356$8A0120A4-7CA2-4C3B-B782-348066A45B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d224c8fe58d735e111f9cbad58ae8cdb896d73f","datavalue":{"value":"timeout models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583356$65EF652E-2AEC-43EE-94F8-939C12D650E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583356$79CA04C4-B1F0-4CB6-ACAA-C0C9D2337B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35c8c1660879321a1ca782bdda00dde323206fdc","datavalue":{"value":"timing properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583356$3D091BA3-735A-4F88-836F-FF56541C6557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c62eed28997d9f85a38704735ac8e47f062a7938","datavalue":{"value":"timeout constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583356$A6C54FE7-CC0C-49D5-B0C1-AB586B6C544C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"495bec317cd675b8e4d193b4b788c39303a2741f","datavalue":{"value":"tableau satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583356$84360C5B-E7AA-46B3-97EF-A00A3FD6B730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583356$47BD1A7B-D4F2-4B5F-B499-746AE7D268AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f25cf5b841325dbd37d08b6273033a3028e1833","datavalue":{"value":"expressiveness of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583356$17970056-DF01-4029-A302-19CE08E812F8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$8463069B-8D51-49A8-BB8D-DFCD2F79CB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$1609184A-178D-4FBF-8E48-11C359B200AC","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":"Q4583356$F4C3C18C-9625-4E0B-8D31-8EEA49A83ED5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72b3c8e5261cd8ecfc2f731d4605bde60b2f0e98","datavalue":{"value":"https://doi.org/10.1080/11663081.2014.964491","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583356$62D6BB11-16C2-4986-9BC2-8EFB43F4DD77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc53fa086430e4c199523a4a71b694330f86f4fe","datavalue":{"value":"W1627271069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583356$6244A78B-F296-43BB-9B81-C397281FFD0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$062E166D-AD97-46EC-905F-355AFF8F20C0","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":"Q4583356$8E62DD73-7649-48ED-A538-03C3B87B52FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$EA79A7C7-6F6E-4EC0-B3C8-8404B70253BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$A3AA34D2-E673-4B64-A7A1-2512F270FEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"739ecfba3b12ea1cb28dfadbdfaef9c3794f6638","datavalue":{"value":{"entity-type":"item","numeric-id":1275455,"id":"Q1275455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$3333CA54-629D-45B9-A1E2-0CF25C89E866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dac790e62b172c6d0243b477cf163852ec811c8","datavalue":{"value":{"entity-type":"item","numeric-id":5897789,"id":"Q5897789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$2187B9EF-C292-43AA-9617-AF6E91A05250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$E922A376-9E84-45EE-9BDA-8B2B3F4F151D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fef66f961724b2c109d231d90a6cd1704764e5","datavalue":{"value":{"entity-type":"item","numeric-id":5312938,"id":"Q5312938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$6CC31166-1E76-4AEE-97E8-B662F1D9BE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c916782f5843f438376b5d40ca01e00bd0a30a","datavalue":{"value":{"entity-type":"item","numeric-id":5464747,"id":"Q5464747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$B9550F60-5698-47C3-B654-265914FC9DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824bf93b5181245b88573e28058822d36f9fc0d2","datavalue":{"value":{"entity-type":"item","numeric-id":5204346,"id":"Q5204346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$0305E0E9-12FE-4513-BD8E-A9452697FC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$7417FEF1-02DB-4F94-9463-F3B3C5D2EBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e6c95b6912f96f545c6ba61ec5be5438844811","datavalue":{"value":{"entity-type":"item","numeric-id":4265595,"id":"Q4265595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$87238F08-E655-4A5F-B7C4-7FE526465AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d7069a41204580785b320d72b5cf0a8870075d","datavalue":{"value":{"entity-type":"item","numeric-id":5900383,"id":"Q5900383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$D3685270-02B8-4A07-9CCF-59AEC41EA200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16ab0d2b6f4f188fc4037eb8f2287cf5a655ae7","datavalue":{"value":{"entity-type":"item","numeric-id":3543284,"id":"Q3543284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$34B97EF7-D363-4665-A823-5F949F29640C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e3a442ba590cac8ae88ceacdb0593242447bc7","datavalue":{"value":{"entity-type":"item","numeric-id":4207573,"id":"Q4207573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$9DE8BC35-0F79-45FD-9A2D-AB8F337035EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee26b32ffe9adf5df86121f62d55ac571f99ac45","datavalue":{"value":{"entity-type":"item","numeric-id":3510802,"id":"Q3510802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$779913B8-79F7-4B60-A2D6-62A58BFD06BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$B3A79B83-F8D7-4127-9F4A-524A9262965A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$03D855EB-A476-4D77-BC66-10AA4FB85C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67aa0df6c0fc27786ebfa5ec52093be9eac8c44c","datavalue":{"value":{"entity-type":"item","numeric-id":4501666,"id":"Q4501666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583356$125C4A54-5ABD-41A1-A60D-FEAFAA9F56E1","rank":"normal"}],"P1643":[{"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":"2a90e50e3f71dd192769eb3d6cb3209e70dc624f","datavalue":{"value":{"amount":"+0.8134734034538269","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":"Q4583356$D31C4241-AE10-448A-B052-3CF16C858020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de539fed1dbcc1f96c2bfd85be904746dd93fca","datavalue":{"value":{"amount":"+0.7926410436630249","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":"Q4583356$ECD2CBEC-63A3-4AAC-AF1A-4305C9214083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a32c38f1778405c22e2f706067d240abf7ad0718","datavalue":{"value":{"entity-type":"item","numeric-id":4484492,"id":"Q4484492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00cf05a6c614f14f33a53beb92a784fadd418d7e","datavalue":{"value":{"amount":"+0.7922767400741577","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":"Q4583356$B86568C5-B0D5-44CF-9771-A1980DF15CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce04ae1395fb04d17180eb1bf733141115023232","datavalue":{"value":{"amount":"+0.7920756340026855","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":"Q4583356$92F9F2C4-71A0-405A-BCFA-768687F51D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602c98fdc392c792df6e998c39650c14c862bba1","datavalue":{"value":{"entity-type":"item","numeric-id":5902367,"id":"Q5902367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d4e3225a86b04b03686208ca36ebcee994fb6b","datavalue":{"value":{"amount":"+0.786037266254425","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":"Q4583356$804C2FE6-7BA4-4666-BAEB-BE07635E0C1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4583356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4583356"}}}}}