{"entities":{"Q782569":{"pageid":784418,"ns":120,"title":"Item:Q782569","lastrevid":64294416,"modified":"2026-04-11T18:53:50Z","type":"item","id":"Q782569","labels":{"en":{"language":"en","value":"Boolean monadic recursive schemes as a logical characterization of the subsequential functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7225121"}},"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":"Q782569$2C5957E6-1DA0-41B1-A9D1-DA42886A84E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f48d10cbcb820a1502c05627198f334fbd7edf7","datavalue":{"value":{"text":"Boolean monadic recursive schemes as a logical characterization of the subsequential functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q782569$7DF5CAFA-4675-455B-BC9D-7EAEF21879E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79742b31a8f5d26cd28cd97f6202c4a1246eeabb","datavalue":{"value":"1437.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782569$E834BBB8-3527-445F-823E-6F75F8CAB887","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f040e47fb016476cfaa6a6ad3e37890da46f60cb","datavalue":{"value":"10.1007/978-3-030-40608-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782569$1E72E453-FF28-485C-B742-D01457DED054","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18346fb575f1fa261ddb649d2ee83123aa0f7398","datavalue":{"value":{"entity-type":"item","numeric-id":519901,"id":"Q519901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782569$D3528C0D-57EC-4F88-ACD2-F0CE077D8519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"667e321f20013d4d6541c7f414ab556e33c1b7ff","datavalue":{"value":{"entity-type":"item","numeric-id":782567,"id":"Q782567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782569$3D2F28B2-D976-474E-89F8-D5F7836B8685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7ed9e3881a88766f47e989f5cba98cb117fa87","datavalue":{"value":{"entity-type":"item","numeric-id":667922,"id":"Q667922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782569$CCF167DC-28C9-467D-A2B9-80B055D2E765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a52bb19765e4e96232a2edd09cb22f3225ccc394","datavalue":{"value":{"entity-type":"item","numeric-id":782568,"id":"Q782568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782569$13504896-9AA4-4712-94D2-728655C61D03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e23cd61fb52044c0fb2903ade6fe3c7d224eeaf1","datavalue":{"value":{"time":"+2020-07-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":"Q782569$11480292-C515-4E7E-9EA9-B67D5B9B01F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782569$8EC8530D-BA20-47D1-9B9F-FC28E77DEA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782569$6075533C-B9CD-4DA2-BA9C-156EFF265036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782569$C7D9584C-C0E9-4700-8DBA-81998185B5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782569$937D29DF-2C58-4B56-A0C6-927AE4084ACC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cf2599a6ea9223da40659288843b9601d5fa033","datavalue":{"value":"7225121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782569$C9E52C3D-6D4A-453E-9BFF-90C183EC3B5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73d767ca49c555611029aa0f2750695876f18787","datavalue":{"value":"subsequential functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q782569$29DED73D-B306-4C02-9DD5-94D8EF1CCC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q782569$1D58AAD3-5259-4EE3-ABC4-8B06350D1FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d773c9dbefcfee441e11b3927eb483de24f807a1","datavalue":{"value":"recursive program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q782569$82D9B4DD-2005-4949-B304-C07A68DDD2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q782569$3A5670E5-1A41-4F31-AB60-46D91BF0AD37","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":"Q782569$69DB1F5B-503C-4FA4-8A50-C46A2725C1B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a42fcadee23838e3acb5260829e9951573434ea","datavalue":{"value":"https://doi.org/10.1007/978-3-030-40608-0_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q782569$62B031FA-ADCB-43F2-952C-0D6D53EF1768","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2624ef8b705c1fb6def027b4a7adedf4352c35b","datavalue":{"value":"W3008224529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782569$D4D7186A-0C92-43B5-A42C-CB708FF6E5CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f872fcdf05b9bece1ca9f5439bcbea2915c1bb8b","datavalue":{"value":{"entity-type":"item","numeric-id":3766817,"id":"Q3766817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d851faa1c619b7b65d7e8613639adb7d31a2b121","datavalue":{"value":{"amount":"+0.7344531416893005","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":"Q782569$6BC59017-56F2-4284-800E-6AF42732318D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6ead18d3c1ea4c8e9522be03a03b5ba758abb8","datavalue":{"value":{"entity-type":"item","numeric-id":3979259,"id":"Q3979259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f0ab79ecfe158ad276cb254ef27a88406762f6","datavalue":{"value":{"amount":"+0.7258115410804749","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":"Q782569$831FE319-B631-440B-8445-AD68CEB9B984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b42f0e8dbb67392728189c638af59549c69ed2","datavalue":{"value":{"entity-type":"item","numeric-id":3504619,"id":"Q3504619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f0ab79ecfe158ad276cb254ef27a88406762f6","datavalue":{"value":{"amount":"+0.7258115410804749","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":"Q782569$DACDA6F0-5C39-40A2-8DEB-ECD03BE53869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d715cf7350b890408c3e349d3830b54f2da8b2","datavalue":{"value":{"entity-type":"item","numeric-id":5672160,"id":"Q5672160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5855c8fde35799eefeb55dd81ba187c382b3a0d5","datavalue":{"value":{"amount":"+0.711548924446106","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":"Q782569$C6068F7C-ED14-41CA-99C6-C59419B5FF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75490cfb73ea7c4f639d29b3f435e9121556a68e","datavalue":{"value":{"entity-type":"item","numeric-id":2017762,"id":"Q2017762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b4ef92b446193cca94603be5a1bfdcdfc041b68","datavalue":{"value":{"amount":"+0.6966090798377991","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":"Q782569$03C75104-7B43-45BF-B981-C80B98ACDFD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boolean monadic recursive schemes as a logical characterization of the subsequential functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Boolean_monadic_recursive_schemes_as_a_logical_characterization_of_the_subsequential_functions"}}}}}