{"entities":{"Q2411048":{"pageid":2421791,"ns":120,"title":"Item:Q2411048","lastrevid":52932803,"modified":"2026-01-23T20:32:38Z","type":"item","id":"Q2411048","labels":{"en":{"language":"en","value":"Satisfiability of \\(\\mathrm{ECTL}^*\\) with local tree constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794012"}},"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":"Q2411048$56FC4E73-6729-46F8-91C4-616BBA28E191","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dba83f3a78e2ccb84b90d400a60a9a4915a813d","datavalue":{"value":{"text":"Satisfiability of \\(\\mathrm{ECTL}^*\\) with local tree constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2411048$EB750B35-479E-4BC5-AFE1-67853C2699A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67e89863cc15e5cce3f900a37e20e4cc2f482bc7","datavalue":{"value":"1435.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411048$C1B760F8-01BB-4B51-B583-85A1643E2AE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0304269a52369b78f1d53e7a704975278af2eeb","datavalue":{"value":{"entity-type":"item","numeric-id":269501,"id":"Q269501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$C8EA06C5-6029-4932-A444-E9959580214A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff14b2229f33735cab555903b1ee721898ea9a2a","datavalue":{"value":{"entity-type":"item","numeric-id":2102775,"id":"Q2102775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$B0D9C5A1-682B-4D8C-BF14-1A5D04A418B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06012f2a57f37290b6cc56ae38272af569718724","datavalue":{"value":{"entity-type":"item","numeric-id":269502,"id":"Q269502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$6769A0D4-B279-422D-8756-6EA8BC162D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db8f30a521e20eb0f40199bc337d407bb71223c1","datavalue":{"value":{"entity-type":"item","numeric-id":269346,"id":"Q269346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$0D898BCE-5442-4325-AEE1-B24FD4D93554","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$F062BF11-DEED-467C-B2B3-13EC123CEE77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2411048$BF666390-58A6-43EC-936D-A37244784769","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411048$FA2FD515-FD4E-4AC1-9F51-9EDEB8E41416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411048$953A24C7-566F-46D3-8F06-D51AFE7D660D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbd62e88712f6d96cb9caa6e1711dbeb4c5082cc","datavalue":{"value":"6794012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411048$0F721377-63DF-4D62-AF73-974227A01C5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411048$1FA9A489-913D-4E6C-8CD7-535997A59F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63cf4b104e286ffef3e822d6534377c1d1595012","datavalue":{"value":"\\(\\mathrm{ECTL}^*\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411048$C05534B3-AEBE-45B4-BF1A-FC16B785CC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e491d7320e49654ffdc1da0b880b75ac13c8127b","datavalue":{"value":"concrete domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411048$788892FB-433A-4776-A4D2-7D39F607AC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae838cc89c8001faf5295f06c74ae6f8dcb58d8f","datavalue":{"value":"local constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411048$6B4C0419-3DC3-4C1B-BEC7-6A66427F6586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3f9c202c7b37631be414c0275623316157f1712","datavalue":{"value":"semi-linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411048$AF3AB6C9-C600-4F2E-BBA1-9F0AC43A5271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d0dd6430ffcea680acc23fac167e1619a4ddf46","datavalue":{"value":"ordinal trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411048$BC76080B-6508-4F93-A43E-DB3F7AE0A755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f91086e01de6951ec62f8c3e52a16efb174d0a79","datavalue":{"value":"WMSO+B","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411048$704B2A81-65D9-48DC-BCED-277530FCA78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff33355b1cb342789debcb1a3d6f940ec3574695","datavalue":{"value":"EF-games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411048$0978EE49-D74A-4F2E-AEF0-AC2DABA3AC51","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":"Q2411048$7815626D-352A-49E7-800A-F8C23754428A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fdfb3a740f28bc8e4f7889668f97959014fe119","datavalue":{"value":"https://doi.org/10.1007/s00224-016-9724-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2411048$4AA6B68D-C3CB-475C-87C8-B85EAFA59310","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0211acbc17ee9d1c30daf2067f26f4c3fccfb814","datavalue":{"value":"W2568298848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411048$8E2A2D0E-E6D9-4368-85A2-AA998D608A93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa95fc5a9276312473aacfb909d47c798f6352b","datavalue":{"value":{"entity-type":"item","numeric-id":4601873,"id":"Q4601873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$D976DD69-E6E1-43E0-AAE5-3570F6D5235A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e3faefa91cb38d80ce0012441421cdf35901930","datavalue":{"value":{"entity-type":"item","numeric-id":2904801,"id":"Q2904801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$53B64C7D-2CDE-4FD1-8C90-8CA36E429B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30f84725f6251bb42b22c0899c4da6b339823e1","datavalue":{"value":{"entity-type":"item","numeric-id":5387893,"id":"Q5387893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$98069DE0-0B4E-4A91-9CAC-383D787A744B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c955681da2018080e848def27f6c4a71b961a7","datavalue":{"value":{"entity-type":"item","numeric-id":2435309,"id":"Q2435309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$24895180-074D-49E2-A5F3-DE2ED7C1ACF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"133400a1553ddb8e449ba494cb53d6f3edd02622","datavalue":{"value":{"entity-type":"item","numeric-id":3194710,"id":"Q3194710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$10857211-28CB-4153-BCC2-19B77A777DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fdad2a9fa196601b6354a6ce60636f0d1cd1af","datavalue":{"value":{"entity-type":"item","numeric-id":2842126,"id":"Q2842126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$55B5C251-1135-4423-87DC-DBC96D420B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e165a7a6477842c9b94e220ef5deb70f36c84a8","datavalue":{"value":{"entity-type":"item","numeric-id":269503,"id":"Q269503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$DA9632C1-45CE-4DB9-93C8-D7F819EF5514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c83f832cc8a526baffc93f02c4bcc6effad64f","datavalue":{"value":{"entity-type":"item","numeric-id":2826034,"id":"Q2826034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$5A8F56B9-C32D-45B3-9E32-A4314C9F91AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d713119ce499c7aa6060f9ba74dfee79edde132","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$594AFC04-6BE2-43D9-883F-295B1012A2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9688b3c493712ae528b93ab8b3c189e13a28b9f7","datavalue":{"value":{"entity-type":"item","numeric-id":959820,"id":"Q959820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$8EB72B72-56A0-4BBD-A770-FEBC3B772071","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":"Q2411048$374A2957-1B6E-4E04-8FBE-FE6DEA07A021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a76088d6735788c18490539130cc85414ca5bd99","datavalue":{"value":{"entity-type":"item","numeric-id":3705492,"id":"Q3705492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$D5929ACF-B216-48E6-812F-125416F8EA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$9E7A97F3-8131-4F1C-BD24-FA709AB1AAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88ddfea9e9c1fa373414687024f026b9d8bafcc","datavalue":{"value":{"entity-type":"item","numeric-id":5179062,"id":"Q5179062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$314EB571-C005-4AA3-913C-7DD4798772DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2feffd749bdd53ca23f4c680ce7d71d3d16023","datavalue":{"value":{"entity-type":"item","numeric-id":5805113,"id":"Q5805113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$CB770D27-3718-44D8-A89C-B089EDCA25FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a438e696f7fa90196f7c2ef9e9a8d6eb8fb9c3e","datavalue":{"value":{"entity-type":"item","numeric-id":5789532,"id":"Q5789532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$E4DDC657-DBE5-4B3F-902C-6F377E401469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3796d9f03b4ae0103a65fce1ee3fb718e92184f","datavalue":{"value":{"entity-type":"item","numeric-id":3341881,"id":"Q3341881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$514AD68C-72E2-4275-A9D4-C25F4E5E2961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5163a190d3b3bcaf278fa611cf7e0004d711bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3845886,"id":"Q3845886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$940772A5-4248-4061-B95D-2C021AFD711E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b796e21f4a37843f1ab9a372689bf6e8aa667f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5510193,"id":"Q5510193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411048$0EAFCF04-4415-45E3-B968-4E80AFDD49CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddfd7e3fa451f690fc18d6b6f1e9e05ba6f2569c","datavalue":{"value":"10.1007/S00224-016-9724-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411048$BF3C577A-1937-4DB8-B674-696B075408EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cea7118cf616a7d0b2c6d837aadd97c3f63cf587","datavalue":{"value":{"entity-type":"item","numeric-id":3194710,"id":"Q3194710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8594a00cd5ee952eb5c9d6472b11906d4ed6a411","datavalue":{"value":{"amount":"+0.9391529560089112","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":"Q2411048$9E7E7D23-F2D1-42EA-98E3-4BA064B6F3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6bfe351a30763e55af7d50da8fc25f116b21827","datavalue":{"value":{"entity-type":"item","numeric-id":269503,"id":"Q269503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719ecc0ebf0850060a951e59d83901e9a8cd3166","datavalue":{"value":{"amount":"+0.8762574195861816","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":"Q2411048$DD29E145-F684-4C19-BF51-34AAE2B22C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84076fcfc02c872a27bfb0acde86b8dbb8756690","datavalue":{"value":{"entity-type":"item","numeric-id":1784942,"id":"Q1784942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c43bdd04c0107f0b22c8bc8df2b646fc8da2468","datavalue":{"value":{"amount":"+0.8466850519180298","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":"Q2411048$786E7F04-14BA-41F3-8052-DABACFFF8A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac97009fd0eee5d76f5db5dfc3815a7e021dd25","datavalue":{"value":{"entity-type":"item","numeric-id":2842126,"id":"Q2842126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387943d57a9ca070ad77e53d6a23f3aef281dec3","datavalue":{"value":{"amount":"+0.8286013603210449","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":"Q2411048$A7CF7C02-3A62-445F-BD85-23925B958F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3946b755c52c0b6614394d022592b70192cce7fd","datavalue":{"value":{"entity-type":"item","numeric-id":5351946,"id":"Q5351946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f1f64421892a15aef0a28f607cc372224dd76c","datavalue":{"value":{"amount":"+0.8119691014289856","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":"Q2411048$D2186BBF-A593-48E1-8ED3-86E215A1948D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2411048","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2411048"}}}}}