{"entities":{"Q4302839":{"pageid":6332440,"ns":120,"title":"Item:Q4302839","lastrevid":96655175,"modified":"2026-06-05T11:54:25Z","type":"item","id":"Q4302839","labels":{"en":{"language":"en","value":"Towards an algebraic theory of recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 622319"}},"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":"Q4302839$E72AA122-D0AC-401F-BF46-344C3A8F5044","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d21880d0ed28ca28b39ebfab5698c3fb5686f697","datavalue":{"value":{"text":"Towards an algebraic theory of recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302839$91C08E06-2E4B-41E9-A648-CBA1DDCA2C72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37d3ddfc8daf81016e39b377185364905021553d","datavalue":{"value":"0799.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302839$24510488-99EC-4DCD-86AA-09AE5C1643A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cd54ec07fc6ac36ec365914aef74b06a66509ba","datavalue":{"value":"10.1145/103516.103521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302839$6C892DCF-51A0-49FA-9F7F-ABFCA1967A0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"797a5947f4133e8cafb8cfe25c2f20de8d8fcad3","datavalue":{"value":{"entity-type":"item","numeric-id":578940,"id":"Q578940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302839$A89F45A2-0095-4956-BA6C-0AF6529E4579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b357fde79324bf8a9f8c4d0700b3633c899a0e5","datavalue":{"value":{"entity-type":"item","numeric-id":758178,"id":"Q758178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302839$5DA653E6-C36D-4CD6-AD54-C6C45EB09D61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302839$F2E035F4-CDFF-444B-9C7C-215F77FA238A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83b85ded45bcd964fa18adf073d88c5a52b60391","datavalue":{"value":{"time":"+1994-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4302839$DE646843-B511-4231-A660-6BEA6C967626","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e92afc1be810911ab9d0a70359359facfab6390","datavalue":{"value":"http://digital.library.wisc.edu/1793/59036","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302839$87F730DB-7CFD-47F8-BE1F-6E5A42A58A4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302839$801D94FB-7BD8-4DEE-9A82-150A67F16C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302839$96B7A5C2-5691-4B60-B5B7-D4DF4FD56B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302839$1B1C70E9-76E7-4903-B2C8-E006F71BB477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302839$EACA7B17-8D7F-40DB-82A4-142506D9DAF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d59752a8f2eb112f21a7603bf487d505e56a234","datavalue":{"value":"622319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302839$F6471940-1D59-4ADA-86EF-2F525354AA15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5033014c2dff35e7bee2c74f1978bd2a7b7aa4e","datavalue":{"value":"algebraic approaches to semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302839$AB598F7F-B880-4238-9400-6D45E072336E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302839$508B2784-28CD-4889-99D6-F5A5FF880973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0052dbb998ade7d726f0c0b86e4baadd7e346db9","datavalue":{"value":"query languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302839$10BC81C6-0838-45CE-9AE9-6B5F6F646129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1a81b231c5629812747373b2f66453ffb8021bb","datavalue":{"value":"recursive query processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302839$74B3A172-2959-4460-94F8-66495EDFC7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f418a271e132a4e845c75220157c3c13fe91f58","datavalue":{"value":"closed semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302839$079F9F8F-F372-44B1-B802-E7F019B3E61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05e47b73ceffcd7cb0451acba2488b31dd6cd8ba","datavalue":{"value":"nonlinear recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302839$F1B0972E-A1EB-433C-B784-0F3AA7893E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302839$8A0D0706-4503-4549-9902-01FADA9FCD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5022792ab3f567c314c955267cb3438a6117ac","datavalue":{"value":"bilinear recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302839$C77E4A8C-D2EE-47D7-9CB0-37C13430B52C","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":"Q4302839$74B01507-A170-4FF9-A4A5-49E9DCC8C03F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebe40afd23e143c07edc7e8437c64d99ecab7175","datavalue":{"value":"W1976844836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302839$F020719E-77E6-4FC0-8917-A3912AF6DC9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58a05fd5f666fe5963ba662ec2b1436dbd409d8","datavalue":{"value":{"entity-type":"item","numeric-id":3820062,"id":"Q3820062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c1cfb3cf6c522ce023518b5bddbbf194bcce717","datavalue":{"value":{"amount":"+0.7771817445755005","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":"Q4302839$5B2FEDDF-D2B6-41C2-8F0B-687BCA1C39E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e5de554705ffaf004e2825345fb7a793d85a69","datavalue":{"value":{"entity-type":"item","numeric-id":1208145,"id":"Q1208145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f58080896703b3db9d962e64fb8773141c16a00","datavalue":{"value":{"amount":"+0.7577614188194275","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":"Q4302839$1B3C07D3-52C3-49A2-ABD5-4DFC4EC25998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"275892ba24c9a1eed315630acd8c78b2c98be470","datavalue":{"value":{"entity-type":"item","numeric-id":4015958,"id":"Q4015958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4c057446f3b31e24f242b2848e8c0c7f9fdc304","datavalue":{"value":{"amount":"+0.7542060017585754","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":"Q4302839$FF8BCDD5-63A1-415E-94EE-93EE840C8B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6daa84a0e831397bd4d396c96cb42a0082a3b2","datavalue":{"value":{"entity-type":"item","numeric-id":1098617,"id":"Q1098617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e6a5f84f1febcfb799fde5601caaabc8673189","datavalue":{"value":{"amount":"+0.7526689171791077","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":"Q4302839$8608AE45-931C-41D5-AC9A-3753EA4B68FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbc6fd6c48aad92ef910d28a49686ad6ff5eaff","datavalue":{"value":{"entity-type":"item","numeric-id":3820060,"id":"Q3820060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06af43ddf2fb614469df0f65b7c00617c2e7204e","datavalue":{"value":{"amount":"+0.7515478730201721","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":"Q4302839$E963A1C2-4329-43F5-86BB-986C461DF79F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards an algebraic theory of recursion","badges":[]}}}}}