{"entities":{"Q2805159":{"pageid":2815897,"ns":120,"title":"Item:Q2805159","lastrevid":52526084,"modified":"2026-01-22T21:15:22Z","type":"item","id":"Q2805159","labels":{"en":{"language":"en","value":"Semi-decidability of may, must and probabilistic testing in a higher-type setting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578703"}},"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":"Q2805159$6C6378F0-ADB5-427C-BD4F-21B25500C613","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bbc0105e6939f4fb67edc5beb0490f47bc4c271","datavalue":{"value":"1337.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805159$968A3FB8-5785-48C9-9443-8EA09A47CE4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16afa49763aa251d50707d52eece0d5ea5808a6","datavalue":{"value":{"entity-type":"item","numeric-id":168355,"id":"Q168355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$DE5BAC7E-DA5E-4747-BD7C-894C484FB80F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$E78E925E-3B56-4F8A-972C-2DA553D477F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2805159$C3C96FDE-CAB1-4852-AC46-CBEAF35B7486","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805159$38C124C4-7E93-4475-8FAA-681DD3D5A370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805159$FC5E86D0-8F85-47A5-84A4-665226DC25A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805159$EA2DBD42-7F1F-4D7A-AD5B-37F15E9C32E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805159$0EB09224-4450-477A-A1B9-5FF5B1264E09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"926677648dd26cf2e8908edffa2222a87887f6c2","datavalue":{"value":"6578703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805159$29A72A17-1AD8-4D61-9E7B-9D49F48AE7E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9199d2a34e605cbe9885e79eb427d00c0efb1ae","datavalue":{"value":"nondeterministic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805159$928B584E-FFDA-42AF-9C04-BF90C4C2C015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"214080879eb7024d2e09b1045af7950440b4363c","datavalue":{"value":"probabilistic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805159$B76B599C-24B0-4BD5-8426-04B8B110AEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1f19e98555cd74ced29066861477df3f50b4412","datavalue":{"value":"higher-type computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805159$13C1D706-ACBD-4B7C-979A-F41CA318EC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c0075b8aacaf8bc2f47c773088a1cc18480e0b3","datavalue":{"value":"exhaustible sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805159$E36B27B2-76BC-4A0A-9747-1828912970B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca36a93b9cb0322970e369da76c616367a5c3d3b","datavalue":{"value":"may and must testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805159$CD7F7AB6-9B92-4958-9270-B809AACDCDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805159$BCD122D7-95F4-43E0-A11E-4D861A8EB352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805159$FACC6E01-2A6F-40F5-B2FB-147EC343E40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ccc4b88a8724899ad3e4825443f43ce1329224","datavalue":{"value":"powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805159$D916CFAA-4C41-4E17-A2E2-ABEF05CA7D64","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":"Q2805159$942EFC52-8006-4044-AC95-691EE55DF71C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01447410364a5bbab9078f85d47a600fa92afb29","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.092","type":"string"},"datatype":"url"},"type":"statement","id":"Q2805159$40BB57CB-21E1-4948-81CD-5D4E1296E6C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17f1fcb91c83717177967bd3a236a4f767ec286d","datavalue":{"value":"W2014952600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805159$037E05AD-9FF7-4548-A7D5-A1DDAD83F294","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$887986C7-407C-4C95-88D3-438C63C82EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$96769899-A6A4-4562-BBBD-3C19780DBA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"940e40505304447820d7c00ce48213b9cc86699a","datavalue":{"value":{"entity-type":"item","numeric-id":5262928,"id":"Q5262928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$4523377E-11ED-4D50-A8B9-FF36984741C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6c5904804a42b5924738c6004b52e8a9526c46","datavalue":{"value":{"entity-type":"item","numeric-id":2864147,"id":"Q2864147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$7618EBD8-0F94-41CB-815D-4043CECBDA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0955832cabd807291db057ce5b71aa0de35c2a19","datavalue":{"value":{"entity-type":"item","numeric-id":4260387,"id":"Q4260387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$60BEA96D-7AD7-421D-9DE1-F191BC17F4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"963f50b9d5349a527dfeebe710646acc98c51bb7","datavalue":{"value":{"entity-type":"item","numeric-id":1854356,"id":"Q1854356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$B0E8825D-5EFE-481A-B112-6C7C6E4C68CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f69ed0c3d030d35b191c944e3210be70f318fe","datavalue":{"value":{"entity-type":"item","numeric-id":3535608,"id":"Q3535608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$34CF4A48-B2B6-4443-B682-3ADEE27BF2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67862cc59add380e2445074c96a3a25018551f07","datavalue":{"value":{"entity-type":"item","numeric-id":1013087,"id":"Q1013087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$8E9CE7A9-D044-467C-BA6F-D8DE89485B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436052410061ed9e4b5a605becb3210221afaa85","datavalue":{"value":{"entity-type":"item","numeric-id":4659540,"id":"Q4659540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$B65EF79A-ABDD-4061-A341-A3D4B81F0567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd89d5c023988536194c34385fd16b601bc1eeac","datavalue":{"value":{"entity-type":"item","numeric-id":1349926,"id":"Q1349926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$F48C5A4A-7F8F-45DD-9D2D-1F2B61165D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68c250d398e623d795e5d7b483b44a661237736","datavalue":{"value":{"entity-type":"item","numeric-id":2844075,"id":"Q2844075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$A4A0FD1F-F3FB-4A07-AF4D-50FE51CEA948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f27a47faa6bfbd4ecf8717b703782030f0db64","datavalue":{"value":{"entity-type":"item","numeric-id":4261085,"id":"Q4261085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$FD0E1654-07F8-4996-ADBD-79075DCD281A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4393768142d695a7bf4b89d09f18eb76b5debb","datavalue":{"value":{"entity-type":"item","numeric-id":1274810,"id":"Q1274810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$2C68494E-A2AA-45E6-BE14-1F3942171BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$4D52ADB6-A2BE-4534-BBB2-23F4EDF7F094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$54F1947B-65DB-4174-BE64-B7A39DE3EDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff49b0aa543b067b67edd8b6adf982041feba194","datavalue":{"value":{"entity-type":"item","numeric-id":6116576,"id":"Q6116576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$E2B56CAA-DEDE-4BC0-BB19-3CDC02FA9841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb8f2bc01528ee0ec1436f72c55d42e0833b996d","datavalue":{"value":{"entity-type":"item","numeric-id":685429,"id":"Q685429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$59FBF5B5-BA53-4324-A150-9583ADE2E30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b1997b1125d4263d1b250c6cbe5cc97223489fb","datavalue":{"value":{"entity-type":"item","numeric-id":4373421,"id":"Q4373421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$8EBFA652-FA0C-4D13-9F9C-BF3A554BC1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$FBB727C8-BB89-4933-A3C0-1C98AD8672D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$151E980F-FDA3-4A41-BA77-EA5C437621C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e3697952a379e5dc856805691deee313dd3520","datavalue":{"value":{"entity-type":"item","numeric-id":1152949,"id":"Q1152949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$8DDE70FF-E5D1-462B-ABD3-D214E36D8483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a696143cd22c9df54b4bdaa0cf8a61daa436ca3e","datavalue":{"value":{"entity-type":"item","numeric-id":3998063,"id":"Q3998063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$AD846F32-4790-439D-847F-CBA9CC7DDD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a95392975f3ed4625c78f2400a066f29eb5432","datavalue":{"value":{"entity-type":"item","numeric-id":3731958,"id":"Q3731958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$84F2404A-A909-44CD-BF6D-0BC482DA93A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d5a6f84755ad43a773b6ab5ee14f3400a8f6ae","datavalue":{"value":{"entity-type":"item","numeric-id":4222969,"id":"Q4222969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$FA004347-DDDE-4ED8-A85D-6E45402ED28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7909993d72fefe567d67491e498a56c66e5f1e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1903697,"id":"Q1903697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$E0AD1605-2876-4AB2-8056-99616EBB4B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e70a46df6bd961b87332072844cab9b2ec8e762","datavalue":{"value":{"entity-type":"item","numeric-id":5958768,"id":"Q5958768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$5D141891-857E-4C23-A50C-07B488E55B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a14a6a1162eb47f53d8916146d9559e93ebc88d","datavalue":{"value":{"entity-type":"item","numeric-id":1607298,"id":"Q1607298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$AF2D5846-5A90-4D63-97F2-FE32F04165D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$EADF589C-71B8-4B5E-A8F7-C7E50D650F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$F2158515-3354-42D0-BD1B-EED519307601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7406857ede3ac3a439bf82484f21d07eda28f9d4","datavalue":{"value":{"entity-type":"item","numeric-id":4868226,"id":"Q4868226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$4D38448C-D442-4A45-BCFC-3CADE3F5D477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87173fb80eb98b244bad127843fde7966f7c636","datavalue":{"value":{"entity-type":"item","numeric-id":2852372,"id":"Q2852372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$4F274655-9914-405C-A44B-30E87F510182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e744dbf89d5a4d3250c3bcce0b2da4be03503b09","datavalue":{"value":{"entity-type":"item","numeric-id":864426,"id":"Q864426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$3BC7DDBD-AD6C-4763-97C3-F73D567657EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$DA2542D7-6B62-48C1-922D-2290401D7F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1863bf90e401334cfbacb6c47a168307202e36","datavalue":{"value":{"entity-type":"item","numeric-id":5415647,"id":"Q5415647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$7F741454-083F-4136-8630-200406CCF294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a1c16a6602d78f24e060112d1c1a5d7d7a56bf3","datavalue":{"value":{"entity-type":"item","numeric-id":4281486,"id":"Q4281486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$ADD50C3B-1FD9-428A-BF6C-A38249757C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ca39f061f7bb621dac7131279fed7ed70fcac4","datavalue":{"value":{"entity-type":"item","numeric-id":1137572,"id":"Q1137572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$A1E75405-239F-487A-A7DD-B451813A6E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$888245D5-596D-4DD3-B1C9-4C1632909E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b9668e64fb5e559efd1831f417d632f1180e5","datavalue":{"value":{"entity-type":"item","numeric-id":3316563,"id":"Q3316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$D859F25D-9C69-4E4D-905E-67660CD3F701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2144fe5495fdeccad8e3a872dd20d5cc6bcce44f","datavalue":{"value":{"entity-type":"item","numeric-id":3415205,"id":"Q3415205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$8A89192D-1E0B-46D1-8ACE-86C5B85BBC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4975d1abb2d17eced8cec872019842496981d896","datavalue":{"value":{"entity-type":"item","numeric-id":371258,"id":"Q371258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$5E2BBA97-FCCD-4A90-BF58-56943E173113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9d219c448aa712a35ee812c047663f1dce1c75","datavalue":{"value":{"entity-type":"item","numeric-id":5466795,"id":"Q5466795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$B165FCDF-0959-4E15-9957-56EE84B1F10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668aa29b2cc5410f360065c1422260fa655c9d04","datavalue":{"value":{"entity-type":"item","numeric-id":4870815,"id":"Q4870815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805159$07D7C2EC-0E7B-46FB-970E-2E9728E9A101","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af2cb21ed5d70750e45ed2120813fe559e594e5d","datavalue":{"value":"10.1016/J.ENTCS.2009.07.092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805159$C9BC3F11-7207-4A77-835F-DE80776A39DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98241598431bb1a73ca5a72e267f52fa9c48fadd","datavalue":{"value":{"text":"Semi-decidability of may, must and probabilistic testing in a higher-type setting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2805159$FC2EDB95-14E5-49EE-BCE4-9EE36DA1B43D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef4dd5ecb9d6073e50d69f13d2743b024baa99d","datavalue":{"value":{"entity-type":"item","numeric-id":2864156,"id":"Q2864156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"799f672568c8a48f292518d661ebeb83080fb033","datavalue":{"value":{"amount":"+0.7436745762825012","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":"Q2805159$2A528AE7-5E3A-4BFE-8F89-B362E6C3561D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08859ebc6c8358b09adb7af20e08647ecc7c5dcb","datavalue":{"value":{"entity-type":"item","numeric-id":4942011,"id":"Q4942011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0c86d913cfa7b3061f681fb61415b1815e3716","datavalue":{"value":{"amount":"+0.7341967821121216","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":"Q2805159$85281423-5990-4407-A9E6-7FD3CF35FA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db0332666f7334dac107679ac34a96df0f2660b7","datavalue":{"value":{"entity-type":"item","numeric-id":1941883,"id":"Q1941883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dcf6741a6cb3028e8e9f7d30a7c3909bbed9859","datavalue":{"value":{"amount":"+0.7236249446868896","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":"Q2805159$08030DE4-A393-4B0A-89E8-0B42CF5995F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b8f017d68ca4ca8de0b2716f47393cc3b9e180f","datavalue":{"value":{"entity-type":"item","numeric-id":3184679,"id":"Q3184679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07cd88adaa26dc843039775397e84b92918f1753","datavalue":{"value":{"amount":"+0.7191339135169983","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":"Q2805159$548A8351-71E1-4A8C-9FDA-959A4C8E8B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5699e328493b9384e4efc4d163e6ccee1ed5808d","datavalue":{"value":{"entity-type":"item","numeric-id":4536988,"id":"Q4536988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d84855cb6af65de95eb6ff5e21fe4260251052","datavalue":{"value":{"amount":"+0.7170351147651672","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":"Q2805159$5AD40644-9288-4045-AABA-94916398F55D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2805159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2805159"}}}}}