{"entities":{"Q2147173":{"pageid":2157916,"ns":120,"title":"Item:Q2147173","lastrevid":73434834,"modified":"2026-04-14T15:58:12Z","type":"item","id":"Q2147173","labels":{"en":{"language":"en","value":"Linear temporal logic -- from infinite to finite horizon"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7546591"}},"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":"Q2147173$3B9A242F-34C5-447A-B5B7-5A622B2FC562","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9192052d7e5d2bbd20d90f04677f9a9ee8a0531a","datavalue":{"value":{"text":"Linear temporal logic -- from infinite to finite horizon","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147173$DC1516B8-AD8C-4581-9953-EA2187378EAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98450b379dd30d5b451623d7128df0c4bfa9793c","datavalue":{"value":"1497.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147173$0481E063-BC8B-4BD7-A838-CECD8BB665E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07a6425194a7863107531bc0bc0515894792980b","datavalue":{"value":"10.1007/978-3-030-88885-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147173$3003A1F9-C867-41B6-A759-D3075C6C4CBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50261e2c1423d51f536b2cd6642a289db3bedc50","datavalue":{"value":{"entity-type":"item","numeric-id":784103,"id":"Q784103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$469451DE-E3CA-4874-B564-E191460C3DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$67987057-3B9A-412C-8452-8BD24EF118D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffa612dd361e50848b97ee1c8010430ebd9d5009","datavalue":{"value":{"time":"+2022-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147173$434EE2AC-1D04-4D5C-8161-FB3D1185BE50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147173$9D7A4C91-AC90-4D9F-9537-A783330790DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147173$5A56A33E-2E06-47A8-A311-E864FE9594C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147173$390A0A0B-9547-4F15-A537-926DB65D37DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15b146828fd4cb1ef92d81b745a1570ca730ad62","datavalue":{"value":"7546591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147173$FED81E06-52A6-49DA-92EE-2984AF3A765C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31e047a037d843c73f570b063930e8b1255958b7","datavalue":{"value":{"entity-type":"item","numeric-id":5974888,"id":"Q5974888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$90713C51-4C84-4C30-BCA0-46D0BCD5B76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$17A5AF2C-6C4C-4AD1-8B72-2F680AB8B963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e709217feba5582ee4330feae544dbf386970536","datavalue":{"value":{"entity-type":"item","numeric-id":37002,"id":"Q37002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$F8772C1B-4DC4-4E5A-B1FD-D37748098905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d85e34e76a2023e4f73428ca779702fd03518ee6","datavalue":{"value":{"entity-type":"item","numeric-id":5974450,"id":"Q5974450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$9FB36C31-F474-4315-BAA6-412167160757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb14764ca4f795a410ecff4a15a27cd8a8364134","datavalue":{"value":{"entity-type":"item","numeric-id":45131,"id":"Q45131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$99367F50-0461-4A18-B293-3AA152D50068","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":"Q2147173$331D9B7C-6264-4C90-B973-953955A1CC2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3914cf1504a6c05667e4d638e923ea95af2fdcb2","datavalue":{"value":"https://doi.org/10.1007/978-3-030-88885-5_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147173$B9B5E7A0-85FD-49F7-8AEC-004692FD5512","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fbd3fa49fa5d53960e99667b46fc1c2ec1721ce","datavalue":{"value":"W3205916232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147173$67362D4B-9AC9-415E-9A3C-4146536535CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfbec89e4204ea9007b9eb2227977d6d13d242e","datavalue":{"value":{"entity-type":"item","numeric-id":3177797,"id":"Q3177797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$FB85374D-42DB-47FC-AFF9-154470325E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186f20ac6e010e66ffb3b6118721911ca24ee67d","datavalue":{"value":{"entity-type":"item","numeric-id":5278414,"id":"Q5278414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$D43C7B78-B95A-4B17-B34E-16588BAD61F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84d9d5a3520c1c29c6f7d301a8da76b2333ec357","datavalue":{"value":{"entity-type":"item","numeric-id":5897682,"id":"Q5897682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$60588D50-75C9-420D-8179-322FA27CA8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11f5746ea4bacdd7b399439ead75c0b127d95cd","datavalue":{"value":{"entity-type":"item","numeric-id":5277690,"id":"Q5277690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$965B877C-9338-474B-8217-53443B3652BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af1feed9420fbd9bfd80527390996ecd04d3fa9","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$47519E76-99A3-4464-A0FA-7DB989D09A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17160b16fda20f5f0aa5a72e7333fc96ada12bdb","datavalue":{"value":{"entity-type":"item","numeric-id":3995303,"id":"Q3995303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$ED2353A5-A1BE-4A41-93A3-42712AD9676A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cc99a8d71da1c5a6110884877d19a97e5ebc24","datavalue":{"value":{"entity-type":"item","numeric-id":4977976,"id":"Q4977976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$F845493E-ACCA-40E6-B1A4-B0833683A124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3d6be602a1b0a5dac093fa6074dbc06451d085","datavalue":{"value":{"entity-type":"item","numeric-id":4633528,"id":"Q4633528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$F1D0F46D-74D2-41B0-95C1-5FAE58B3900B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44410af1243ffce9ef035f8f4e879f1bb5267de4","datavalue":{"value":{"entity-type":"item","numeric-id":3000656,"id":"Q3000656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$46EA8B10-1A91-4327-A64A-D0EE278DBB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd16140da76f75d849cac29e88fa8b96bed9a22","datavalue":{"value":{"entity-type":"item","numeric-id":3203012,"id":"Q3203012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$A2850E89-AD4F-49E2-BB86-F39DEB0B015C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792b8833b1e7f005667900de9120fb86dc0801c3","datavalue":{"value":{"entity-type":"item","numeric-id":3303904,"id":"Q3303904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$2D2D485A-1FAA-41B4-BFC9-AEB4B85BEE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$9DD307E6-E3B8-4E22-80AC-48103DBF189E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$50D4B0F9-0076-4339-A439-CDF9D41A5E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$1EE76F7B-16D5-4790-8345-5B5AF2480F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$15E16067-DD88-43E8-B4B4-8839D5E4D582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7794cb73f948d45ad66d583310a53a0a4dbb6541","datavalue":{"value":{"entity-type":"item","numeric-id":4525725,"id":"Q4525725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$7FB82F69-E5D8-48D7-BF51-E4215FB6CFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ac5c09f5d8340ff75896f976c408f38ef05401","datavalue":{"value":{"entity-type":"item","numeric-id":4412825,"id":"Q4412825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$7AB3CFDC-D71A-45AB-84BE-5EE5F3C2E460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$52C60DFD-7427-4252-8287-84D751DD24B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$90E44B83-E561-4066-BA89-7CEE91DB3741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60502daf1ba6abe18c2c96f496fb3463e9b5dec3","datavalue":{"value":{"entity-type":"item","numeric-id":3446820,"id":"Q3446820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$1C33565C-DD89-4776-AAEC-34C852955C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb5e81313562929b3637d7435bafb071d01e7e5","datavalue":{"value":{"entity-type":"item","numeric-id":2908870,"id":"Q2908870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$5C14D8C9-65C2-4682-ACB3-10DFA08764D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7863ec10d7ca05d18a7e3e24fdf7adc63897d76","datavalue":{"value":{"entity-type":"item","numeric-id":5020996,"id":"Q5020996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$F15695C3-029A-4FBB-A804-740D5DC7002F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6571f5e7b59314ce70c60fe99520c2ad4472991","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$CD1CF474-02A9-4748-AD78-AB0CD9543F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367f8febb0a4db1dbb48f3a255cbe84bea512278","datavalue":{"value":{"entity-type":"item","numeric-id":5021010,"id":"Q5021010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$5179C1D3-10D4-4335-9320-385E431AF2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7e8fd852c1edcb38ef134b0b76899ff6e40844","datavalue":{"value":{"entity-type":"item","numeric-id":2327515,"id":"Q2327515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147173$6D65C091-0D5D-4C27-A96D-2981B13EF4D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92edb522c9d04bb4fdf0bc59fc438fbbf39a9b88","datavalue":{"value":{"entity-type":"item","numeric-id":2999221,"id":"Q2999221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7bce3648396cbcbdae9286b8f1e1ac52090acc","datavalue":{"value":{"amount":"+0.7942218780517578","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":"Q2147173$8D518745-575B-4589-938E-03E2B041B15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a97448d9771c3ea620f5e8ef997bb70f0c8d51","datavalue":{"value":{"entity-type":"item","numeric-id":1667649,"id":"Q1667649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58a050fcaff2bf3b1b001f2267466c42378ded03","datavalue":{"value":{"amount":"+0.7851325869560242","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":"Q2147173$D2D8BA8A-4EFC-4E6C-831D-D18A634A8059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e09fa57aeb1f55298b6eec616fc70403b45775","datavalue":{"value":{"entity-type":"item","numeric-id":4558796,"id":"Q4558796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f7d9b6519487ae3ceda8959611dcb764a2a524","datavalue":{"value":{"amount":"+0.7823933959007263","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":"Q2147173$473E12BC-7211-4FB0-99A2-A504910A4CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e9f245eb4225131cc0caee62dec45b6bd3a214","datavalue":{"value":{"entity-type":"item","numeric-id":5485967,"id":"Q5485967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe69d1b92de6a435b0fa7d1e508f8778f01803a","datavalue":{"value":{"amount":"+0.7815659046173096","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":"Q2147173$6DDCE638-31A2-4348-A838-5D29EEF078C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a564cc5b7ef6d2791ce03f87f3cb8acc8c16d6","datavalue":{"value":{"entity-type":"item","numeric-id":5311264,"id":"Q5311264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78519470d0ac7873b6ac4c512c2587ffd3f19ad0","datavalue":{"value":{"amount":"+0.7573184370994568","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":"Q2147173$9243C4A9-1D17-490C-A155-C97D06E7DE7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear temporal logic -- from infinite to finite horizon","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_temporal_logic_--_from_infinite_to_finite_horizon"}}}}}