{"entities":{"Q2713352":{"pageid":2724091,"ns":120,"title":"Item:Q2713352","lastrevid":47610598,"modified":"2026-01-02T05:23:24Z","type":"item","id":"Q2713352","labels":{"en":{"language":"en","value":"HOL-\\(\\lambda\\sigma\\): An intentional first-order expression of higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1595920"}},"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":"Q2713352$1C03C0C6-BB03-4CD5-B529-3517FE6F5D7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0860c70cd5105e4763b1c3087c58247bf60f39ce","datavalue":{"value":"0972.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713352$41BBF4FC-F0D7-4A55-A375-6A46DBEB0906","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a85234d8b76b92ae265ec11514a6eacc231f66e","datavalue":{"value":"10.1017/S0960129500003236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713352$9AFB9731-FF7B-4516-B88B-D4612D974B42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2713352$C99D4CE9-1E42-4797-AB59-1CFB3FF3E387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c50f42ac443d41828b557f6076f88056505c203d","datavalue":{"value":{"entity-type":"item","numeric-id":918955,"id":"Q918955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2713352$8F9B7696-090D-479E-9F2F-79B5DB149FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67de4dcf41337233b478a60d1d06381752453e30","datavalue":{"value":{"entity-type":"item","numeric-id":857912,"id":"Q857912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2713352$E80F0AF8-BF68-4383-A84C-9DF1FEDF6BD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28cf98d9fb3bd2ae0db9f209d5d7198a0716e98a","datavalue":{"value":{"time":"+2001-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2713352$FE49971E-BF7F-4A1B-BDD3-DE1E2EEFB5F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713352$8CF33D8D-24DD-405B-BC72-75AA05075C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713352$49A62C1D-46C9-4A44-ADF8-87A5DB2B8B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713352$A64138E6-7451-4120-B68D-F01EC335E90D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e19b72ce518e58ac5582ad4b2409ed15b17db3d","datavalue":{"value":"1595920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713352$B736FD74-FF4C-405F-989F-EEBABF7077E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103bbabae59d1943018b01d1ca6c23222d65f45d","datavalue":{"value":"first-order presentation of higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713352$1F7FC30C-A8CB-4B4E-8745-502A9E6D0C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713352$912720F5-2EA9-4B95-9D95-289042274638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7663d70b8bb0dad65176fe682e967260b591a41","datavalue":{"value":"Extended Narrowing and Resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713352$5180D59A-B460-46D7-9FC3-E1F97FD0D2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8a9646b82dbeb50d8df2be83409261d3b2042d","datavalue":{"value":"proof-search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713352$1592A7B2-F7B8-4083-9B1D-FC3BE2A2C701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d36f30d95b70331ad1c0cc2fefdebdc8b796f6e","datavalue":{"value":"simulation of higher-order resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713352$4F31CD57-A3EF-4EAF-8A0C-F26850B2EA9D","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":"Q2713352$55799C8D-12C3-4937-BF2C-97BB71AD6994","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a8604573e8d0e7d71203b4302a8e29731cc1624","datavalue":{"value":"https://doi.org/10.1017/s0960129500003236","type":"string"},"datatype":"url"},"type":"statement","id":"Q2713352$F31B4195-22FF-48E7-9AB5-D5134142A4AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f96ec14e307a55c381ca66e2e1a52f67a5cc3e4c","datavalue":{"value":"W2023145007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713352$4215263C-1C40-4DDF-992C-62E3625BBC36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6f1ce8d23c2055b4574db0f0708d633f0ef3379","datavalue":{"value":{"text":"HOL-\\(\\lambda\\sigma\\): An intentional first-order expression of higher-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2713352$C3A6B211-B9F6-4408-A037-4D97C162BB78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7ec159f1e880362cf671a113c6496de63141fbbf","datavalue":{"value":{"entity-type":"item","numeric-id":6768254,"id":"Q6768254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2713352$EFA93E02-47B2-477D-A421-F2A33AD9D608","rank":"normal"}],"P1643":[{"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":"89e3c18aa98a9daf979f05390e13ec3b23cfb354","datavalue":{"value":{"amount":"+0.9745723009109496","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":"Q2713352$41F5B41F-26D1-45AE-BF3F-79AC18EA8551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ec97b8481b3a0b1d3747ab1cfe1014f767440b","datavalue":{"value":{"entity-type":"item","numeric-id":4524794,"id":"Q4524794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba43aaa1780cd9930c40c4d174da1fbcf2e8529","datavalue":{"value":{"amount":"+0.7472472190856934","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":"Q2713352$B683959F-9AD2-4B9E-89C5-38FA4C4CB40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9441c225f6d3abc9609e8741ee6e1a4263c6077","datavalue":{"value":{"entity-type":"item","numeric-id":4229811,"id":"Q4229811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba43aaa1780cd9930c40c4d174da1fbcf2e8529","datavalue":{"value":{"amount":"+0.7472472190856934","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":"Q2713352$E04ECCE9-B6B9-43E9-AC5A-AA752DCDD7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"105d4513e75114b67c27ffe752f73483979abd94","datavalue":{"value":{"entity-type":"item","numeric-id":2883107,"id":"Q2883107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d91a659cec9b1d259d488d1bf434b811a6fcfe84","datavalue":{"value":{"amount":"+0.7363793253898621","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":"Q2713352$40FDA939-63D1-4220-BF6D-C05CB9754296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71118114fbb65a0d0338d16dfefbe08e60cecc80","datavalue":{"value":{"entity-type":"item","numeric-id":935562,"id":"Q935562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbba50e35a73f9e384cfc0305d7b88cdcc62a835","datavalue":{"value":{"amount":"+0.7363520264625549","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":"Q2713352$A354BFEC-D2A2-469C-87D4-E39AFDE41C08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2713352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2713352"}}}}}