{"entities":{"Q2851672":{"pageid":2862392,"ns":120,"title":"Item:Q2851672","lastrevid":51843860,"modified":"2026-01-20T07:54:46Z","type":"item","id":"Q2851672","labels":{"en":{"language":"en","value":"Step-indexed relational reasoning for countable nondeterminism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6215585"}},"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":"Q2851672$57BBFD1F-8CBB-463B-87D7-186901F1D501","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0f518cd67dcc737c254b115d008d248089e5a18","datavalue":{"value":"1274.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851672$36F201AD-BADF-4BD0-B9C9-C1A867BB7DC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9dfac21b831db27aebb0ded7d588d532696155b","datavalue":{"value":"10.2168/LMCS-9(4:4)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851672$4D9B1C01-9B40-4133-8593-5D00BCE0956F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2574135da41ce8fb8efa05f8438741fa998b3","datavalue":{"value":{"entity-type":"item","numeric-id":1704598,"id":"Q1704598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851672$DB299598-C340-4FD1-8829-81C19B5658C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851672$7077A96A-508E-414B-8B37-B8A723140F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f6e1f9f3f83ab8ce5ed045378a12428f006569f","datavalue":{"value":{"entity-type":"item","numeric-id":2339471,"id":"Q2339471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851672$663A7B26-990F-4F59-B6C8-06E60095A7F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851672$77CC0790-60F1-4F33-8AC1-35163BA3E885","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e66e529c7db342e2e69c7d5a949f71cd11d4666c","datavalue":{"value":{"time":"+2013-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851672$A166E6BB-50CB-4867-B8ED-D60582521DAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851672$E9306DB2-5CD5-4CCB-917D-3EBDC4713DE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c81b30a3e931e4c1ac27bfb0a5745d8795668f78","datavalue":{"value":"6215585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851672$3F348B66-93E2-4945-BFDF-595E09769694","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10ab4ac6221d10db0f61cf610dd5def513f40201","datavalue":{"value":"countable choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851672$9E1913AB-19F3-49D5-9333-486E298E489D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851672$7D710D08-7C76-44E3-82C6-02A01CB6D976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851672$3CDDF2B9-22E6-43F6-9565-1B45BD45BC71","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":"Q2851672$F48D7B3E-55C7-41A3-8901-CA8657B5FC9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7cc9b98f7537a90e07eee5bb9b1dce5493d2661","datavalue":{"value":"https://doi.org/10.2168/lmcs-9(4:4)2013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851672$559A9D8B-80B6-401B-ACD8-6DAC074981D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26d2f1d51c68bae91b5ca80e0a1433f7d45d33cf","datavalue":{"value":"W2761554012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851672$51894017-5FB5-4531-841E-AFE165F8BD48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee8525e6679f5331c74fa1cad0d815c204b4a5be","datavalue":{"value":{"text":"Step-indexed relational reasoning for countable nondeterminism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851672$D9F529BA-42F5-432F-8567-42930528641B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2479d05552d9b1e285b08fd1d127a1c16e451529","datavalue":{"value":{"entity-type":"item","numeric-id":2915708,"id":"Q2915708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d2a7e33e9d2bb8f4afc1cfdb3e4112825826282","datavalue":{"value":{"amount":"+0.9989997148513794","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":"Q2851672$13AB95B0-FF5E-41F8-9EAB-92523D8175CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a03647ea8e2a70e43e4a9ec1442cdf6acbdcf4","datavalue":{"value":{"entity-type":"item","numeric-id":2949445,"id":"Q2949445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a17d4fefec4c954ab02ae1f83a7d2f5cf2e301","datavalue":{"value":{"amount":"+0.7791967988014221","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":"Q2851672$E06F09EC-6E49-411B-AD40-AFDBA3D12533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523e7a24d41b37a87f2d7aec9e445c950cdc4ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5170811,"id":"Q5170811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca503a63d0add69830976313e4b4ae20a2bd7c8","datavalue":{"value":{"amount":"+0.7759033441543579","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":"Q2851672$171426AF-8E16-445C-A9E2-B4CDFE6CC561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777459213348351f89923332367f94851441950f","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd58050ad67ba51c15228964a71a4e4c4dbfc0b","datavalue":{"value":{"amount":"+0.7726944088935852","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":"Q2851672$DCDAA496-34D5-4310-AD0F-0C60D517EC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f1449c8b40158dd6d3a47d44ad7d7a08a94df67","datavalue":{"value":{"entity-type":"item","numeric-id":4222925,"id":"Q4222925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cde41b7214915b66cc4074b723b42b2f4590777","datavalue":{"value":{"amount":"+0.7657127976417542","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":"Q2851672$466B352F-BC22-4377-ABE0-D91FD024D3C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851672"}}}}}