{"entities":{"Q5453502":{"pageid":7483061,"ns":120,"title":"Item:Q5453502","lastrevid":96364616,"modified":"2026-06-05T11:02:54Z","type":"item","id":"Q5453502","labels":{"en":{"language":"en","value":"The Church Synthesis Problem with Parameters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5256517"}},"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":"Q5453502$35D57986-0723-40C0-9658-78A824C4ADAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b0c47142cbd7842fa79b32c11caf824bc93bdf0","datavalue":{"value":{"text":"The Church Synthesis Problem with Parameters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5453502$2EAD7063-E440-44CB-94D9-17E7F5985E6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c856d5cc64f9eece6cf0d15c57ce1c036069c69f","datavalue":{"value":"1131.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453502$89A7B7BC-640A-4444-A52E-B58DB4C003D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8320b639dae3c09aaf56adebf1a4dd28f5ff668c","datavalue":{"value":"10.2168/LMCS-3(4:9)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453502$B2582F37-8A56-4CCB-814F-CEAEBFC5D52F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453502$2F2E2115-E295-43D8-A45C-B1C1B849AB5B","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":"Q5453502$1E59FFDD-EF85-46A4-886F-E224B8AECE78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198ebadd055eae6a54aaf8b4ed7b348339bb3788","datavalue":{"value":{"time":"+2008-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5453502$E18E10E0-E929-4A93-B4BD-9236ECEC9AC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453502$801C7B6A-D360-4B72-A3E2-51D73B45B044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453502$254445C2-F96A-4286-89CC-18132317A3EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4db9e8bb71bce6448e04f258c44c3f174d27b29","datavalue":{"value":"5256517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453502$205422FE-0876-4F0B-ABA9-0F312BFFCA51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae1abcfcc077a776bbe92d8e0a6fddbdbd2baa4","datavalue":{"value":"monadic logic of order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453502$34B99193-7698-45EA-9228-42FE9B67A2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3cac355ddaf84702bb851e1974a646f351536a4","datavalue":{"value":"monadic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453502$47B156B5-4C91-421C-BDEA-62C6887EDE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36cdcccdfcc6b313ffd420e82d594cc27db4468d","datavalue":{"value":"finite state automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453502$446AC626-6404-487E-B4D4-4DDE95BFE5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90122df6f141a3f72ee8fb63394de81e621de0ae","datavalue":{"value":"B\u00fcchi-Landweber theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453502$609D74E3-F441-4DC4-A597-AFEAADCF6806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4aef08502d6f8313236a0f20da32dfc409a39a2","datavalue":{"value":"ultimately periodic parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453502$6E3AA2E9-816C-4A70-9A78-14653DF67969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5453502$F0971241-2C9F-465A-9B82-B1B011C90283","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":"Q5453502$6FD84C1C-8790-4618-88B4-53965351A4A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e3b9ce44cb9e0930f3975622ff9d612afa2259","datavalue":{"value":{"entity-type":"item","numeric-id":3613362,"id":"Q3613362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36e0091b6cacc2e6b03e44f1afb9e3dc51465da","datavalue":{"value":{"amount":"+0.9788557291030884","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":"Q5453502$9574574E-067F-4EA7-B2D8-8AD77BE35478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94220609699c3b83e409b77c8fee41b75ebf9832","datavalue":{"value":{"entity-type":"item","numeric-id":3644764,"id":"Q3644764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c13ad95188fef7e5bdcc0dda0901c47b24838cf","datavalue":{"value":{"amount":"+0.9450424313545228","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":"Q5453502$DD10A3DE-89E6-492D-B639-BBEB63A7B001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86dcc7d2a4fef8c3580dea99c490d8ca9157bf7f","datavalue":{"value":{"entity-type":"item","numeric-id":690498,"id":"Q690498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baea908e103de2b7926c2333670b32f1dd07c9e5","datavalue":{"value":{"amount":"+0.9371896982192992","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":"Q5453502$9F851790-E46C-4AE9-AFAD-9B2A1B49E778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0139eb0aedefeb3b4e0c8f051823b4306bceabd9","datavalue":{"value":{"entity-type":"item","numeric-id":5207050,"id":"Q5207050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0402d092da64683a024fda60bb10ac0bdbe2cc","datavalue":{"value":{"amount":"+0.8845081329345703","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":"Q5453502$FEBD0FF5-0F3F-4A39-ADA8-7D53B715F813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6de99f38950b56570daeebc84ac06096e922644","datavalue":{"value":{"entity-type":"item","numeric-id":2915691,"id":"Q2915691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9cc4b7782b968ca76dfbda7be255a04632c4f32","datavalue":{"value":{"amount":"+0.8272905945777893","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":"Q5453502$D23F0B01-2CA6-4EB1-88CB-8198F5F1013A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Church Synthesis Problem with Parameters","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Church_Synthesis_Problem_with_Parameters"}}}}}