{"entities":{"Q2805166":{"pageid":2815904,"ns":120,"title":"Item:Q2805166","lastrevid":52526099,"modified":"2026-01-22T21:15:22Z","type":"item","id":"Q2805166","labels":{"en":{"language":"en","value":"Exploratory functions on nondeterministic strategies, up to lower bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578709"}},"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":"Q2805166$1C69759D-D6B4-43A3-A01D-AC6D648532C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"783ff5ee3d53f6550d3f4145106bd4d4d5dee165","datavalue":{"value":"1337.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805166$D245C5F2-76D1-4081-A6E4-7F8F3068B4F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0859f0264c06097e37f924eb5410948debb1e134","datavalue":{"value":{"entity-type":"item","numeric-id":857914,"id":"Q857914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805166$CB2B7CDF-CA4F-4D38-92E9-9CE96D6AE838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cfcca71f0b0fb988fddb3756718ead27e03c9da","datavalue":{"value":{"entity-type":"item","numeric-id":2805165,"id":"Q2805165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805166$DA34A7A2-F913-4497-AD61-31F3215084DA","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":"Q2805166$8C78C3EA-B4F4-4342-97EC-B7B72C66C193","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":"Q2805166$DFFC4D31-2AE7-489E-B4D6-B99B8F1036DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805166$BBBA7938-87AC-4490-BFF8-3044540E130E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805166$557BB6B1-79A2-45DD-8EE0-5FBBC4BA571F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d3c25a9ccd1d3d5349de74dab18a989cb061119","datavalue":{"value":"6578709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805166$C41864E1-FFE5-4F0B-A307-EC81E540A08B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1f39b31643ac956a3480ce4ac11bdca9d075198","datavalue":{"value":"strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805166$08BD3040-0FED-4656-A7F0-2C9E7C5EE369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805166$DD5C209A-0F0A-4E4A-8556-D67B77DEA4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d266083bc7bd4965eeed9459bba3da5e0fbe75c8","datavalue":{"value":"exploratory functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805166$9D2B6AB8-9899-4313-B074-5CBF5BED0468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805166$877AF303-773A-40A8-BC6B-3CF98E4F9425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805166$EDFB39E8-1A9C-4F81-ABE2-57D52E2FEEE2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41a7d715f416eef9d520b3a231a431cbaabf1193","datavalue":{"value":{"entity-type":"item","numeric-id":14870,"id":"Q14870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805166$25536CFC-8B12-4993-AE43-F557D43B748B","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":"Q2805166$EDA48BAE-8178-4B64-8E5A-69B5AD74FD36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96c61c9889ef965a87ebe126a5051b4a28a24736","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.098","type":"string"},"datatype":"url"},"type":"statement","id":"Q2805166$C9F468A0-CFC8-4B75-A6B1-A384044C7B1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef2279ef8add9c8e699772b103abdc3db99ac150","datavalue":{"value":"W2160129419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805166$605DAAA4-8A90-4EBA-B955-6A34B2D66497","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805166$D05CBDC8-8AF8-4390-B535-4B724F49ACB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b283ddca817927e02b9c9acad35602739386b05","datavalue":{"value":{"entity-type":"item","numeric-id":1314355,"id":"Q1314355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805166$98340F6A-1645-418C-A2BA-7CDDB3C17CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39858e5e6602bf5c53fdfe25687285e93df8011d","datavalue":{"value":{"entity-type":"item","numeric-id":2863895,"id":"Q2863895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805166$2CA3ABEF-ACAD-4A56-8D31-317C9AE4950A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02347cf6896a077b78c14421b65c3aff33d06d27","datavalue":{"value":{"entity-type":"item","numeric-id":2474445,"id":"Q2474445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805166$045C6938-0072-4DD9-9E7F-326DDCBCA90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d61fd0251775ecc89999c54c5093919d359a307","datavalue":{"value":{"entity-type":"item","numeric-id":5958762,"id":"Q5958762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805166$27F39D18-37CE-4F38-BBEC-BD64C059C1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2750c9439738068e9e3784096addfb38ef1b24d4","datavalue":{"value":{"entity-type":"item","numeric-id":1434357,"id":"Q1434357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805166$E239217D-5885-4727-AC76-627B38983F8B","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":"Q2805166$A23EFD2A-3D00-4315-A59F-32F85A252092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4bfa9457d027b12b8611c991f6cb0d8d00a14c7","datavalue":{"value":{"entity-type":"item","numeric-id":4286532,"id":"Q4286532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805166$E9928F44-5C78-438E-B7FC-B8D855FBBF5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2972d28f8ac44d72880126f8b81f046973d00df9","datavalue":{"value":"10.1016/J.ENTCS.2009.07.098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805166$C87808D7-7528-44F7-9744-EAB76DEABFA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"917ce4fd957d4912bd8d1d7fa3a70514979ae9b4","datavalue":{"value":{"text":"Exploratory functions on nondeterministic strategies, up to lower bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2805166$3CC7F38E-E362-41AA-B90A-8863A27F829E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8c1e4bd40b2252cf6308699865916078544b767","datavalue":{"value":{"entity-type":"item","numeric-id":1941878,"id":"Q1941878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b08c3129f61a22b137aa4383614fd1ecf563bce3","datavalue":{"value":{"amount":"+0.7177640795707703","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":"Q2805166$32F87FFF-C76D-44E2-84E4-7735C1D87A23","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":"77e10582a5ce2f4d3a50097e3477c39c812988d2","datavalue":{"value":{"amount":"+0.6976197957992554","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":"Q2805166$6B1C7DF7-F051-45EA-AD1F-59AC7E0368AE","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":"05e719fadc7b610fc21d1c0a2a3ad72139a0acc4","datavalue":{"value":{"amount":"+0.6969460844993591","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":"Q2805166$4C77237A-CA0C-4D05-9DD2-A48FE4B13311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c3723ade50955cd921ab6a08109908b9420c354","datavalue":{"value":{"entity-type":"item","numeric-id":4910434,"id":"Q4910434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"269a31503257ed47dd41d3785e563ebd642fbefb","datavalue":{"value":{"amount":"+0.6945537328720093","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":"Q2805166$6545217E-CCBC-40D4-90F8-531E4E232DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f536895003c10dac6aac53c6b63d3c3307f81ab","datavalue":{"value":{"entity-type":"item","numeric-id":2508325,"id":"Q2508325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66bd6fd1d868b55ed5e6d3d89796a05e276cb196","datavalue":{"value":{"amount":"+0.6907660365104675","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":"Q2805166$64BB2FFB-8793-4C5E-BB10-55F37C07C930","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2805166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2805166"}}}}}