{"entities":{"Q4039815":{"pageid":6069533,"ns":120,"title":"Item:Q4039815","lastrevid":55242760,"modified":"2026-02-05T05:57:03Z","type":"item","id":"Q4039815","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 192929"}},"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":"Q4039815$C9B60EC9-D492-4B2B-A477-5EB848CCE80F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5799ce315c79f54fb1ff96a8d76664097b7f57c","datavalue":{"value":"0641.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039815$C3E94ED4-EF79-4A4A-83F7-0CE61721A00C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4039815$E30E7903-51D7-4D3B-991A-CF4F1E9D43C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fbe49172b70054d929e5137c1186ec5713f7e5d","datavalue":{"value":{"entity-type":"item","numeric-id":478398,"id":"Q478398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4039815$2EB7E9C0-8A6A-477E-BFC8-F37380559109","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4039815$D2085225-330A-4388-B4CE-13F3CEE40462","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039815$E9DBB092-E930-4C72-B883-397922651BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039815$59AED22C-69C6-425C-BB44-D95C65275D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039815$AB08CED4-A52B-40BD-99F8-0E30F1150D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039815$BF48C6A5-51F6-4CFC-8D7F-145A47F8583E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0396dcfdc330b1c30111ac5ef3ac171c5c89ab5","datavalue":{"value":"192929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4039815$61C2D2BC-A0FD-47A9-8D33-92038DD7A0FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039815$73063D0D-A490-40F5-981A-DA90C2D70BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039815$E5D855CF-9877-409C-84B8-6BB4C6BF4033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039815$929057F8-3844-42A4-92BE-87533DE947C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43bf7eef5baa39898efba8eaff82cbeef31aeb2","datavalue":{"value":"iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039815$F8192712-845C-4D9A-96C6-5AF460B1DD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8308cf047a9caa020705e36cf27d6d1287dcc04","datavalue":{"value":"algebraic data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039815$E68D2712-5AD9-4522-90AD-A7C6CB565734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd599ad70c4f034119bb2028bac633e79d1beef0","datavalue":{"value":"computability over abstract structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039815$5B5ACB11-6D33-4B29-A820-278D28FFE3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039815$A9DDFEDB-8EA4-4467-9C92-DD96885DDB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e99df295cc2582cbf6e2bb9ca60195486cdad458","datavalue":{"value":"course of values recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4039815$9DD07288-6040-43EC-983E-52217EA144A8","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":"Q4039815$1926BCAE-DF08-4A13-9A23-E65E72117396","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c956b6ee4f99e140fcd30c1c4f0d751cbfa6a57","datavalue":{"value":{"entity-type":"item","numeric-id":4475108,"id":"Q4475108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d007aaa2cc662ee4c25b20ea422cd0f6d39db88","datavalue":{"value":{"amount":"+0.6975721120834351","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":"Q4039815$77E94707-9A6C-4B3D-A97A-8BBEB0ED3D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fce6f8ad6b8c888ba1179087486e580713294fa","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d07b49b1e3bce1bb654b24f64cce6c744a60bb","datavalue":{"value":{"amount":"+0.6917757391929626","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":"Q4039815$6E93755B-6DA1-43F0-B3BC-A42D95A6BCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f47b69a2f07eb5a59bbd7f9a4ebb5510f3e4eec9","datavalue":{"value":{"entity-type":"item","numeric-id":4212171,"id":"Q4212171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3512871138d5eb7005a329b2df49a65fe5690804","datavalue":{"value":{"amount":"+0.688332736492157","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":"Q4039815$144E2360-CB28-4ECD-9D37-F86E1E165259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5f875c87d1c0182462a7e7e3c5533c426ab1e4","datavalue":{"value":{"entity-type":"item","numeric-id":3727984,"id":"Q3727984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"070d9798e0349eaf79633d01dd15eea1d0940e53","datavalue":{"value":{"amount":"+0.686569094657898","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":"Q4039815$E46A1AFD-9A70-4CFF-B2CE-B642C554E06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5666f7fb037ff94c5a9ad20e77adefa979f3beb","datavalue":{"value":{"entity-type":"item","numeric-id":4023579,"id":"Q4023579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1136c9953d47c6c5b6bb043ad35b0ade0e96138c","datavalue":{"value":{"amount":"+0.6771726012229919","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":"Q4039815$18F5A18E-6E59-4132-A079-D9D798F095B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4039815","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4039815"}}}}}