{"entities":{"Q2130600":{"pageid":2141343,"ns":120,"title":"Item:Q2130600","lastrevid":55406608,"modified":"2026-02-17T15:42:36Z","type":"item","id":"Q2130600","labels":{"en":{"language":"en","value":"Non-deterministic effects in a realizability model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7513468"}},"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":"Q2130600$7008A772-3254-42F3-809A-B6F6FEE23B4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75e81b95853f26ddfa729a1137b17fa9a4b446f7","datavalue":{"value":{"text":"Non-deterministic effects in a realizability model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2130600$6A7B9E17-D547-4B9A-8572-E1CB1707D901","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60ac403d6762b3192c735da485a78f666e362961","datavalue":{"value":{"entity-type":"item","numeric-id":1688947,"id":"Q1688947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130600$C8DC4AB3-259B-4E03-9A47-D94A1B699CBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90c0720e1a62b0a0cc9fb728fce3a94226dbe7a2","datavalue":{"value":{"time":"+2022-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2130600$6633F7D4-352D-4922-8714-6A3BEF4E25DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130600$F18697DA-3EFA-46DC-9612-790B22EED04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130600$63103AB9-1E39-4C7B-82C6-6C70FB1F66A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11a598c388cc1484a66615aae5d8b7b428f38d6c","datavalue":{"value":"7513468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130600$A001F838-A31F-4120-9510-130619F5B2DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf708c9f6e9488802c3788c51f5c19d067cfd1cd","datavalue":{"value":"non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130600$AAA13C79-EC5D-4D91-A97F-687E5A328DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130600$6D87156B-8C44-473A-AF5E-2596DC0537CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130600$B6DA1516-C7A3-4345-8D78-B3F0CD182770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ccc4b88a8724899ad3e4825443f43ce1329224","datavalue":{"value":"powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130600$44E66AA3-939B-42D6-9474-F380D6C1C31D","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":"Q2130600$DAC63C67-164B-423E-8443-51982EDB316B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb62e920466699354ac2b32dcf3eb70900e61f75","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2018.03.029","type":"string"},"datatype":"url"},"type":"statement","id":"Q2130600$215DD3F4-5D64-414D-969F-DCE52E901520","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d619503567601eccd12fade20c70ef7d1b509ee","datavalue":{"value":"W2799398422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130600$796A3E97-C05C-47D0-9667-426F290B6C36","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a69524f197df979bf7b7ef45eec7f4d54f71c44d","datavalue":{"value":"Q113317551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130600$9F1E5A2D-5874-47D9-BFCD-633E35083E52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5642a96dd5f7db61859048835501364861af5e4c","datavalue":{"value":{"entity-type":"item","numeric-id":2851317,"id":"Q2851317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130600$92654BDA-AE30-4832-9672-595EBF82AF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4540cedad6250008610d476f6e4d35f0eb6f26cc","datavalue":{"value":{"entity-type":"item","numeric-id":3178272,"id":"Q3178272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130600$8BF80E76-FA04-436D-93D4-2C5E8F823B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a4cbf56ea981b52a07637a567a55b34cf280c6","datavalue":{"value":{"entity-type":"item","numeric-id":2921115,"id":"Q2921115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130600$FCB14DAC-F3BC-4C98-96F0-3E28EA16F858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45131a38ff53f12b9952d52e2962c28740fef2f7","datavalue":{"value":{"entity-type":"item","numeric-id":3161424,"id":"Q3161424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130600$EC6CEDB5-650D-4E7C-AC2A-427D131553B5","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":"Q2130600$D2679060-2D89-45EB-985E-F7D04E1473F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130600$1DC3F6BA-ADB9-4427-A786-450CB214BE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18c0ca64f7ec43883c40349831c2647f298047","datavalue":{"value":{"entity-type":"item","numeric-id":3481914,"id":"Q3481914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130600$7E8F6E0B-02D4-4CAD-B6D0-8B96709AA607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fefcdda7bf616827053741c3d4864232e0b191","datavalue":{"value":{"entity-type":"item","numeric-id":3457676,"id":"Q3457676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130600$9CD49F1A-E5E5-4EA7-82A2-769D223A891D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca169f51c3a9cfac98e4ac415c44c9ce7007576e","datavalue":{"value":{"entity-type":"item","numeric-id":4366768,"id":"Q4366768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130600$C8743E6E-DC62-4E8B-8017-3E5DA5F3ED55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130600$B94F6DFE-1AE2-4946-9E2D-FF3E757E9242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70583c666fb181243edc32fb54593edbab1e32b","datavalue":{"value":{"entity-type":"item","numeric-id":1811033,"id":"Q1811033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130600$EA82EAED-C696-4FF6-9EA2-CF1B0CC52DBB","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":"Q2130600$E8D54A96-8662-4A42-9686-C49000E823D8","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":"Q2130600$8306BFAB-7966-4D60-8B28-41AA695D89D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddbfd729ae1c333e7198ed3295196a3022512dd","datavalue":{"value":"10.1016/J.ENTCS.2018.03.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130600$8555E550-6EEF-42C5-A450-516E35ECFB09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91484a1dc465a0a96bdbee9cdd3afa1cf69c07b6","datavalue":{"value":{"entity-type":"item","numeric-id":5145321,"id":"Q5145321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63c9e8b85a7b86eb0e59f8178c1ff539cdbd022f","datavalue":{"value":{"amount":"+0.7396767139434814","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":"Q2130600$0F3F0424-9143-417C-A0D6-B3C083945DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f8fd09c758665bb88f5cae6fd2cc092dba84762","datavalue":{"value":{"entity-type":"item","numeric-id":371259,"id":"Q371259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c13cc045add36eb36e4e6e08ecd5314d8e14699","datavalue":{"value":{"amount":"+0.7086501717567444","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":"Q2130600$8B915853-BE4F-4363-B307-7229CCD8EF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b32e131c4df944ec43e47e50cd77ac3e58685f","datavalue":{"value":{"entity-type":"item","numeric-id":3644761,"id":"Q3644761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7375a52469e6777349865c717bddb3bc991e309","datavalue":{"value":{"amount":"+0.7059460878372192","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":"Q2130600$FF580788-11E9-4B74-AE36-4346092CD584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26735b3f36f3bf5caae115f6891e8dc60ae34044","datavalue":{"value":{"entity-type":"item","numeric-id":4536613,"id":"Q4536613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb2707aa5e38e020b273cc24a27513a79b3a956","datavalue":{"value":{"amount":"+0.704194188117981","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":"Q2130600$67CC8928-5808-4296-8893-97BFE0F4DACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f938c0911d64bcaf966ae4212f81214d5f9a2ffe","datavalue":{"value":{"entity-type":"item","numeric-id":3216137,"id":"Q3216137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"019456d40cac22effe7ab721262ee281796809f4","datavalue":{"value":{"amount":"+0.704003095626831","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":"Q2130600$02F87161-AD24-4B3D-8489-39E7A64678EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2130600","badges":[]}}}}}