{"entities":{"Q1404425":{"pageid":1415165,"ns":120,"title":"Item:Q1404425","lastrevid":48159580,"modified":"2026-01-03T19:56:32Z","type":"item","id":"Q1404425","labels":{"en":{"language":"en","value":"A constructive algebraic hierarchy in Coq."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1968942"}},"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":"Q1404425$69A83496-9A2E-4681-8BF6-ADD2D3838163","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b518e4e09e4b9fc0f0761ffe6c32fca1b17563e9","datavalue":{"value":{"text":"A constructive algebraic hierarchy in Coq.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1404425$1CF568DB-423F-4A11-AA4B-65B7B5C9B1AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2095465d8905392f96770926d323f0c676af78ed","datavalue":{"value":"1038.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404425$286F9E3F-9CE9-4277-B903-6675BE822F94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404425$085DACDC-E59B-4209-87AB-ADD0C6692C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3f09969608d8699dd0bc1cbe8a166511a2b5de6","datavalue":{"value":{"entity-type":"item","numeric-id":740483,"id":"Q740483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404425$29C54709-727C-4DF9-BDFA-A43250F9D7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c24cc198e7b26916e61ffb256f7b2af313e3e7ee","datavalue":{"value":{"entity-type":"item","numeric-id":865657,"id":"Q865657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404425$A9DC6B56-3733-4D34-A7C4-455C7AACEAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ac73ca5db176c9a1e70bfcf85ec2d48c6f84e4e","datavalue":{"value":{"entity-type":"item","numeric-id":1404424,"id":"Q1404424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404425$84C02A0F-F6E4-4FA9-814B-747671427C8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404425$BA2884DF-EA25-4052-A489-ABA23F8B4922","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"582f899fc79c44b21a414a56c8b1e2a11284e885","datavalue":{"value":{"time":"+2003-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1404425$CA0E7AA8-4773-4CFC-A7B4-7EEB7E5579D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55bd177180f0112dd5a070521a5d5602b8b89e0f","datavalue":{"value":"http://hdl.handle.net/2066/104042","type":"string"},"datatype":"url"},"type":"statement","id":"Q1404425$25D0A357-41C6-4865-876E-F51B6498DCE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404425$4B3A2CEF-F351-4164-B558-D16149F29699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404425$6C6BF512-5376-4880-99FF-8298235E66B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404425$DE1F7AC3-43CC-4A49-91E1-DC1C0EE2E969","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fe5de654600b0a4150550296b0a646806892a89","datavalue":{"value":"1968942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404425$808A5412-A48B-429E-8B9F-C916C8540460","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":"Q1404425$561E4C0A-D6E5-4A40-950C-4A0E4F35AE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404425$7CDF764F-C44E-4590-A2EE-19D26EC841BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ba88ec88a3e0f66013f52903eb001c6391d509c","datavalue":{"value":{"entity-type":"item","numeric-id":12835,"id":"Q12835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404425$9D3EFE4D-F688-4B36-A7E8-FF640452AC4E","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":"Q1404425$3EBEF94B-CA0A-4AB5-90AE-54D9682CAC81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4ad6f8b9e13100512c34bbbd4bbd61d5f76c9b8","datavalue":{"value":"W2013140497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404425$D76DF196-1E00-459D-9B0C-FDD0B6879D85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"189d21f07a1936e0e3f3ea8514973da3327e32e4","datavalue":{"value":{"entity-type":"item","numeric-id":4647565,"id":"Q4647565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404425$CCF903B3-CB56-46BD-BD3D-8E7D88DE6D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404425$6CE38EF5-7421-4F73-8280-FC13C74C6F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320eecf344a091635fad42e50b7981522b2e5942","datavalue":{"value":{"entity-type":"item","numeric-id":2754042,"id":"Q2754042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404425$7796A7EA-D11C-4539-9B89-E8AC5A5D1BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b4619cd90eab2ee99da46e38d86e9871623db6","datavalue":{"value":{"entity-type":"item","numeric-id":4736392,"id":"Q4736392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404425$5AF93F0A-6874-4ECD-9308-5F7744A27447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458562ae2613db0abbaf26dc41331f544ed51ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4023355,"id":"Q4023355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404425$8ACB2075-BCE3-4062-B9D9-CF8E8A8A24BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e62a081ec8b49a25814720c8c5836d0bdc8799","datavalue":{"value":{"entity-type":"item","numeric-id":1142249,"id":"Q1142249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404425$ACA09C64-92A3-4A68-BD73-E10059EB4C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bbf5c4acba1e943106282227d496dff22117d6","datavalue":{"value":{"entity-type":"item","numeric-id":4238487,"id":"Q4238487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404425$C91200A4-63A5-41F9-B732-F5D73455D6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf264be42d88dcb3ce802780aca83dfc22bae994","datavalue":{"value":{"entity-type":"item","numeric-id":2754063,"id":"Q2754063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404425$9700384A-8537-4222-AE5D-00E0F06B9262","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efc82224fff7cf8b97a9f47f70d0d261dfabe5ea","datavalue":{"value":"10.1006/JSCO.2002.0552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404425$7531D0EA-FC85-482A-9A96-F7DB2DD9DE36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f283ce1b7bb222e202a6acf28a6a844d9018de04","datavalue":{"value":{"entity-type":"item","numeric-id":5747673,"id":"Q5747673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb75c8178805a7a2c45f488a970e303e932fe66","datavalue":{"value":{"amount":"+0.8415974974632263","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":"Q1404425$BD0A1FB3-1DC8-4B0F-BBD8-647CFE44C5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4910d91c3be69dc0495e642c7c1ef82791785ac","datavalue":{"value":{"entity-type":"item","numeric-id":3183538,"id":"Q3183538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd74cf864bb9d9fb6ef010168fe2b1b6eca6b312","datavalue":{"value":{"amount":"+0.8213101029396057","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":"Q1404425$C5A6FBA3-35E2-48BB-86C2-AA0A0F58F39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a314e3e300ecb5f9a5ea5dd7518452d5ba23be","datavalue":{"value":{"entity-type":"item","numeric-id":3499757,"id":"Q3499757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6337c810b544ec247b45185e5656e936c6111c","datavalue":{"value":{"amount":"+0.7573398351669312","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":"Q1404425$F20BF45B-1835-4D85-9A10-5354A5F3FFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53a94cc67207c0fdc8442479c202e5e53255e97","datavalue":{"value":{"entity-type":"item","numeric-id":3582708,"id":"Q3582708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddeec5e5f9204ab5ea128daf2f31ad130e99a894","datavalue":{"value":{"amount":"+0.751487672328949","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":"Q1404425$22CA814C-8380-4263-85A3-979A522F638D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0edeae59a8ab69e1707229feeda586958acc98","datavalue":{"value":{"entity-type":"item","numeric-id":4484347,"id":"Q4484347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9facee02ee12efe2cdfde217c335f5ca5e26c9ce","datavalue":{"value":{"amount":"+0.7432963848114014","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":"Q1404425$7ACC7EFF-5C0C-4298-9A09-37509B08666B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1404425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1404425"}}}}}