{"entities":{"Q5385588":{"pageid":7415162,"ns":120,"title":"Item:Q5385588","lastrevid":92232023,"modified":"2026-06-05T01:12:11Z","type":"item","id":"Q5385588","labels":{"en":{"language":"en","value":"Relational Reasoning for Recursive Types and References"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5271792"}},"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":"Q5385588$A247F95C-F4B9-41C0-80C9-DF0784B36AFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b11fc4c6e89abcf8e05b4584aa905b7e42b7da6","datavalue":{"value":{"text":"Relational Reasoning for Recursive Types and References","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5385588$EE8B06B5-9E7A-45F9-868B-637F3650C8E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"206bd4ecf238f68690bb6b283784cec9fbb49ac0","datavalue":{"value":"1168.68350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385588$744DE6BA-9022-4C94-85AF-6678B9DC6E0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ab2ded2da20decdfc1a780041917d0ddd85dd64","datavalue":{"value":"10.1007/11924661_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385588$C34199A7-0ECC-43B7-A6BD-AAF0D60B00DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72105085d27e3cfd09b1990224e4d536ba032fe4","datavalue":{"value":{"entity-type":"item","numeric-id":3518268,"id":"Q3518268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385588$CAFEA729-50DE-4DFF-9906-580AB0FEE4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385588$DAE4037B-C6E3-40CF-8A01-D9753215CC9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385588$E35033A8-45A2-4EF0-B9C5-50468CB52B05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93fa65317d5f6a1c57db571a35c69b79f79eaa4a","datavalue":{"value":{"time":"+2008-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5385588$C5BFBC61-91DA-42A1-8DFD-554E9D30A85F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385588$B16F5613-2230-4BBD-A2C2-FEE3DE8C75B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385588$1ACAF96C-E26E-411D-A5FD-BE2261C6653E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec154460732a3be22769e6a7ecfd2f232e52eff0","datavalue":{"value":"5271792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385588$A4FEB421-B2E3-41B8-881D-B05FF1A706D3","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":"Q5385588$2B94174F-CE9A-4AE6-B41D-FFAC1DDD916D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cda1340d61f0f00484e04bcc6f1179ca1b6a7d5d","datavalue":{"value":"https://doi.org/10.1007/11924661_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5385588$093A34C6-57CE-47F7-8933-15520F6F2E34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17971281aa5f0cda914d81712e7c34956adaadc3","datavalue":{"value":"W1580157489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385588$44063E5F-2516-4F37-9EA0-7F72596AAD2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cb6ea631bb1b4a20014eb11c209a3d5e397924","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654d7ae2ea1e267aafd678d8da8a997744ecb405","datavalue":{"value":{"amount":"+0.763412594795227","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":"Q5385588$9585878A-C2CD-4B90-A601-4BC2B5F878C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3c60967da9fab44c7a1ceb7a7c7cc52b987b0b8","datavalue":{"value":{"entity-type":"item","numeric-id":5704031,"id":"Q5704031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d85da326f7f9ec2f6d8d5bea300977e87e6f1e","datavalue":{"value":{"amount":"+0.7625711560249329","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":"Q5385588$16B285CC-D855-4FA2-A8D9-4B8F8F8B62E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c35cb212552d3176ec42b26c4ec362f727243f","datavalue":{"value":{"entity-type":"item","numeric-id":5899009,"id":"Q5899009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07c6a8c13676a99ff9052364889b40d1802ef1f","datavalue":{"value":{"amount":"+0.7439910173416138","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":"Q5385588$0F75DECE-80D9-4ADF-9108-A412FD4F87FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e58229d9b206221dd94e973d6aaf489d181ded","datavalue":{"value":{"entity-type":"item","numeric-id":1854316,"id":"Q1854316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a647db5910cafd6c01a166f86b14ef0a8fc36833","datavalue":{"value":{"amount":"+0.7406851649284363","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":"Q5385588$7AF57208-E017-4CE7-BA66-F252E85393EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c82406279a595b5cc68f1074a82622cc845d01f0","datavalue":{"value":{"entity-type":"item","numeric-id":2704324,"id":"Q2704324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14cd2b914542dc1d181a2fc845d86ea3a97fac01","datavalue":{"value":{"amount":"+0.7370333075523376","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":"Q5385588$650CDD9F-AAD0-487B-91DC-F66F6AE8AFF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational Reasoning for Recursive Types and References","badges":[]}}}}}