{"entities":{"Q2996134":{"pageid":3006858,"ns":120,"title":"Item:Q2996134","lastrevid":55937863,"modified":"2026-02-21T07:57:01Z","type":"item","id":"Q2996134","labels":{"en":{"language":"en","value":"Higher-order quantification and proof search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884868"}},"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":"Q2996134$532F89C7-1651-4584-910A-D6442F7FD156","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"216b08b7d2737e0b39e5d04f70c813277a17b5f5","datavalue":{"value":{"text":"Higher-Order Quantification and Proof Search*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996134$1B3C5E9D-D281-46D0-AB4D-52D92DC11A71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbbcb26926a57dca6777ad5e0d670362e36f89ec","datavalue":{"value":"1275.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996134$8F32AD74-343F-477E-AF49-FD90A0452774","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80ff43aae343cb28671c2ec45e0db441fd4f2f5d","datavalue":{"value":"10.1007/3-540-45719-4_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996134$84F96B1D-9398-4EFA-9CA9-41727D2B2C63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996134$C1F988B0-59AF-46F2-8BEE-D82F5609650D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-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":"Q2996134$2377AAF1-D9C3-4E8A-893E-53EFC2BD745C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996134$C9205B6D-7087-4C21-A77C-CC654E0714EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996134$6E06D492-1239-406D-9936-08FF84825E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996134$D8B13E40-D940-4552-A611-9A35F8EB380E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b61134a3ca783e4caf536b6580e14a509a98851","datavalue":{"value":"5884868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996134$872EF97E-C80B-4B05-A28C-39008AD9276E","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":"Q2996134$60221823-BBE8-438D-B17C-AE81817656DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e018e827cbf23d551844c032858d82daaa2a5c6e","datavalue":{"value":"https://doi.org/10.1007/3-540-45719-4_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996134$E673E8F1-FB87-4D6F-B01E-724C291281B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1149c01796f8ad31f6a9b6424910e084362dcfb","datavalue":{"value":"W1789528896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996134$42BF4C5B-B336-4C0E-A6F6-4AB89C091214","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6c94109ca21025909cdcaecfc630d853b08116","datavalue":{"value":{"entity-type":"item","numeric-id":3495673,"id":"Q3495673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6f62b4d3db7de82454e32f9e394b1c37e6b091","datavalue":{"value":{"amount":"+0.7222414016723633","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":"Q2996134$19CFDCD0-E507-4B49-BC5D-2357A1E9CCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c2077f4ad9245fc0d46fa3a52024b9f53a20a69","datavalue":{"value":{"entity-type":"item","numeric-id":2713352,"id":"Q2713352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130581b32dee74691e7f13db5fd5470a7b13c9dd","datavalue":{"value":{"amount":"+0.7066426277160645","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":"Q2996134$BF9D2336-1E73-4FA8-9318-97BE7583D558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1114086957203c5932681b4e371129dce0cfddc3","datavalue":{"value":{"entity-type":"item","numeric-id":3751042,"id":"Q3751042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b865d139d899cca949a6eb422ce312fe65780fea","datavalue":{"value":{"amount":"+0.70485919713974","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":"Q2996134$BA64A943-9790-4F34-9627-851C20E8AAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd29c2c601a7efad8109709c45c578bb5cf69f20","datavalue":{"value":{"entity-type":"item","numeric-id":4938612,"id":"Q4938612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e8c7883a94ce2056a1fe252fd93cc92c929023","datavalue":{"value":{"amount":"+0.70293128490448","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":"Q2996134$129676C4-73B3-4CCA-9B02-B6B5929492C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2996134","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2996134"}}}}}