{"entities":{"Q3559770":{"pageid":5589674,"ns":120,"title":"Item:Q3559770","lastrevid":50976530,"modified":"2026-01-16T01:22:00Z","type":"item","id":"Q3559770","labels":{"en":{"language":"en","value":"Inductive invariants for nested recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705583"}},"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":"Q3559770$AE2E21D3-723B-4448-97C8-A8CB37E67D8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95efc3d6d17813d387e6d3cfa5a9d991b601efa4","datavalue":{"value":{"text":"Inductive Invariants for Nested Recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3559770$BA176937-50A1-4A89-8411-DF3F465EE64A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55135455893f26a11926fb80fd9879724dfe7bc9","datavalue":{"value":"1279.68289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559770$BCB5268A-0FCF-46FE-A416-BB7657BEE73F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01e73cc63993d7bb2f38b7eb1ac11ff672abe902","datavalue":{"value":"10.1007/10930755_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559770$A1514BEC-FA83-4CCD-B657-57FCC1ADF1F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559770$7C15588F-66A7-4E3E-A33E-85E2C83A9637","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17e143d5b33c80948b67548d47c63ee6df7c9f0a","datavalue":{"value":{"time":"+2010-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3559770$396FDC25-5C0F-4D3A-87CD-425A7219B55C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559770$A77E709C-8318-4A40-92F0-C5D9124695A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559770$97D426F8-6FC1-43B0-975A-842EDA030136","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07d6b4ead5ef690f0e331f98320992af1f86bac9","datavalue":{"value":"5705583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559770$38332BE2-1846-4694-9BCA-EC46E2D4A806","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":"Q3559770$4052C2FC-7E6D-46B1-8C20-0C0A96B60F01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8eae4601706feb97badefbfb9f62ac58239f0d76","datavalue":{"value":"https://doi.org/10.1007/10930755_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3559770$8BA05A3C-4D92-4191-8B0E-108A804E8E4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e5167ba8f2ca74e1371ee5a9b5d5d6436eeaaa3","datavalue":{"value":"W1505809024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559770$A191D2DB-2DCF-46F4-9AF2-1BBAF551D64A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac4d4eabd46477df90bb4696f7297ab0aed949d","datavalue":{"value":{"entity-type":"item","numeric-id":2754066,"id":"Q2754066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079d9eb78745512070ccc5b09067f830c4df1630","datavalue":{"value":{"amount":"+0.8122344017028809","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":"Q3559770$BEE00E75-94B2-405E-91D0-A7A7FB4EC782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63392152ceac32be176b948e503f3e589a506710","datavalue":{"value":{"entity-type":"item","numeric-id":972425,"id":"Q972425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8c094697f9dd78f15acd90b2edcebf6e2f1d70","datavalue":{"value":{"amount":"+0.7695262432098389","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":"Q3559770$5A31838C-DE34-4BA4-B26D-75D9408424F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6464788f6003c55eb5f1a99784db6dc33607560","datavalue":{"value":{"entity-type":"item","numeric-id":1367078,"id":"Q1367078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b4c18d7d5f44f0d0c3ed2cb9d1db051399a774c","datavalue":{"value":{"amount":"+0.7664186954498291","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":"Q3559770$564CC700-0A3F-4FE5-89EC-E0177612987C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"622d51dc706493176237d6f56355331d44c81130","datavalue":{"value":{"entity-type":"item","numeric-id":2743705,"id":"Q2743705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b4c18d7d5f44f0d0c3ed2cb9d1db051399a774c","datavalue":{"value":{"amount":"+0.7664186954498291","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":"Q3559770$000C7BC2-4C7E-4BBA-87A1-0001448E709F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f12cc42a11f603ff3a7078a8ce829374450f4f","datavalue":{"value":{"entity-type":"item","numeric-id":4790656,"id":"Q4790656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77083ff0be3506e34b600649d1253e12df91e787","datavalue":{"value":{"amount":"+0.742527425289154","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":"Q3559770$015E92CC-F63C-4930-99C5-8C2A3D13AE25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3559770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3559770"}}}}}