{"entities":{"Q6615564":{"pageid":14226721,"ns":120,"title":"Item:Q6615564","lastrevid":99906005,"modified":"2026-06-05T20:58:41Z","type":"item","id":"Q6615564","labels":{"en":{"language":"en","value":"Formal definitions and proofs for partial (co)recursive functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7923282"}},"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":"Q6615564$72F6A215-8EF0-4711-AB91-426D98EFE61B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9916062a45183308cd1932d0f1732f1d3a854141","datavalue":{"value":{"text":"Formal definitions and proofs for partial (co)recursive functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6615564$86BC3D88-60DB-4115-ACB3-C4B4950BEFDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8223a1cc94d53c53da1884b9915563b92aaaa82b","datavalue":{"value":{"entity-type":"item","numeric-id":2697003,"id":"Q2697003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$11A6BF55-2F53-4DE8-9AB4-0BD8C45E216B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1278b7772ff04d9a7882941c345e2fa92d6375ea","datavalue":{"value":{"entity-type":"item","numeric-id":781248,"id":"Q781248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$C10A42E9-2B89-47BD-B5EC-AC74EF72873F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6276f2b5f5afd85d3b3b6bb8e4fd8cf82500e8","datavalue":{"value":{"entity-type":"item","numeric-id":493520,"id":"Q493520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$D0158AD2-AE32-4C68-BD6F-F8B860A03F10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$DA0B0AAE-C351-4925-9E18-2CFF32BC44BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"03a16e60c4311202f855d06c07cecd615a7be8ea","datavalue":{"value":{"time":"+2024-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6615564$A59397A6-EBF0-4451-BAB5-A473FA5C1B8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6615564$1CC4D551-7E31-4F9E-B9F4-CA9DBD1ED366","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2febfae04c0c4c045bf0afe0f46fc8475bdd93c","datavalue":{"value":"7923282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6615564$130067AD-565A-4347-A053-1D382312E836","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":"Q6615564$DDE1C65C-F5F0-4983-B0CC-53D620B47E46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$1578DC17-1478-4E3A-8ADC-830F467E80E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b696a588c8daf7d9300817ea999e8a22f654905","datavalue":{"value":{"entity-type":"item","numeric-id":4023580,"id":"Q4023580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$3E018883-3F95-42F0-9BC4-218A15924067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$95AB07CF-ABB2-49D5-99AF-FB5F588B27E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$CCD118D4-1422-44E6-B66B-9FAF75F39D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc2a38d3706bbd0fa1db6e88f48e80135b14dcf","datavalue":{"value":{"entity-type":"item","numeric-id":3400638,"id":"Q3400638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$394E9002-5B2F-4ABC-8F82-ABAD47F749C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a15492db49564d9ccee9405d7dc4a8da2d55e96","datavalue":{"value":{"entity-type":"item","numeric-id":5089035,"id":"Q5089035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$8CF28089-1962-431E-8DFD-F3CCE10F71F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27af564deade6f382327dd892208b67d4051da26","datavalue":{"value":{"entity-type":"item","numeric-id":2988636,"id":"Q2988636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$DE404002-7D58-4569-B9E3-66E39526EE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6956a12199d710944333687ed9f973870967e27d","datavalue":{"value":{"entity-type":"item","numeric-id":916656,"id":"Q916656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$2D690EDB-601C-457A-A5AD-0DEA05CF3FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8ce1ab7cbc344458f6c5f69920718926ea1d05","datavalue":{"value":{"entity-type":"item","numeric-id":2566024,"id":"Q2566024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$2D0ACC8F-E6AB-4FBE-929F-F7ACE3404A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24730bf218f114d7094d19a6f077dbd4642dc0fa","datavalue":{"value":{"entity-type":"item","numeric-id":5371943,"id":"Q5371943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$E864D791-9435-46BD-A82C-371264FFD960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb7a0d5b6e7d6c7016a20ce6d5337671eb55547","datavalue":{"value":{"entity-type":"item","numeric-id":5741556,"id":"Q5741556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$841DF576-2DD3-46C6-9AB8-59D6A3ACBD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02cebc44c2831878b18e904086383fc947d3037","datavalue":{"value":{"entity-type":"item","numeric-id":5417200,"id":"Q5417200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$D0DCAA24-BF6C-4831-AA54-B5D5D989F352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bcc30b765cca771213ef9a1977f71c8871dbe4","datavalue":{"value":{"entity-type":"item","numeric-id":5310638,"id":"Q5310638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$A7D925B6-1CFD-4F78-A030-317DBDAF7F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f8c80f1bc5b87b2a47f6b03fc4a102e9030ce5e","datavalue":{"value":{"entity-type":"item","numeric-id":5747650,"id":"Q5747650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$369E8241-7989-43CF-B96D-71ECA8C33AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"470336b86f7e93b9af304caca1999cfc5d661f50","datavalue":{"value":{"entity-type":"item","numeric-id":4130959,"id":"Q4130959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$C68C0049-3243-4D79-A996-FE8C20BC508E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$4EE353C9-8A60-41A4-9745-FF9F1AE97EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8465229f1314ca485971299fba6aa8e5b3b8a447","datavalue":{"value":{"entity-type":"item","numeric-id":4435467,"id":"Q4435467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$C552EEDE-ED79-464F-BA27-2FA1432CF0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaec9cc3d989538551266d7715353746088ba613","datavalue":{"value":{"entity-type":"item","numeric-id":4945204,"id":"Q4945204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$6480FA31-D3B1-418A-8824-846B39E5335F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6473cef3ce337243e0f2ba4aef7103911e4b3591","datavalue":{"value":{"entity-type":"item","numeric-id":5704032,"id":"Q5704032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$463DBF7A-514C-45F7-8D6B-105159C4AA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f5f00376ce40e7c5e95eb21ebf38fad1c6f5bd","datavalue":{"value":{"entity-type":"item","numeric-id":2873661,"id":"Q2873661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$F6BA128D-27D8-4A70-8238-9258F299207D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e453e4fa4c5d091625ea380db04d75ef68b77d78","datavalue":{"value":{"entity-type":"item","numeric-id":5155674,"id":"Q5155674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$D58BFB2E-2D01-4A58-BC4A-05D933100727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"923d9841ebb82ba7564626f46c70dd17455ed552","datavalue":{"value":{"entity-type":"item","numeric-id":4267723,"id":"Q4267723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$43B673A4-8686-415F-A030-004DA524CC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$88FBB2B0-9500-4371-9888-C83F4D9CAF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$0C26EA99-8431-450F-96C8-185422C04F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e34549b680489206c9fe0d03b80d4113a3c6b1","datavalue":{"value":{"entity-type":"item","numeric-id":639641,"id":"Q639641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$DE8F2FAE-4D80-43CA-BB60-BF48035DC3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65d8654f4e44d767cea2a52de15909776ea6d1fa","datavalue":{"value":{"entity-type":"item","numeric-id":4542236,"id":"Q4542236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$5A1CEAE4-7BAD-481C-B5A5-351241F5C42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0473ed6d7fc7ca641b0df021e4eef65b253f7a9","datavalue":{"value":{"entity-type":"item","numeric-id":5277827,"id":"Q5277827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$C2B2863C-7608-4A9B-AE00-C69E3CBA3F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1c103117979fda8c96e8d038ea9dbfe12256bf","datavalue":{"value":{"entity-type":"item","numeric-id":5049000,"id":"Q5049000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$510EE1FB-F645-48AB-B47B-F1F67EC1DA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c103bf2cb62768c300adccc9356dc2154001a007","datavalue":{"value":{"entity-type":"item","numeric-id":2209542,"id":"Q2209542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615564$60251AE7-3355-4D18-B2CC-6B0C6EA13F4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40ef37c2112d2861b16d8b66e5dc90930a2d333d","datavalue":{"value":"10.1016/J.JLAMP.2024.100999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6615564$5615D381-C906-4456-9104-1FD134697A65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal definitions and proofs for partial (co)recursive functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_definitions_and_proofs_for_partial_(co)recursive_functions"}}}}}