{"entities":{"Q2817937":{"pageid":2828675,"ns":120,"title":"Item:Q2817937","lastrevid":79420532,"modified":"2026-05-06T13:52:00Z","type":"item","id":"Q2817937","labels":{"en":{"language":"en","value":"Effective normalization techniques for HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623273"}},"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":"Q2817937$B7B535B9-8A60-4570-A8DD-BF0D3FACF860","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68e246638810a8438e1d93300e381b50f3efe6c4","datavalue":{"value":{"text":"Effective Normalization Techniques for HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817937$16472E28-C4EC-4E42-9F4B-9B07BFAA01C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf1da216af6a59756734bf34a8960ba3eb2a66c0","datavalue":{"value":"1475.68453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817937$F5A18FB1-A623-419D-A6E5-42674B3AD3B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77497a9c60b1d63f63486f0282ef54a0e96ac1a3","datavalue":{"value":"10.1007/978-3-319-40229-1_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817937$17A6A98F-2F17-469E-995C-6F388CC33820","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7983d331bfbee6536f2ed75de34761213755f507","datavalue":{"value":{"entity-type":"item","numeric-id":2817935,"id":"Q2817935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$0EFCF477-0729-4DC0-8BDD-F77616D97DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d804cf7e485bfddfeb0967f0a2ed09ee96e11180","datavalue":{"value":{"entity-type":"item","numeric-id":1799071,"id":"Q1799071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$C10F4B1A-4D5C-43B2-9863-F46EFF8E1C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f376173b7650e84b68fe096dcd3172653f93438a","datavalue":{"value":{"entity-type":"item","numeric-id":2817936,"id":"Q2817936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$65AAA234-1537-4DBF-9A44-C6D5C2EDCC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$3D82DCDF-9166-4A08-AD87-60EAD85FD348","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$33FC0D20-932C-4061-8091-A81CFAF32C28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817937$8832566D-6B73-4CDD-B8ED-0E9A296C5689","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02ae378c71faccddbdd53864addb186b88108108","datavalue":{"value":"http://orbilu.uni.lu/handle/10993/40840","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817937$30E788EC-CDA6-4654-8F15-D18756441D08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817937$FC952F25-9DBC-42C7-82F0-80A1DDA7017D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817937$1A2930A2-C403-4A29-8703-3DBE62FA3D31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2beed2f90f448242655ecea90a5eefc534d785b5","datavalue":{"value":"6623273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817937$170DFADF-6A1D-432D-8398-A54F79F6B5C4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$7355DF97-FFDA-40DD-B95E-4B7F55A23033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$E8C1A266-D33B-466E-8FC8-1C2FF59DA536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$74A41FD2-24F5-4A68-B6F9-743112A83AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$9E566F38-BFC3-40C4-8789-DCBED5E521BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$D55EEC96-ACFD-4BB7-AF3B-E1F99525FFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$3F55A897-361F-4F74-9E8E-415FFCB48122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f63de557d279c4616add6af7fb4f5f08e4cbf484","datavalue":{"value":{"entity-type":"item","numeric-id":41399,"id":"Q41399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$6BEED24C-43E6-4886-9ED3-30994755ECE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$F1AE2911-903F-4D29-9397-0718F7361D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d5babe97f2f56351f377ba7c3d7378d6a3c2e47","datavalue":{"value":{"entity-type":"item","numeric-id":30355,"id":"Q30355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$D18C3897-71F4-44D8-945F-828193F7F2E5","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":"Q2817937$1D3BB3E7-E1C3-4A75-94D2-DF106D2BEE79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02dad687ac075f6de96b8bf60fe449a8dbd9d65f","datavalue":{"value":"W2500310339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817937$AD652787-0C63-474A-BE1E-F1FD00276AB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"abb395247f033fef2d5dccf3b9e631ac3727ad5c","datavalue":{"value":{"entity-type":"item","numeric-id":3623018,"id":"Q3623018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$EC3D870A-1A3C-4D5E-8680-3933C982B170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44f29a5847ba65ecb038e53a168893c35ebafbc","datavalue":{"value":{"entity-type":"item","numeric-id":287283,"id":"Q287283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$83E34289-1BF2-4057-B7A4-91532E7C6559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$BA136D2B-3E56-496A-AE4F-F8FFDE87E584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73747d1be528c82497c6517bd1ecf143bfa790b1","datavalue":{"value":{"entity-type":"item","numeric-id":2908482,"id":"Q2908482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$78973705-3050-4772-A952-BF2C46A93C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$5360F9B7-0FD7-4819-BB70-BDC98A5DAD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704aa6a93e08ad86249a712577f6e2a837a14490","datavalue":{"value":{"entity-type":"item","numeric-id":4249904,"id":"Q4249904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$D5CA6B4F-2381-448B-B71C-B34F9FBECCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28deebb9f03725888e2cb415bbaa29688963935e","datavalue":{"value":{"entity-type":"item","numeric-id":2751358,"id":"Q2751358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$53EF6D2A-07E7-42A4-96B4-421F599C3E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ba0d7a787c3ddf27f1ee78a59c4dec37184a75","datavalue":{"value":{"entity-type":"item","numeric-id":4520767,"id":"Q4520767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$CFEA4CDB-EAA6-402F-9F69-C80A8CDB4065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$8CA7D23A-8543-4DF0-8ECF-44A3F7B37C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4ee858c8544ddaa2b36ea8b7a73636ae5df893","datavalue":{"value":{"entity-type":"item","numeric-id":3075241,"id":"Q3075241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817937$9E2E5CC5-D92D-4F5F-9336-87BD7A861594","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af319d95894bd51d563498fa66b2bb6f616e464b","datavalue":{"value":{"entity-type":"item","numeric-id":5191100,"id":"Q5191100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"502a958a3e88cf7c0009565c9931d2e191b59297","datavalue":{"value":{"amount":"+0.7192877531051636","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":"Q2817937$63B9CA4D-2431-4095-930B-8B98F770F48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf905a14dbf9701452aa14461ba07c908ec8a3dd","datavalue":{"value":{"entity-type":"item","numeric-id":3460064,"id":"Q3460064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"378801826bc55ceda69a1ad6e769c610d2d7a30b","datavalue":{"value":{"amount":"+0.7188733816146851","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":"Q2817937$FFC2D4D6-2C83-4AD1-A753-97EF65CC5B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b257311812b72e4519b2298a56d68b508f6e715","datavalue":{"value":{"entity-type":"item","numeric-id":2958393,"id":"Q2958393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f79aa8e447efc9c2da4b0f121ece7562b9853b","datavalue":{"value":{"amount":"+0.7180129289627075","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":"Q2817937$EB4AE392-88B0-4484-BCE9-EFB9D6DDCA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65ccfe89edfee7e808370feea971f6c76e59d31","datavalue":{"value":{"entity-type":"item","numeric-id":5898172,"id":"Q5898172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59f3e4aac3fc77adecd3b576310c4226edaec3ba","datavalue":{"value":{"amount":"+0.707261860370636","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":"Q2817937$920FD0DF-BB06-4F36-8984-F42A429A258F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80da2311e24f203113d173f62f7fb303bd7ca4e3","datavalue":{"value":{"entity-type":"item","numeric-id":3024889,"id":"Q3024889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27f1a0e063b72048730e3565b35dd86f8265e49a","datavalue":{"value":{"amount":"+0.704169511795044","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":"Q2817937$E5282298-D527-4EB0-96B6-7ED531D90340","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effective normalization techniques for HOL","badges":[]}}}}}