{"entities":{"Q3586992":{"pageid":5616896,"ns":120,"title":"Item:Q3586992","lastrevid":51067862,"modified":"2026-01-16T11:56:01Z","type":"item","id":"Q3586992","labels":{"en":{"language":"en","value":"Automated reasoning in higher-order logic. Set comprehension and extensionality in Church's type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5777521"}},"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":"Q3586992$38DF38F0-4808-4AC0-A6FA-C749690930C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"059a23f58512af7a3a13dd0d88a7c9f77f1f3ede","datavalue":{"value":"1206.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586992$DFADD31C-C346-4CE6-949E-22935EB9BDC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa887febe83db0ecb76efff02b8f81e18e93244e","datavalue":{"value":{"time":"+2010-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586992$6C4D2B77-EAAC-4BA0-9DA1-BABEBAC58638","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586992$D7E9B5DB-A2F0-41FF-892C-53D7D0A19F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586992$74A3B601-00B3-4532-A0A0-8FD035491972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586992$FC801042-4CB1-41D3-AAEA-D9D1517AD91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586992$91BA6BAD-5F3E-4FA6-962A-9383FE4CAB34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"699aaaf3aacaaa33781cfd0247856f7c130b2b98","datavalue":{"value":"5777521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586992$59798B71-1F39-4B4B-A685-3FF92BD4D4FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586992$9C50E7F0-A962-4559-B9B9-158A87FD3BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586992$B08D4202-C6D8-4C0E-948E-217A13416998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586992$57B19F6B-FA78-45A1-8202-1DE68B2691BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a1f3f19dead339cd86bffa0b34dbb56772c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":438560,"id":"Q438560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586992$59732044-F1DF-46DD-B4AC-720FDA6A265E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586992$DE05B027-0210-46E0-BF04-CE68BAC1A46F","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":"Q3586992$D6C09CDB-2D31-4A25-BB54-206A3FD9FC31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9139f6ceedbc79a8c36ce64cb3447ce439e96552","datavalue":{"value":{"entity-type":"item","numeric-id":5394604,"id":"Q5394604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c41e73e23478a7637aae1e6e2f81f34d74d4a4a","datavalue":{"value":{"amount":"+0.7922931909561157","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":"Q3586992$22B3C95E-1F9C-41B2-A861-70A687860510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e48e9e05eb2aa140fc917005762fc00b6691d0","datavalue":{"value":{"entity-type":"item","numeric-id":4645222,"id":"Q4645222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e34487bbfa725c9ac7d8d8faf2d5007b6c1b2979","datavalue":{"value":{"amount":"+0.7828736901283264","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":"Q3586992$1F00645B-EE75-4E0A-83DF-511FDB717F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56491fc49d1028195cb7228b1ed3b7afdcd41704","datavalue":{"value":{"entity-type":"item","numeric-id":2751367,"id":"Q2751367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6469437333936cbfa1fd91b108b477d9d97c911","datavalue":{"value":{"amount":"+0.7820162773132324","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":"Q3586992$3E8CDA8E-89F3-4584-804C-2A13D88E4BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f5e6c2ffa5a2ba95848085e6708f2b0de4f8c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997125,"id":"Q3997125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6469437333936cbfa1fd91b108b477d9d97c911","datavalue":{"value":{"amount":"+0.7820162773132324","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":"Q3586992$96E3292B-76CE-4E80-BEF5-757FC4DCFEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23c68568ccdab2f69246a1a1cd7cff5d21c092f","datavalue":{"value":{"entity-type":"item","numeric-id":5966632,"id":"Q5966632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1b486c774cf8b76f3e566841502bcef5c224c5","datavalue":{"value":{"amount":"+0.7689206600189209","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":"Q3586992$493B2E63-231A-4B0F-B1E7-01268A389F4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3586992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3586992"}}}}}