{"entities":{"Q690498":{"pageid":692347,"ns":120,"title":"Item:Q690498","lastrevid":51603611,"modified":"2026-01-19T00:57:01Z","type":"item","id":"Q690498","labels":{"en":{"language":"en","value":"The Church problem for expansions of \\((\\mathbb{N},<)\\) by unary predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6110709"}},"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":"Q690498$CFAF3108-1FAB-422A-9125-33AE81A12197","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07b7095c4e69197f9005e961a462d289aecf2401","datavalue":{"value":{"text":"The Church problem for expansions of \\((\\mathbb{N},<)\\) by unary predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q690498$6FCD3831-40A4-4440-8E84-D9B705E58056","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39f5980160205dec21d8cf486359a820f12f8635","datavalue":{"value":"1285.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690498$412F2E8E-D0ED-4B9F-B289-5B3833CE6F43","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":"Q690498$CADE10D6-DFB3-4F1F-92B1-6A570EE4055A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$00E568A7-F157-4C2C-A1A3-CBD0A9A65B71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95e36ecb600c934bbc19d79b7ffc96af390338f1","datavalue":{"value":{"time":"+2012-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q690498$D50CB135-397C-4759-A5A7-0BDDF945A8B7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7e6a2a57ef4c0723de49e9c1e010562772a0a28f","datavalue":{"value":"For a two-variable formula \\(B(X,Y)\\) of the monadic logic of order (MLO), Church's synthesis problem concerns the existence and construction of a finite-state operator \\(Y=F(X)\\) such that \\(B(X,F(X))\\) is universally valid over \\((\\mathbb N,<)\\). In this version of the problem, \\(B\\) and \\(F\\) contain as a parameter a unary predicate \\(P\\). A large class of predicates \\(P\\) is exhibited such that Church's problem with parameter \\(P\\) is decidable. Those \\(P\\) are increasing recursive \\(\\omega\\)-sequences of integers which are effectively sparse and effectively ultimately reducible (the latter notions, which are defined in the paper, are very natural).","type":"string"},"datatype":"string"},"type":"statement","id":"Q690498$35B965C0-CE4A-4833-9DB6-3E3206045E69","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"be9b7bf9cd273aeaf91ec2e38cce549e5afc8f07","datavalue":{"value":{"entity-type":"item","numeric-id":192024,"id":"Q192024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$CCC84851-D6BF-4AE0-BF72-4F41ED01CD2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690498$9B48647F-7F05-451E-8109-1108A9BC8B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690498$6909F105-93A5-4BDB-8D69-94E91CFA0508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690498$28E7B992-369B-4A4C-8CA5-1DE959670A05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2b5c57e6eef3dc9931e8219ecc31a8e91bce13e","datavalue":{"value":"6110709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690498$E7CF7A66-4D10-4501-AD87-81CBB60FCDF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae1abcfcc077a776bbe92d8e0a6fddbdbd2baa4","datavalue":{"value":"monadic logic of order","type":"string"},"datatype":"string"},"type":"statement","id":"Q690498$522373A5-E305-46DE-A5A1-03E64FECC18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d3c36b1d02dc768a8cb1d8602d88801ff61d1d6","datavalue":{"value":"Church's synthesis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q690498$2313BA0C-55A3-4AD6-AF35-77BF4076C36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bdb1336bfd6aa794c7b8ec62f40bc69c12733af","datavalue":{"value":"parametrized versions of Church's synthesis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q690498$D16B3893-A282-4D7D-9E3B-92103E908347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6ef7224e20d9af7d37392cca99aa041475dd6d","datavalue":{"value":"composition mehod","type":"string"},"datatype":"string"},"type":"statement","id":"Q690498$F8F89D2F-3179-4221-A694-72E709AD7A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3372a902ea210fb669dc4e04884cd73e35862106","datavalue":{"value":"game-theoretical techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q690498$87387DBB-B9D5-4928-B683-74E0947292E2","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":"Q690498$12609816-D6D6-4E38-8DBF-359D8B073B67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d6bf7cfab7fe199c8613c3e2c97f8d58c9c125c","datavalue":{"value":"https://doi.org/10.1016/j.ic.2012.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q690498$BE806F73-0802-4202-918B-51B4799AA4BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a9e3b17d040175950af42af9f20f958ba331cdc","datavalue":{"value":"W2033265717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690498$8EAC86CB-E57F-4BB2-A68A-6B1061101FC7","rank":"normal"}],"P223":[{"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":"Q690498$BF3C8FC3-B8BF-4FB3-9DB7-E475B1D2ED22","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":"Q690498$6B7983BE-AFD6-4292-BD22-C266A09D1B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3612f7392d0497babaf5ce5e0add442ad7862811","datavalue":{"value":{"entity-type":"item","numeric-id":1854542,"id":"Q1854542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$0614FF18-3EB0-42F4-BBE0-ED64F057D579","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":"Q690498$2BFD70D0-F1DE-4272-960C-7FEF1D6ECF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84c82de96fb7c7b710e84da042fa6d2d7d4ea68","datavalue":{"value":{"entity-type":"item","numeric-id":5520636,"id":"Q5520636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$26A34A06-E238-4F0A-BB52-F4FFAD2E7FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$E9A603C1-C40A-4449-8CE9-B883ECFBD8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$84C9A0CC-F608-43F2-B77D-994EA0088A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$B732827F-1BCB-4480-951E-6FB885057E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c7d3b87391fc84c82c6962acbcdbf8f2b64865","datavalue":{"value":{"entity-type":"item","numeric-id":2373700,"id":"Q2373700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$58F01598-C6A2-4618-9AE8-A7BE71E1C61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9067048aa9b72a7d5953969018564d4cb8d52360","datavalue":{"value":{"entity-type":"item","numeric-id":3644764,"id":"Q3644764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$F18FC3F6-7455-4D8A-8CBB-ED270D04ADEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1564a519fe0bf3a4fee6ef14a1d6320ce090b306","datavalue":{"value":{"entity-type":"item","numeric-id":3613363,"id":"Q3613363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$BD2EFB2F-35E1-499B-ABAC-7CEAC3520D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22fbcfa2d6e1af372e7c17de51dab01cf08e0c0","datavalue":{"value":{"entity-type":"item","numeric-id":3848968,"id":"Q3848968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$FAAC4550-870B-40BF-AE53-3E6D5F82F5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d179bdd83dd52ebb1134a0d415ec33f0098896","datavalue":{"value":{"entity-type":"item","numeric-id":3328515,"id":"Q3328515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$AAB7A222-D050-4481-B20F-F97DE2BD7147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$9804253C-CD71-403F-B8A5-FCCA0AF571A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4fa9df919b27baa2f0a56aeacafb9358c362127","datavalue":{"value":{"entity-type":"item","numeric-id":4088807,"id":"Q4088807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$A5ADD50D-E969-4C78-ADFC-7C225BF55918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5444d62b61ec4f0092db6e9182c1367d48f1504d","datavalue":{"value":{"entity-type":"item","numeric-id":4362730,"id":"Q4362730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$A5C74491-EC96-4DCF-B7D7-A0F2C6F992BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e765617be6c53999db47622e1c6d446a84e10149","datavalue":{"value":{"entity-type":"item","numeric-id":5586356,"id":"Q5586356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$3DBB6F54-ED79-4167-8B5F-BD9C0E4F29B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690498$7B8891F1-CEB0-4FA6-BC5E-A0FD081AE06A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21b39060ccf2e61465198d08ee18bfe90f1ffc13","datavalue":{"value":"10.1016/J.IC.2012.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690498$85691B5B-07AF-4C5F-9E4C-7F5A2679DCD3","rank":"normal"}],"P1643":[{"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":"b07351ee9c245db04ddf97d6b044047fa6301e5c","datavalue":{"value":{"amount":"+0.9187485575675964","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":"Q690498$21D9D268-FB7A-437C-90F4-556C99F59CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60774b30d91305224c7f1846ff48f87d162d2fca","datavalue":{"value":{"entity-type":"item","numeric-id":5453502,"id":"Q5453502"},"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":"Q690498$09171944-BB30-4EE1-91EB-8E63A46C3697","rank":"normal"},{"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":"422fbe9bd4ffe209ffaf4578e41c238dac582458","datavalue":{"value":{"amount":"+0.8804907202720642","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":"Q690498$924CDE4E-40D6-4BD3-9243-8B880BFCAFF6","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":"1efce4ee34c753fb2990f302cfa17601c20345dd","datavalue":{"value":{"amount":"+0.8023863434791565","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":"Q690498$B60608D1-118F-4D40-B7AE-061CF49A318C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7af9080a9d79b8ec4cdc6f2fee51afe59e36c893","datavalue":{"value":{"entity-type":"item","numeric-id":3608405,"id":"Q3608405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c803fecd57860c09c5ede216c802c48b642e8c87","datavalue":{"value":{"amount":"+0.7768765091896057","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":"Q690498$0CDF99B1-0D45-45AF-A588-38324C75E24C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:690498","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:690498"}}}}}