{"entities":{"Q4262605":{"pageid":6292206,"ns":120,"title":"Item:Q4262605","lastrevid":46665129,"modified":"2025-12-25T08:59:52Z","type":"item","id":"Q4262605","labels":{"en":{"language":"en","value":"Church's Problem Revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1340723"}},"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":"Q4262605$1D34892C-07C6-4D4D-BE92-34571CA43FF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c113d3b006e98c300990b21426c2a5ccb010be24","datavalue":{"value":{"text":"Church's Problem Revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4262605$B5CC7DBE-4C5D-478C-9029-8148C58C6A43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0090dd05eb8dd2598b401aa9cfe4a85fb51d8bcd","datavalue":{"value":"0932.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262605$30FC47C7-A94E-4A6D-AC22-74EF91002235","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebcc10877e31a06fbf7ac163d86ea3f7b3646d18","datavalue":{"value":"10.2307/421091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262605$0A5CF5AB-8253-4F78-81FF-3EECD273580D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262605$5FF1320E-1E89-4F0E-A59A-0EB0B474FC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262605$3BF1C8C6-444A-445B-9A05-C73B99E67E2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4262605$179A4CFE-DEAE-456E-AADB-E4493758EEAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25de2a38eede2e9ab3327115c79da6761415d34b","datavalue":{"value":"https://semanticscholar.org/paper/4470e014837a60ede7678296d7ac2ff1dc35bdc4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4262605$2F6D06DB-934B-43AD-8D38-22ADFF47314B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c76f84194b2f17d60190e9935e8ba53816aee77d","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0502-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4262605$BB2FA364-19D5-41FE-B311-A0FA0091430A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262605$C2679DA3-7D89-440E-869F-0E1490FBC35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262605$992E33AA-CA3E-4F4D-9EEB-18A4DA9880D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262605$9051E476-92CB-4852-9E28-0B6675FB7609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262605$5C12F4C0-BA81-4FDB-95A5-04C7BB93D4BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"144c31ae2d981da36fd5a776e62a2e0d07ff480c","datavalue":{"value":"1340723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262605$C6C499E7-A72B-4E07-92CE-9C070E865218","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5acb03176c013094629a573b6f2db4e1b722437b","datavalue":{"value":"closed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262605$C40D2D49-418C-497D-B60C-3435EDC5E9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"883a751192e5fece36e9d6129a272df1c5e408b9","datavalue":{"value":"open system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262605$1E1B4A94-9F84-4EF7-90F0-0374B9FF64CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71faedac4a7b7dd7ce0b6707262d6209d4b8b3a0","datavalue":{"value":"linear temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262605$AF709EF1-E9F3-43F2-8567-00100BD56355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8325b19a9709030932dad486052e4e0093ba153","datavalue":{"value":"branching temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262605$FFCA372F-0A82-4699-A000-94834BFA3D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262605$8775A976-7FBC-45EC-8196-E74038B95CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262605$A98A608D-4882-4DFA-AE7A-62C9C37AB006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4967ebb2e42a5b17ba26be2a8cdaeb89961c9cd1","datavalue":{"value":"synthesis with incomplete information","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262605$FEA1D1A8-F655-49D9-AA46-74A55722CE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8248a1dce4178bcbdf50d1b921f9653b658d3d1b","datavalue":{"value":"alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262605$280A1591-D7F7-4349-95DA-B8A084A81D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50eb2948a3ad8ae2842382e57af23ca278f07101","datavalue":{"value":"alternating tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262605$99FE585E-3A3D-49EF-9E4E-03D1C86DA8F8","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":"Q4262605$BEF3F598-973B-4BA7-8F24-6F706F3B426F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fa35b2f66c22c9eb481c63386e1e73be1ef0ecd","datavalue":{"value":"W2024941371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262605$91C87B58-7EBD-4A88-A806-9CA09525C50A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262605$75630828-607D-41E2-A046-617A23C4587B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262605$2B643C73-8D60-4A94-AEDB-413C03FF9D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262605$73C6CE31-6436-40E7-BAD5-5051A6B06D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262605$F17FAD8C-0007-43AE-93F2-366A615B6BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262605$6343DE59-B106-4877-9F53-F2B53B92B57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262605$A6F23EF2-9884-4F81-9956-5088C7A9D67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262605$33F23075-FDF5-448B-A4F6-081D7E04F9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262605$62F3D8BE-5D69-402C-81F6-3634D94B72B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262605$02301B36-9D4E-408D-BE18-230605B52F80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0471f99ee6f4c74b0b10321452611c277a150174","datavalue":{"value":{"entity-type":"item","numeric-id":4952307,"id":"Q4952307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94a6c5ef2ab0aa0e0a5606e2a834738ff26a6c9","datavalue":{"value":{"amount":"+0.9596556425094604","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":"Q4262605$82490D32-2ABF-4907-AFEC-6EBFB9AEB703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb176f523302ecda8664b513cfd119bc49ebf59","datavalue":{"value":{"entity-type":"item","numeric-id":4536385,"id":"Q4536385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85846605671ad3cad48184d131c8c8d503923599","datavalue":{"value":{"amount":"+0.8507406115531921","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":"Q4262605$98330986-B74A-40E2-BA11-5C67C0327ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2751d9a71623fdddfad00ffe4cf9328cf63d946","datavalue":{"value":{"entity-type":"item","numeric-id":3426790,"id":"Q3426790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c27d599c0f055bf365b80dc872654917c9c670aa","datavalue":{"value":{"amount":"+0.7863473296165466","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":"Q4262605$1E0C8D2D-BAC1-43B8-9C7E-F1AAB5BECAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85b4feba24d88cd9a44e91bc0a1b6ffd5e629117","datavalue":{"value":{"entity-type":"item","numeric-id":5491869,"id":"Q5491869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7512c5b74d515ec3875972debddd78d3cb90e921","datavalue":{"value":{"amount":"+0.7828463912010193","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":"Q4262605$265D822B-AC1C-4198-9BEF-3624FBE9F688","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4262605","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4262605"}}}}}