{"entities":{"Q6567727":{"pageid":14178882,"ns":120,"title":"Item:Q6567727","lastrevid":95576750,"modified":"2026-06-05T09:19:28Z","type":"item","id":"Q6567727","labels":{"en":{"language":"en","value":"Higher-order annotated terms for proof search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876674"}},"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":"Q6567727$93026029-1D54-4863-AF60-509C6E9461A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7b50a6caf6ac59c93d03460f743e8fc6c9a3e43","datavalue":{"value":{"text":"Higher-order annotated terms for proof search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567727$6AE162E3-0446-40C7-8F79-33EF9AEEBF0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efd844bd09678ee413d41163c69f6a251ed17bc8","datavalue":{"value":"1543.68412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567727$BA33011D-F63B-4B7E-8272-901D147AF185","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6df844f896d888573d76c54cedfde12049f28d2a","datavalue":{"value":{"entity-type":"item","numeric-id":540693,"id":"Q540693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567727$ECA4D372-FE84-48D7-9B18-632F9E923854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1049fb3a5c1f5f050767d0dfd05ea2dd53468c","datavalue":{"value":{"entity-type":"item","numeric-id":540692,"id":"Q540692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567727$6B2B209B-736B-4107-9275-66F2B415AA15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-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":"Q6567727$364E884C-1F47-47F3-A1AF-68E4E0C84C33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567727$93210469-EF26-4553-A71C-9EACAC10BE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567727$4745AC90-920E-41EA-BD74-D13B9DF7E748","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42f9cea81923c0b7d99181318c90f243d23a5bd8","datavalue":{"value":"7876674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567727$75856F35-B393-4F21-AC64-681B4B5FE076","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":"Q6567727$7C6AD75E-A702-42FD-8A4F-07307CC6132D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567727$4B458E17-555B-4EDE-8B30-E8DD4AA93ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad3ce1d12e07cae3923bc865cfc687e2caeccaa","datavalue":{"value":{"entity-type":"item","numeric-id":5210791,"id":"Q5210791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567727$9D2D2225-4BFF-4DF3-BDCF-724348D6532D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb31cfec21be04f1ba8409c207f9c0a2daf7299","datavalue":{"value":{"entity-type":"item","numeric-id":915496,"id":"Q915496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567727$86579B2C-C158-4C5C-ADB7-55EC4C6C86B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15612fd82e859857164b9c4f81fc68560db2b5e1","datavalue":{"value":{"entity-type":"item","numeric-id":5044749,"id":"Q5044749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567727$87F79C62-E1DE-4781-B697-027D55881E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567727$B96365A1-E663-4C2E-ACEC-29B9D58884C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a62fc73d328b39f05fc8fae0c1a2a5426db9a","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567727$4EE18722-9036-4729-B04F-3ABECAD4B7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb40eaffa350ac2f00c7522e92d2e0a632635b28","datavalue":{"value":{"entity-type":"item","numeric-id":6488570,"id":"Q6488570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567727$590534C7-DABB-42DA-BA51-4A5182218B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94a2fe58e64b528f4d29cb8a45205f6ae980a02","datavalue":{"value":{"entity-type":"item","numeric-id":1311396,"id":"Q1311396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567727$5EFBECE4-0B0B-4062-8946-D889B88EDBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567727$542DC67B-1447-4A97-81ED-610E58BC321D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d8b44f05217c526aa12a6be320ec9c8d40564a","datavalue":{"value":{"entity-type":"item","numeric-id":5053011,"id":"Q5053011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567727$41C5C5C7-5858-40C1-87E8-4B5BB2DB5F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d7dcc337f0f7083d889ef5fbd195dbcbfcdc2","datavalue":{"value":{"entity-type":"item","numeric-id":4720797,"id":"Q4720797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567727$DE20DDDE-EACD-4B6F-A453-5C7B2DA8B191","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f4cf26a290994e1eb0ba68cc5039aec1d1d65c0","datavalue":{"value":"10.1007/BFB0105418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567727$58F6E556-7A71-4D9B-A1D6-AB12CA7B0E43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bbc84331b16dfa5ce4f84eb5b27783b7534d355","datavalue":{"value":{"entity-type":"item","numeric-id":540694,"id":"Q540694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7de2326a46fd7428e099d33f4c68a1ac485471","datavalue":{"value":{"amount":"+0.872265636920929","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":"Q6567727$DB3248EF-D465-4CD3-A908-27E3A474FD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a6a7803906ce00b51fba1fb0c658bb7d25eff5","datavalue":{"value":{"entity-type":"item","numeric-id":1582389,"id":"Q1582389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775829f87df2cbfe92fe2892a0f14cd84e11a17f","datavalue":{"value":{"amount":"+0.7740678191184998","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":"Q6567727$7709E9E9-B9CF-4D9A-AB73-7303B49A5CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c96a18c240f93911be8e6b1a11d91073a171525","datavalue":{"value":{"entity-type":"item","numeric-id":5234713,"id":"Q5234713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c2595b1ced1b4f080e987aa85dae8372eda7cf","datavalue":{"value":{"amount":"+0.765809178352356","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":"Q6567727$00D80851-71EA-4FB8-AFA6-C0725D6CB651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7350440adc65afd101108240b617d27ec4780b","datavalue":{"value":{"entity-type":"item","numeric-id":1915137,"id":"Q1915137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"186a8e787bfb853ced06d4777d1258a8b36db84e","datavalue":{"value":{"amount":"+0.7486493587493896","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":"Q6567727$131477B9-8020-4781-B942-E3BC5AC710E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58008fa9e843b740103517488e6a1855d7482e65","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d17cbb8111f6f2317b33758c1116a7f2743a2e","datavalue":{"value":{"amount":"+0.7316075563430786","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":"Q6567727$603CA307-5B8E-4363-B9B5-805429626C98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher-order annotated terms for proof search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Higher-order_annotated_terms_for_proof_search"}}}}}