{"entities":{"Q4625654":{"pageid":6655236,"ns":120,"title":"Item:Q4625654","lastrevid":89951738,"modified":"2026-06-04T18:42:17Z","type":"item","id":"Q4625654","labels":{"en":{"language":"en","value":"Reachability is in DynFO"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7029218"}},"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":"Q4625654$7E54B4BA-C8E6-4E92-957F-D12E4AC0A13D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a22a470c76c47aba06339e3e4a635db86c76ba8","datavalue":{"value":{"text":"Reachability Is in DynFO","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4625654$25D0018F-C652-44E3-AC59-BCA98313D6BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2db03a249f7a6134ca7993fffe14e70575fe8cf1","datavalue":{"value":"1426.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625654$7E27E6BB-A059-4F4B-A4E8-0BCFA98A2B99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52efb543d4fca3c0217bc0acab5e5a2e73ce76d3","datavalue":{"value":"10.1145/3212685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625654$2CAA4853-47B1-44B6-8497-63666267136E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d268cc14b26283ff3edfa9c8cbf12be2e48f6b06","datavalue":{"value":{"entity-type":"item","numeric-id":385512,"id":"Q385512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625654$B1976F13-FB34-4172-B54C-DD5090753343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10c8f5e1bffa273fb36637ecf9a1ec460c2f132","datavalue":{"value":{"entity-type":"item","numeric-id":344774,"id":"Q344774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625654$7C1664A6-4D2E-4249-9F04-5CD5CB2FED34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e138180cdfdcaef35f9905fcf9627825babcc21","datavalue":{"value":{"entity-type":"item","numeric-id":2102957,"id":"Q2102957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625654$DF9931D1-D76A-4CD7-A6F1-F9A1049C9CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a30c2c13b8e433f8b7509914fc24c7510ae2c202","datavalue":{"value":{"entity-type":"item","numeric-id":208764,"id":"Q208764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625654$D4422454-8079-4436-9511-EAFDFAA2D91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f50344d6d2402c082431ec7cf80747ef3aecdea4","datavalue":{"value":{"entity-type":"item","numeric-id":509760,"id":"Q509760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625654$F06CEFBE-759F-4C06-9E62-370D6B4413C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4625654$52AB4118-8A32-497D-879D-43C7B34E8F09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dc29c15a6fca964aa571755fad99d56eec8fcf01","datavalue":{"value":{"time":"+2019-02-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":"Q4625654$C7644266-C928-4CB2-B193-AA1A54A70B80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81cd237c7bd99521294028cb38dc64a883ae1402","datavalue":{"value":"https://arxiv.org/abs/1502.07467","type":"string"},"datatype":"url"},"type":"statement","id":"Q4625654$7E95F3C7-EFD5-485F-95B3-4C5AEAEDB4C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625654$B090D84C-D593-453D-959D-6485F7BFBB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625654$D6929C3B-BD14-4406-8ACE-F8C687ADDEA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d921747066e148c79c85188b99f201df5479607","datavalue":{"value":"7029218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625654$17CB9BAD-B0E8-4252-A022-EFADD87B476D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"059015c0f770582f7b87d36c48dc3b1b955b7e65","datavalue":{"value":"DynFO","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625654$B9CC8905-8C2F-433E-AD33-9B1C8C5A73D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e87aef05ff1728f878f1cf93e12f4c2f395529ee","datavalue":{"value":"dynamic descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625654$A845048E-FF37-4DCE-9A76-5EFB6F533D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4625654$126AD0EA-FF5A-4B66-875A-E51999338F89","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":"Q4625654$3BB4F628-3287-4D38-905A-0F9F9A5B358D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0968d2a16770c7c02ca673495b5d2eb381ae4a2b","datavalue":{"value":"W2998720137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625654$04109D59-3245-44F9-8A7F-7F12513234EA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f9b7cdbd918a22b56a995c4d96c212ac27a0aae2","datavalue":{"value":"Q129333575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4625654$26730D6E-934C-42DC-A59C-D9D5C0DB150D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cdcec0cfa1a345863692ef67539518ef9496ba0","datavalue":{"value":{"entity-type":"item","numeric-id":3449473,"id":"Q3449473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eeebbba4b70e292bcc16b3d16cc621d7489bfce","datavalue":{"value":{"amount":"+0.9477762579917908","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":"Q4625654$0BB6564D-CC61-4AAE-98D4-C37CC79977D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6c167fa88786147df20cebcd22be7d8a86393c","datavalue":{"value":{"entity-type":"item","numeric-id":1376403,"id":"Q1376403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709bfcab76eb711055b1954a043c700c97e3d638","datavalue":{"value":{"amount":"+0.8551855683326721","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":"Q4625654$321A3715-FC64-4F43-AC05-17F2C8D06414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3963aaa5cd704e7c278e11d8857650486dd9682e","datavalue":{"value":{"entity-type":"item","numeric-id":2849966,"id":"Q2849966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f19be93c815df43ac1c851891ffa909e16206843","datavalue":{"value":{"amount":"+0.8478336334228516","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":"Q4625654$1E12B497-692C-4C2A-9076-3ED54B0A106D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25fb0c88434b288bc702d05c67186aa9460c07a","datavalue":{"value":{"entity-type":"item","numeric-id":5167755,"id":"Q5167755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7000409ee2cf40d213488e1d0c353a204e6e539f","datavalue":{"value":{"amount":"+0.8448127508163452","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":"Q4625654$CFDE89EC-60BB-46E6-9F9F-06A46EE7D47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df2f7c737c2adb3f52c43c823a508c052ba18fd","datavalue":{"value":{"entity-type":"item","numeric-id":2514150,"id":"Q2514150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd689ddb9f3cccd445a38fa51a8591b8fea47980","datavalue":{"value":{"amount":"+0.8427404761314392","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":"Q4625654$119CCA27-E1C0-4B0D-A2EC-0882A2B14085","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability is in DynFO (scientific article; zbMATH DE number 7029218)","badges":[]}}}}}