{"entities":{"Q342712":{"pageid":344479,"ns":120,"title":"Item:Q342712","lastrevid":61105284,"modified":"2026-04-10T21:13:06Z","type":"item","id":"Q342712","labels":{"en":{"language":"en","value":"On temporal logics with data variable quantifications: decidability and complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6654482"}},"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":"Q342712$1210E226-B52E-486B-9AF0-8E9D0D60629A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6488d070d1b3ab345f48e8dad1701908e7e28a73","datavalue":{"value":{"text":"On temporal logics with data variable quantifications: decidability and complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q342712$B97F85CB-FE0F-4EB8-95B9-DE41DF467280","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5b2ec5263e62b3ea06734f7f0c290022bf6c3f1","datavalue":{"value":"1353.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342712$6D791441-1C7D-48A7-BD4C-23BE9158E1DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7827c426fd62b1155223da4c43f3f5ddccba9caa","datavalue":{"value":{"entity-type":"item","numeric-id":342710,"id":"Q342710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$160AFDFC-450F-4466-A35A-85198D1529A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5f7394a0cca1cfe5ffc6e0fdd04b8d512ae0ea","datavalue":{"value":{"entity-type":"item","numeric-id":342711,"id":"Q342711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$84FA4B0B-7A14-4602-B3B9-5A04DB96F89A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$8990C066-5D5A-4591-89EF-9CBCAC69FC90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dac78b9bb71968e13ea8fc46c1617527ad28a13","datavalue":{"value":{"time":"+2016-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q342712$24DDA1BA-29DA-4949-8830-9DE31E1AF2B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342712$BD467009-60B4-415B-9D2E-B92703B38994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342712$27886D66-1463-49FD-8FFF-E8EBE5E9F8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342712$64A71D72-85CD-40E7-A9F5-AF11DD0E993E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8645a22869f880032f96b1f16d81445498a20a38","datavalue":{"value":"6654482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342712$6D66B692-481A-447A-9529-F3A6884F0D1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q342712$CD8D1B26-D658-494A-9498-7592B2FF16BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a55807204f82eadcf780a7099d6a44665fcd3c3e","datavalue":{"value":"data variable quantifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q342712$C000EC4D-745D-4675-87A8-3C58080F97F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q342712$CFADEF35-BC5E-463F-875C-2E8DA515B169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q342712$233FDEB1-9E91-45F3-8504-73265065545D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d277530f46db30b30809095acafdcdba8c6724c","datavalue":{"value":"decidability and complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q342712$94819C48-1457-4F6B-8EBB-9038D28659F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9491bd70461d3530271c55f7797a93e30a49b53","datavalue":{"value":"alternating register automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q342712$8FD353A7-AABC-4D06-B624-B232E8D27253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bf7c9265fd4f992e9a8c6c7aee3456027d55c7d","datavalue":{"value":"data automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q342712$DF421FD4-0A6E-4A3A-9BC2-94AB17D65722","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99667ff6306724dbe63bc589a546934d523de225","datavalue":{"value":{"entity-type":"item","numeric-id":21966,"id":"Q21966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$AB7AB1E3-ADC3-447E-8A9E-56569D6770CF","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":"Q342712$0A04F809-FFBB-46C0-A2C6-C88AEFE3BBA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93ae36b5c6aaf87f5a8571f2cce016f4dd536266","datavalue":{"value":"https://doi.org/10.1016/j.ic.2016.08.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q342712$2D4323C1-36AB-4268-9D89-AF62E5D0A788","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fc5a2b4662ff60f29cecc51f3b3593a3aebda43","datavalue":{"value":"W2518211214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342712$8FD93DC2-5C15-49B1-A092-BDDBBEBDF2E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$FB840BD7-4C19-45F1-A154-78D1323456C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aaa7c2a801938246bc5b9c35ae533855c08aea3","datavalue":{"value":{"entity-type":"item","numeric-id":1090673,"id":"Q1090673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$1933C463-FDA0-4D81-988C-2C2B87425239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56abf17fe38c9d6f19bb07c76c7c037b3d964b6","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$566951E7-6AF0-4EA7-836B-4E2216F54B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9456d9b3e59e143f5e55b694b92114428f6e73","datavalue":{"value":{"entity-type":"item","numeric-id":1123184,"id":"Q1123184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$AC8E41B0-42B8-48B8-8D4E-C44AFE33BED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$68A35800-9EA8-426E-9981-DD20BFCC2D54","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":"Q342712$108B7D47-8996-4FB8-A86B-CB33B9322C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063ef552d100c0083ba89f17521c382cb80929e9","datavalue":{"value":{"entity-type":"item","numeric-id":2881089,"id":"Q2881089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$EC32D882-2F53-4120-A59B-DC8AB8E478A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645f01aa1359288a3beb20e956bad5cd0e9d3ca3","datavalue":{"value":{"entity-type":"item","numeric-id":2908879,"id":"Q2908879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$733953F7-D0E6-4B59-A6AE-1CE388CACCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b7a7ca28fe5dfe5806a083091f02bf0a675792","datavalue":{"value":{"entity-type":"item","numeric-id":5271038,"id":"Q5271038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$31F7C2CD-25F9-458F-AA34-098E2EBBB0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633fa92e858a340ccee89edd220e0d818a3e76b8","datavalue":{"value":{"entity-type":"item","numeric-id":3190138,"id":"Q3190138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$74CD716E-3ABA-40FB-A371-134DB4A285BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9afd666af0a1b11388408978b00fd6d2e3f578a2","datavalue":{"value":{"entity-type":"item","numeric-id":4649292,"id":"Q4649292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$81ED1315-8566-401D-94D7-E29DC845678B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e66c9e4329bd3562cd20c5556a5370c78deba95","datavalue":{"value":{"entity-type":"item","numeric-id":5166702,"id":"Q5166702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$45BC9B98-BAC9-4946-BB1A-36E1BB425402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ecb5e64792d2ede6f35346aa3ccaf4c78fb4fba","datavalue":{"value":{"entity-type":"item","numeric-id":3457808,"id":"Q3457808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$EE27B35E-84B9-4A20-BCC7-4CA358497D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdf687d30db9333f324e9f8d207b5c6ca6d240c","datavalue":{"value":{"entity-type":"item","numeric-id":2946676,"id":"Q2946676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$353D9F54-9ACD-49DC-8A33-888D67936A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3672e8fd63ccd5feb09fb8ca4a7263e9cf88fe8","datavalue":{"value":{"entity-type":"item","numeric-id":2978518,"id":"Q2978518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$89C67CF4-316F-45C6-9514-7866B12213C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b024f968ab39eecba87b54091254c36a354243e","datavalue":{"value":{"entity-type":"item","numeric-id":5277744,"id":"Q5277744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$F1CAD3E0-A9C1-47CE-881D-9A4E215DFE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5dfbb5bd6c7d89dd077ac227b69a104533f344","datavalue":{"value":{"entity-type":"item","numeric-id":5307069,"id":"Q5307069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$12C56876-EC5F-4C54-A00C-E11D7A21B5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e354eb56d1cea816c283aaca8bcbdb05e7271a41","datavalue":{"value":{"entity-type":"item","numeric-id":2486579,"id":"Q2486579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$3B6558CB-2314-48D5-BBD5-3497F3392A23","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":"Q342712$46ED165B-5246-47F9-A46B-1D52B0624F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265238326dd3ecdbb898da1797f450d75dec4237","datavalue":{"value":{"entity-type":"item","numeric-id":2894269,"id":"Q2894269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$ABFCDDBF-78C7-41D2-B5DB-A0FFD75C1358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2dcca34b147c280edbed8fdc8e5ead33595261","datavalue":{"value":{"entity-type":"item","numeric-id":5326341,"id":"Q5326341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$C3BD24D0-056A-4974-AED2-6E0957C6813C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ce10f2c105db58ec72d58d5665464175b07498","datavalue":{"value":{"entity-type":"item","numeric-id":921983,"id":"Q921983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$19F3E008-4E1C-4638-8318-80D82C3878EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$7F48CA47-BAC9-45DF-92ED-C6033DF4DA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4acb92f5f977d91828d0f85575a2ecca384ade","datavalue":{"value":{"entity-type":"item","numeric-id":2723423,"id":"Q2723423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$213F54A2-22C9-4379-975D-39023FA1F84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be4c10713dc8a049bf69c817dfcde9c9cf557e4","datavalue":{"value":{"entity-type":"item","numeric-id":5696925,"id":"Q5696925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$FDC7DC1B-2D13-4B36-804F-D2CD479DE9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$56498BBB-41DD-4182-BB36-A33A6F806AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c068faba989c4b8b1a1d366d186d693920ff87","datavalue":{"value":{"entity-type":"item","numeric-id":3564896,"id":"Q3564896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$093D67AC-A733-43F5-B4D8-06EC2F60BF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7636dbb3c75ee2b9209628fd8c22e23e8ac89e5","datavalue":{"value":{"entity-type":"item","numeric-id":4779173,"id":"Q4779173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$AE0AD5AC-E3D9-4FFA-8F50-D9E8A2C3CC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395e7465ca3c4028fb3a178530661b6974e88b32","datavalue":{"value":{"entity-type":"item","numeric-id":3056277,"id":"Q3056277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$59AAA7E7-F116-4F39-80CD-EDB89EB3F78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267fc310391f198d8664f1cfeaeae0ff880b2f45","datavalue":{"value":{"entity-type":"item","numeric-id":2890205,"id":"Q2890205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$C5189A88-CC0A-4B0C-8908-5E3F4700B68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69fa0fca4152d0ceba0adff0b419c31ebbaed308","datavalue":{"value":{"entity-type":"item","numeric-id":4649570,"id":"Q4649570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$57185764-D400-4D8C-A6A5-B7A9E10AF25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65e5d67453eacea5e8664de0ee611d577981fe33","datavalue":{"value":{"entity-type":"item","numeric-id":2881071,"id":"Q2881071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$01B3581F-9007-4A65-B7EC-339E2444C629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f24005a507592b2f118600d5e38213546bf71d","datavalue":{"value":{"entity-type":"item","numeric-id":4964723,"id":"Q4964723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$C7C61D8E-FDFD-4761-B0A1-48844B360916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e46313f83f85179114bd43a3c4a7397417d7c7","datavalue":{"value":{"entity-type":"item","numeric-id":3016221,"id":"Q3016221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$30933CB7-712D-4D52-AC0B-5C2F2C3EA00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"313ad0cd885536fd006ef256b06cb980894cd3b1","datavalue":{"value":{"entity-type":"item","numeric-id":5410335,"id":"Q5410335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$7BF9ECD5-2753-46C5-8B72-E9422A4EDEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e861579b80db6bbd68e7b114aa00c3ee8b93204e","datavalue":{"value":{"entity-type":"item","numeric-id":1959427,"id":"Q1959427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$28836563-96F3-4308-B925-F697F4F2386D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37df37f2c956809ba9ce6c86cb38c4f78d094cfb","datavalue":{"value":{"entity-type":"item","numeric-id":2946705,"id":"Q2946705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$72550BD7-65F9-4BD8-AA37-BCE7028F1065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b120062f57339fca997efc29520af66709e19b5","datavalue":{"value":{"entity-type":"item","numeric-id":2441804,"id":"Q2441804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$C1E21AFB-2D24-40C2-A051-A4005D0CA49B","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":"Q342712$589C9ADB-1C6E-4423-9CA9-9E5D994A1FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb4a91e9cc7eca8e9ff5f00e4ce6d5e415cf749","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$BC247C43-D015-4BA7-8EF8-9E2AFAE5B91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a437ea2e4ba467339e21bff686b0299080155723","datavalue":{"value":{"entity-type":"item","numeric-id":2811345,"id":"Q2811345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$756FCB55-9589-472A-92FE-D53B6E72645E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f99b6b8d77e20e3628ebd7f7a63c4bcb3523ccff","datavalue":{"value":{"entity-type":"item","numeric-id":846359,"id":"Q846359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$64D1EA1B-DC8C-41AA-AD27-CF2AFD8AEB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a26a1af667e232ab14af2dc3552831d3e45f382","datavalue":{"value":{"entity-type":"item","numeric-id":2368950,"id":"Q2368950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$6B5DF4A1-1928-493D-9816-C2F519056E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$6862108F-BCC0-4716-9EA1-6E0D0F0308FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee6413029ba009f86cfc2e978c2cf265197364b","datavalue":{"value":{"entity-type":"item","numeric-id":1386414,"id":"Q1386414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342712$5698CABB-F6E2-4819-94D4-A469F8BBEB39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ec34329a16e686fdb3cfd88a6233985199c0d9a","datavalue":{"value":"10.1016/J.IC.2016.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342712$DA3A640E-68BE-401A-9827-A3DD8E60431E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66ece97469a3e719d12b9c43c27e1d2a2f71894","datavalue":{"value":{"entity-type":"item","numeric-id":2978518,"id":"Q2978518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89db253651ca004bc586d4ff1e36eac5cefcd2b6","datavalue":{"value":{"amount":"+0.9801713824272156","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":"Q342712$8DED0181-D269-45B4-9195-1CC946FC7B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b60cc2292f3f6897bcdcf481e097734ffa100a6","datavalue":{"value":{"entity-type":"item","numeric-id":5387893,"id":"Q5387893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"847f708d260309d2a47eba3dd592b6f8677acb15","datavalue":{"value":{"amount":"+0.7979425191879272","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":"Q342712$CD464F36-B7DF-44EC-ADAB-B50A7E8343DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb6d3e335afef7e29666b87fc24acf61ddf3128","datavalue":{"value":{"entity-type":"item","numeric-id":1623150,"id":"Q1623150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41333b3c36a4ba941473484490b84bd1993d0676","datavalue":{"value":{"amount":"+0.7955724596977234","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":"Q342712$5998B763-9614-42F2-A4DB-0E5E494545B4","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":"4d0557abbde05356982d7ce55f71dcac7ee3e350","datavalue":{"value":{"amount":"+0.7783256769180298","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":"Q342712$697F081A-0915-468E-842E-EB09B5D64C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389c0ea34ba4bf23842571849fba71019b311171","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112ceed84a8ef7f92e36ee4beafd0b2b43dd075d","datavalue":{"value":{"amount":"+0.7705398201942444","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":"Q342712$833554B9-9CE0-4926-A93E-11EAE868BEEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On temporal logics with data variable quantifications: decidability and complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_temporal_logics_with_data_variable_quantifications:_decidability_and_complexity"}}}}}