{"entities":{"Q3523167":{"pageid":5553071,"ns":120,"title":"Item:Q3523167","lastrevid":50441447,"modified":"2026-01-14T01:43:44Z","type":"item","id":"Q3523167","labels":{"en":{"language":"en","value":"Extracting Purely Functional Contents from Logical Inductive Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318936"}},"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":"Q3523167$6914EBE3-871F-47BB-9BDD-6A4983B59222","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"441a9271ef55671e855a272d3f23c580938a526c","datavalue":{"value":{"text":"Extracting Purely Functional Contents from Logical Inductive Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523167$91872FDD-A6ED-47F5-9427-D3792D61D82E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94e77c550abc3d976ac305a9f19b3f37b1028d83","datavalue":{"value":"1144.68354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523167$C3426CD5-AE1C-4D64-86BD-2FFF101293A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"621c5c5442aefe8e47824dd1aef13e6162e3c41b","datavalue":{"value":"10.1007/978-3-540-74591-4_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523167$DDA65877-BC93-49FA-A393-B11CCF7674CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"786f6c8f2a36da61e98b228bbd36b74e25ad6f92","datavalue":{"value":{"entity-type":"item","numeric-id":2104524,"id":"Q2104524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523167$EEB2A709-ADAD-410D-8DD0-18C624904BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8c40e2cd3207dd1d19085f0b79e8fee7be86ced","datavalue":{"value":{"entity-type":"item","numeric-id":1624591,"id":"Q1624591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523167$23DC5D01-184A-4E1C-8B77-44382030DCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b7069ced70d79f482f2006d6566f2e93edc53b8","datavalue":{"value":{"entity-type":"item","numeric-id":3523166,"id":"Q3523166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523167$A7DDA775-36F9-4B32-AF3C-452AE859B970","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":"Q3523167$0B2BB06D-4F55-480D-84BB-8F661E7E1C68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523167$2D5ACF46-C568-4E26-9C73-FBBE08CCF8EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523167$46F4FFD8-3F85-46AA-81B5-BDFBA1164221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523167$9DE6520B-DA34-4CD4-915E-717288CF2D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523167$BA01FBDF-5B28-42FE-8917-C1A5B6C536FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce8de362c39a7e0313fa1fd0a5c63ccc3b24116d","datavalue":{"value":"5318936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523167$F8FB842B-1719-463D-B951-B49BE164ECAC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523167$ADC24292-F36D-41AE-A6D0-C109DE0603E5","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":"Q3523167$16DCDA80-701C-453E-9C9F-0233FB463836","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1de1e306e82586816e0f4b630bca097ec8f4198","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74591-4_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523167$8E5C21EB-5B46-4D87-B3E1-461385912C58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91829aabbcf1b80d9068a631468c736338efb4ee","datavalue":{"value":"W1534887562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523167$F43AEDF3-51B6-46AE-B202-E44FA5253E9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6b18b9ae53aab9cdd32553920806fcfd4783c9","datavalue":{"value":{"entity-type":"item","numeric-id":4916053,"id":"Q4916053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d9c0ecc54e8cdb7b1c755543ff06d051315a39","datavalue":{"value":{"amount":"+0.7556032538414001","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":"Q3523167$360E7191-7CCF-45CF-A0CA-9B7A07C05C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714e15e5a2ba4fff06e9121fed38d3236869a4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1267035,"id":"Q1267035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c259b910081786d9911dbc98a45edead27128c0","datavalue":{"value":{"amount":"+0.7258281111717224","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":"Q3523167$D1E337A4-18D3-4308-B61E-720EF4FD17CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126be7296d6b7110e1000144e41a4b9d8fcc6ece","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e97cda3d69e69ba8077b6d8c44f6debf2195a60","datavalue":{"value":{"amount":"+0.7162989377975464","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":"Q3523167$9D50159E-1777-487C-8821-7204E5B66C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"952c565cec2234704fbec9f4b173de9c3f77bd99","datavalue":{"value":{"entity-type":"item","numeric-id":3507450,"id":"Q3507450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f68a6846a4ed1419be52d6d5a091c46297e23a","datavalue":{"value":{"amount":"+0.7140702605247498","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":"Q3523167$6857938E-0606-44EC-9135-AF6DE2EAA53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc18ee63967d27b68bef5b3a1749be5e3c0935e","datavalue":{"value":{"entity-type":"item","numeric-id":4435458,"id":"Q4435458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bdfe1f6aa07fb11844b13cae4a757d2c49e4db1","datavalue":{"value":{"amount":"+0.7040529251098633","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":"Q3523167$D2807777-3F76-4C37-8879-38602E463C6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523167"}}}}}