{"entities":{"Q557802":{"pageid":559569,"ns":120,"title":"Item:Q557802","lastrevid":48508057,"modified":"2026-01-05T01:26:50Z","type":"item","id":"Q557802","labels":{"en":{"language":"en","value":"Functions with local state: regularity and undecidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2184043"}},"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":"Q557802$B14E2622-EA48-4697-B54B-27F43AA60F17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f66761d9e59c27c7860af6e789e84170467e6bb","datavalue":{"value":{"text":"Functions with local state: regularity and undecidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557802$5E652BF6-A66B-49D2-83DF-72C8A760CDF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b69ce9c9f06c301f7fed7e4d21d30867de33deb","datavalue":{"value":"1108.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557802$BE572699-506E-4930-9706-69A3C26495F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88574cc1a9da512fbd3fbfee15ad2279e5bf0f96","datavalue":{"value":{"entity-type":"item","numeric-id":388210,"id":"Q388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$E6AAB262-3578-4810-AF65-2A62B4017D81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$CB29DD3D-0193-4994-B8B3-B8406E73B035","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557802$0FD67302-F35D-4BC0-BB9A-75640A3C5E7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc41f723064114391976fac5b4640cc8ae4f4c50","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:537af42f-01ca-427e-a341-8e114caa5117","type":"string"},"datatype":"url"},"type":"statement","id":"Q557802$697D853D-4AB2-4E2C-9457-5654B90AE137","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557802$23E256D6-FE56-4381-AC9D-B6B3D84EDD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557802$1C10EB51-1561-489C-AB9F-AFFCAA7BBC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557802$EFB9A18B-4C18-4AAA-A1DB-1A3F98005387","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9965063379502a4cfded3b1368ec533709bb4a0c","datavalue":{"value":"2184043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557802$A2190DEC-3E4C-4B85-B47E-CFF89E5D2154","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16fb0d877c09815da749014e901a8d51d30235ee","datavalue":{"value":"Game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q557802$11E42676-68EB-4DE7-963A-DBCEB862B878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fff7125545fcdacaefe3808a1a5f0e0a281b403","datavalue":{"value":"Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q557802$2FD26357-4167-45C2-B488-0E24760CEFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a20dfc4a8361d02631e3d55f19e8d573bbfeb14","datavalue":{"value":"Software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q557802$DC66F4D6-E42B-4E96-A571-8F3DCC91BBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q557802$8F8D7073-326A-4A34-815C-82C6905E46EE","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":"Q557802$B5FF9B14-51DC-4B9A-BB52-7AF395B7CAA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be4df214f0da031335edcaa39e056385e8105740","datavalue":{"value":"W2011823280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557802$0C33947F-6619-495C-9ECA-AC1B70A37B58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7f79dd9177e1d64d21e003dbc36ab810163cc0","datavalue":{"value":{"entity-type":"item","numeric-id":4823132,"id":"Q4823132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$DFD4C3FA-FB91-4274-89C5-2CFEB2EF2B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea27c2074b50bb307d13b5988cbec7e603c4989b","datavalue":{"value":{"entity-type":"item","numeric-id":5308424,"id":"Q5308424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$70B8E683-BA0B-4F46-B65D-729C6369BA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ebce8fe1caa0cc920eda8427c705be142a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":4218919,"id":"Q4218919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$4A68A6EF-1E0C-41F7-B0EE-4432247E4DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6750f6506709128140651597cac933c856e092f2","datavalue":{"value":{"entity-type":"item","numeric-id":4263830,"id":"Q4263830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$28BCFA24-6D91-4AB1-99C2-E9CC849B8EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$A8062774-0A13-4546-8D55-CB5F5206DDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73fc23e0e328f8c04156aa61bcdb245b6a446e","datavalue":{"value":{"entity-type":"item","numeric-id":4917052,"id":"Q4917052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$2494EBA3-6ADD-4AD8-B52A-294C8E1122B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a57ad67cddac85a1ec8508c32d92cfd4c3ce3a","datavalue":{"value":{"entity-type":"item","numeric-id":2754137,"id":"Q2754137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$3AE9ABC4-5F71-4451-B0CB-E5BE1F7295FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6c2a0bbfd65e6f3d4ca31107fea6b84b41955b","datavalue":{"value":{"entity-type":"item","numeric-id":1884909,"id":"Q1884909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$16DD3CA8-834D-4352-A275-43CF51BAED55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b98d7c7d8dd8afbd0d05e36986bab560ec30ee0f","datavalue":{"value":{"entity-type":"item","numeric-id":5466504,"id":"Q5466504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$B6EEF285-1F0D-4ABA-8E51-373229329BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efef7172b76edcf3243d718037cc30902befdc42","datavalue":{"value":{"entity-type":"item","numeric-id":4571955,"id":"Q4571955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$E6C42709-C9A8-4F6C-A91B-D7DB9BBD1DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$BFD61F5C-D9C8-418C-9975-6A5639A8A4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16f978b19ff461de1876c12ebfad350cb92104f","datavalue":{"value":{"entity-type":"item","numeric-id":5308457,"id":"Q5308457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$79A34870-EE22-43CA-9F8D-E1F40C4BFE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$10C5D77C-D1C7-4EB6-A810-E492F6E2A6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$561B6710-8A63-4DC6-A007-AFB307685ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d46dea3860dd2244d5c66e6acd1180b501787c","datavalue":{"value":{"entity-type":"item","numeric-id":5277737,"id":"Q5277737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$4211C368-BEDF-4897-8E24-EBBD729D9A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d5ac2610edb34eb2a989a0fd8988c00fa985e2","datavalue":{"value":{"entity-type":"item","numeric-id":5705875,"id":"Q5705875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$2708E09E-88F0-4FB4-AB9F-79BC04A0C2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$E3A0830F-E1F9-47E9-84FC-277DBAB9010C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f63602864ba0f92673863c4e08e8c412c43a5e","datavalue":{"value":{"entity-type":"item","numeric-id":5845381,"id":"Q5845381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557802$0DE2418F-169C-4F4C-AE2F-9BA2C3B83225","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d2ce889e44077debdea3e11a23b2e44f0a51d36","datavalue":{"value":"10.1016/J.TCS.2004.12.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557802$8DAB20C0-B78D-40E4-8627-9B1864CB7EC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cb6ea631bb1b4a20014eb11c209a3d5e397924","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1289e428f290c79c906ca5a43b7d0b6cd2c6415","datavalue":{"value":{"amount":"+0.7428779006004333","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":"Q557802$3EE04A20-6AE4-4C0C-B302-6D6237FEF419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd754ce23cb45564afafb99eb2818a829ac1c3f","datavalue":{"value":{"entity-type":"item","numeric-id":5277737,"id":"Q5277737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f71a0dee7bbcd2549309213189b15d1349dd3f35","datavalue":{"value":{"amount":"+0.7428072094917297","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":"Q557802$58FB97C4-1103-446F-941C-E9FDD5EDF19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc333a14ffd8ba808df566ce09cc4e2530e96dd","datavalue":{"value":{"entity-type":"item","numeric-id":2949443,"id":"Q2949443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70180775f734456ae928ef320f5aef994704fc03","datavalue":{"value":{"amount":"+0.740522027015686","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":"Q557802$FF00BEE0-D77D-48DE-B6C6-F54BB259FF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94887202c0b9166620397b09561284b9372d1211","datavalue":{"value":{"entity-type":"item","numeric-id":1650867,"id":"Q1650867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e55f2b7e6057d23fdc90e030e7067b250f2473","datavalue":{"value":{"amount":"+0.7259027361869812","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":"Q557802$E9361A50-6D33-4759-A117-E24CF79A5215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3d2b0c2a0081e50148edf0993411ef65948bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3167021,"id":"Q3167021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7217de28800408b3774368a9157f0ee52dd8c599","datavalue":{"value":{"amount":"+0.7204610109329224","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":"Q557802$5A5F012B-213A-4C74-B909-2FF418E76A15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:557802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:557802"}}}}}