{"entities":{"Q3874192":{"pageid":5904097,"ns":120,"title":"Item:Q3874192","lastrevid":89001869,"modified":"2026-06-04T16:04:42Z","type":"item","id":"Q3874192","labels":{"en":{"language":"en","value":"Formalization of correctness of recursive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3677821"}},"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":"Q3874192$57E21FD2-80F2-412A-B040-35D7DE8CB0AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46cae60f5fd62d702f12c7a497a5d737535ab748","datavalue":{"value":{"text":"Formalization of correctness of recursive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3874192$FE5272B6-701C-41BE-87DB-C9D491D5DD25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ce481de15268b7a2197ff01819d1fdfc1e86a96","datavalue":{"value":"0435.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3874192$23B9272C-C8F3-4E17-97E0-EED1F92F4544","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2ed46950d974616350c593486fee6fb976a8a5e","datavalue":{"value":"10.1007/BF00995809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3874192$FE546527-94B2-4170-B9CD-F0B3ABBBE808","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6934ff43c18d4eb83c0180569d954b740c1ce968","datavalue":{"value":{"entity-type":"item","numeric-id":209302,"id":"Q209302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3874192$F5BA7FDB-6C17-4F42-8B21-E288D8E89F96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"299c62a7bb9adc9e73fd7facae1ee9d7ae362535","datavalue":{"value":{"entity-type":"item","numeric-id":2855323,"id":"Q2855323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3874192$1BCB6673-11A3-436D-932F-BD984B3657CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3874192$1881D41E-376B-45B6-A2C2-22ED4027C4F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3874192$A8E1BE4E-F9A9-4FA2-B301-4E80ABFF6EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3874192$C3B46FCC-3974-41D0-B4C7-C4748621E65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3874192$B0077F14-9F2D-40B7-84F0-66FB054A712E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d850e8979d23c95c2e60bca829851c7d1e822d1e","datavalue":{"value":"3677821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3874192$E75344B0-F0DB-49DC-9B63-6F80D6FB0AE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18db81407c53835673fb1661c4a9b1d9979dba3e","datavalue":{"value":"fixpoint approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q3874192$58CE8D23-BFE1-4F31-BF74-D9AC3D29C768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdc3630768038a46dca9c36c23317972c16a1936","datavalue":{"value":"correctness of recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3874192$9CD071C0-F4C3-4557-859A-76D1AA9DF6EF","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":"Q3874192$E5A4E99E-A77F-4D95-883C-E39A0307F7CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5aee793586bf0acf2d1e18934123cb3662019f9","datavalue":{"value":{"entity-type":"item","numeric-id":1144373,"id":"Q1144373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3874192$D8F99259-B4E0-420D-9F29-82374D1B3CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3874192$F20141B7-39B3-4225-849E-E9466B41D243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3874192$3506F820-1E96-451D-80AF-3373EC5B627F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24956801039fd919454009aea6cf74b8bb853758","datavalue":{"value":{"entity-type":"item","numeric-id":5626273,"id":"Q5626273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3874192$03B3D5EC-F2A4-4A4C-B0E2-C59F52E9CD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8abe76dbc0c5dac418aff1c2cdca03092fcb0cc","datavalue":{"value":{"entity-type":"item","numeric-id":5402519,"id":"Q5402519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3874192$DDD23510-FA42-417C-B451-A0E54E6675E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b5e466b1c925a5865453f6a7c6c7fb3f401401","datavalue":{"value":{"entity-type":"item","numeric-id":5606281,"id":"Q5606281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3874192$589329C7-2AD6-43A9-8B33-39EC471C3139","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79a3513ac8c5dfca145ae832750101047e210595","datavalue":{"value":"https://doi.org/10.1007/bf00995809","type":"string"},"datatype":"url"},"type":"statement","id":"Q3874192$F72F2375-F470-45D9-ACA3-9388E71C1280","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1aa9ef28339e4c50295cee07a9a08ee6fc52f292","datavalue":{"value":"W2032490842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3874192$662F51B3-C0F9-4D28-91FD-E977E7C262BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization of correctness of recursive definitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalization_of_correctness_of_recursive_definitions"}}}}}