{"entities":{"Q2445907":{"pageid":2456650,"ns":120,"title":"Item:Q2445907","lastrevid":74279655,"modified":"2026-04-14T19:19:30Z","type":"item","id":"Q2445907","labels":{"en":{"language":"en","value":"Distributed synthesis is simply undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6284953"}},"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":"Q2445907$7A70EDC7-F706-412E-8E64-1DFCB205F15C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd117ea404ef4ea5d57ab0f39609540ae33b9f3c","datavalue":{"value":{"text":"Distributed synthesis is simply undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2445907$655E2300-E790-4240-84F5-5397866FEAC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86eded54995d5ec4f5e7d8784a831af177b0f162","datavalue":{"value":"1358.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445907$FBF446FB-6DEA-4E7D-A4EA-F46B5F71EE2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90739aea32371d507efc0d485d2e862d23543168","datavalue":{"value":{"entity-type":"item","numeric-id":259050,"id":"Q259050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445907$15B1CD90-BF86-4193-A61E-BDFE36ED7839","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445907$A3CA2F05-0A9D-490B-9D26-D9892D42C734","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"afe37cf2917e41f27c076194e149923b67529048","datavalue":{"value":{"time":"+2014-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2445907$BC52739B-2893-448A-B826-F554A0D7F1E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445907$2A0D58AF-4F5C-498B-9328-2FF2E39B41F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445907$4A17750A-6DF3-4E6F-8A55-BF7D9D035A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445907$5E97D443-CA66-4DAF-BACB-C076C489F8F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6656ba3f411b2254e03020589bfe98fec9722f7e","datavalue":{"value":"6284953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445907$6967B846-722C-42FA-AF6C-9C064417BC53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445907$DE4AED65-46A0-4A44-B8CC-ACBE57D4DBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"884c56ec58b79b2ead19bd7c1ad298425c1e8cd1","datavalue":{"value":"distributed synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445907$FA8B17A6-A5E7-4DF4-80D3-0999D218FEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445907$B9C58B16-CCEA-4965-958F-094AF86420F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445907$F7E0C0D3-C9E8-4081-8DF3-F855EC5E74C8","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":"Q2445907$4DB89309-D5A3-4331-82E0-E0F1127563B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec3962d06a1f25996cab75b78e5abecdafdabc1a","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2013.11.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2445907$4FB1B7F0-A365-44A8-92A7-9AB6726580AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16196f2825bf1b7ac596f8f499adb760dccaa322","datavalue":{"value":"W2087527826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445907$9D8B6EBA-EE14-40E3-91DB-033BBF84C687","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6f51fae28da86a79e47b0f3c4a7d51532360ae","datavalue":{"value":{"entity-type":"item","numeric-id":3086918,"id":"Q3086918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445907$199B4FB6-C5A7-4F1D-AF69-DBB88B193A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445907$BE59F64E-CFD7-4360-A0C6-BC9031521E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445907$67E3CE00-7963-4E35-AF4B-79BCD7B77BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5d1a78a8dd9095d53b8a39c1445c835e906c59","datavalue":{"value":{"entity-type":"item","numeric-id":5609381,"id":"Q5609381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445907$AA415884-7D77-48D4-8244-E62989348696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead8421943a1be8110df254acca9ad1e8d64eb52","datavalue":{"value":{"entity-type":"item","numeric-id":5725991,"id":"Q5725991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445907$8BB82904-B673-4AD4-AD56-AE3953021C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445907$F6C0B495-8C64-4DFC-BF26-E2B4659DEA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8109f35d24e1b79faa782fa98c5c2f27c5c3f8","datavalue":{"value":{"entity-type":"item","numeric-id":5448782,"id":"Q5448782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445907$685E6155-6465-4CA2-9EBB-04A7AE1F92A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038a119376752c8e014cdd5dc9e112517a380d5c","datavalue":{"value":{"entity-type":"item","numeric-id":4535033,"id":"Q4535033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445907$3C9C2AE2-DBF6-41F1-9CFE-E30C5850A580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445907$F2F18D57-C262-451F-899F-7168C346C8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75292f6880dd3275361618ebb07df15f46377e02","datavalue":{"value":{"entity-type":"item","numeric-id":4074888,"id":"Q4074888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445907$791DA4C4-7F3D-43A9-8649-4E06A8F33E4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0aff61517bd89186277e945f05f4d1205d39423a","datavalue":{"value":"10.1016/J.IPL.2013.11.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445907$8B8246C7-A43A-41E2-8CBD-C84E0BB7CDF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a62242196d2657a6d0a6ba0446ff1fa26ccfdc","datavalue":{"value":{"entity-type":"item","numeric-id":5448782,"id":"Q5448782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb179ae847acb8a068229e244404f57b06a84416","datavalue":{"value":{"amount":"+0.863509476184845","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":"Q2445907$5A5128CB-D901-4245-ACBB-E49CEACDC6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9fb8ebac4ad5d031bf9945a7998c194d46a6e3","datavalue":{"value":{"entity-type":"item","numeric-id":2978553,"id":"Q2978553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2508a128421fce0fd8b1b3fc966c501df02e28","datavalue":{"value":{"amount":"+0.8150925636291504","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":"Q2445907$6AFD510F-E9F0-4DB5-8314-F037CA2F8E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"199cf0016a40c303728bd80681d020b9338a2c83","datavalue":{"value":{"entity-type":"item","numeric-id":1941703,"id":"Q1941703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6aaf80f32b1d2937e52c7208644d1a573a4517f","datavalue":{"value":{"amount":"+0.8108636736869812","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":"Q2445907$CC1C29D0-5340-403E-AE16-6690A0523C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314f9d54cb8e123cbc0329497d3d174aaba08fca","datavalue":{"value":{"entity-type":"item","numeric-id":2849954,"id":"Q2849954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"027712fd32c0ff6c2ef16f471fcb037ab0d6baa6","datavalue":{"value":{"amount":"+0.7961337566375732","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":"Q2445907$AAC7F53A-30A3-4F39-AA5D-C2F5C24FD16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"560716991fcf3883cb49599b54bb220f6465cb3f","datavalue":{"value":{"entity-type":"item","numeric-id":2504549,"id":"Q2504549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81fc71c17a10a340cdfaeab4bab941caae0c8409","datavalue":{"value":{"amount":"+0.7949301600456238","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":"Q2445907$9F3A6F34-3D3D-4BC0-A776-DD6A56AF66A8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445907$5CE6C1BD-4E01-49F7-B511-790DF6673B34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributed synthesis is simply undecidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributed_synthesis_is_simply_undecidable"}}}}}