{"entities":{"Q845681":{"pageid":847529,"ns":120,"title":"Item:Q845681","lastrevid":64778832,"modified":"2026-04-11T22:10:14Z","type":"item","id":"Q845681","labels":{"en":{"language":"en","value":"Simulation of simultaneous safe recursion over an arbitrary structure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664461"}},"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":"Q845681$B010BFF5-2819-4463-8695-D2A5C553FCB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63ee8d91ca96c8e303022c7e0f0aafe4a0ceb1a6","datavalue":{"value":{"text":"Simulation of simultaneous safe recursion over an arbitrary structure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845681$B1A7AA71-2755-48DF-9B2E-F6DFB18339C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f38806f833194e56f1792b52549e3b2b0fcc37f4","datavalue":{"value":"1184.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845681$F8E5A540-E608-4D76-AB50-1DF97FD9C171","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"170ea6c39dcf9211d61818828c798b92bdc29839","datavalue":{"value":{"entity-type":"item","numeric-id":845680,"id":"Q845680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845681$F245F80E-5837-431C-BA56-1DEA5A338C9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845681$0FEA70A8-3E78-43A9-A562-599694812007","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845681$ABB0E383-960E-4B7B-82FD-641959CE2DFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845681$A8B457BA-91A9-4CB8-A816-9EE280178CCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20b6a47613b50b9ba999f0d2aac0ef0cd5450800","datavalue":{"value":"5664461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845681$F50DA273-42C4-45CF-B385-B537F6A8B636","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95beff9e36104ba5317b1e75e309ef3e5a531ecf","datavalue":{"value":"safe recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q845681$FCE64F60-AAAB-4FD7-B0C7-58C2410DEB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68466761ca93134c593a5eb31e741a5bfca2d1d1","datavalue":{"value":"BSS-machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q845681$D90D0866-ACA1-4103-A933-3897F2CA0413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83834d2ea9059396c1138ecaf8b0ba255e0e4212","datavalue":{"value":"projective Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q845681$F51FA2E1-38A2-4D6C-99EB-F596BA87C352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q845681$C2411656-1188-43F7-A106-E6546551C507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q845681$3FC5C302-E5F8-4576-BCE9-CAF8747966DF","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":"Q845681$3F9FA2FC-6A74-4E72-91EB-F713AD697103","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b6a7b88e993237b37edcaa1af2b7c868c42cd2f","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q845681$71C752FD-EF73-45FB-AE5A-98F56236FD98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b273b5d0918af9afb337a245efbcd3e4e8da357a","datavalue":{"value":"W1986483728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845681$2707EE94-4F39-4088-883F-ED934227010A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845681$AD1FF90B-8055-4D67-A868-979106FBDBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1efc6d224ffe0d7322355df220a9a0a92863a911","datavalue":{"value":{"entity-type":"item","numeric-id":4729768,"id":"Q4729768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845681$133689EE-17FD-4DE0-8755-887EA71BEB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b960bc9723e135c42fac2fc01222c0aceff3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4417859,"id":"Q4417859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845681$3C2F6D2C-10D4-4788-84D6-075AC80C5E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8792b6d15728cfae6f39cac66c50375cd4caedb5","datavalue":{"value":{"entity-type":"item","numeric-id":4673356,"id":"Q4673356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845681$53771D78-27F5-4AF6-94BC-7C07255A3857","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd882f22ecaac0fd923314f01cdab0942b682e60","datavalue":{"value":"10.1016/J.IPL.2006.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845681$61D2452B-0B0F-4E67-9D87-99D2F1A126B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64928636173b0b3a80e47974057c3a46f594663f","datavalue":{"value":{"entity-type":"item","numeric-id":5485489,"id":"Q5485489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774c9953ca9e6a03e6c5076e338b238730f60c91","datavalue":{"value":{"amount":"+0.759829580783844","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":"Q845681$0A3D1603-8AEA-4E9C-A793-302008D59FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca290dd459c6a5821187135c485b1613354edea9","datavalue":{"value":{"entity-type":"item","numeric-id":3450802,"id":"Q3450802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c7e5b0599e29fea776f73890009a5015c49d205","datavalue":{"value":{"amount":"+0.7353695034980774","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":"Q845681$DC38C182-A876-486F-8C5F-23E405CCAFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcd1d8603caad8f524dc154e4df523e81edf303b","datavalue":{"value":{"entity-type":"item","numeric-id":4916232,"id":"Q4916232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54eb089ec77e9a52b9adf6a39ee46c048638b4b9","datavalue":{"value":{"amount":"+0.7285704612731934","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":"Q845681$A83FD171-2797-42A4-A62C-32F2A612C74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"031a14a7d1fc13507180648c54a20f3c92217a2e","datavalue":{"value":{"entity-type":"item","numeric-id":4376046,"id":"Q4376046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3eb9fe8f62dbd2822274cdd148c2f72d4d17c3","datavalue":{"value":{"amount":"+0.7210549712181091","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":"Q845681$9A9598BD-E6B9-48B6-867C-D1C758C88021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1684a5076ec09cc867f06f0d890aa68815467a6a","datavalue":{"value":{"entity-type":"item","numeric-id":1575253,"id":"Q1575253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f68749378a9477fd2c20e6619a36540aad06cc","datavalue":{"value":{"amount":"+0.7126999497413635","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":"Q845681$24E36F3A-270D-4EE7-9057-2A890DC0C6BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulation of simultaneous safe recursion over an arbitrary structure","badges":[]}}}}}