{"entities":{"Q5464647":{"pageid":7494206,"ns":120,"title":"Item:Q5464647","lastrevid":48530269,"modified":"2026-01-05T03:15:27Z","type":"item","id":"Q5464647","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195663"}},"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":"Q5464647$43467864-0C84-4632-9666-860624DDBC0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dbf86f36180251007d930e80e9af96d205b11ea","datavalue":{"value":{"text":"Theorem Proving in Higher Order Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5464647$46F12D00-15EA-4545-85EE-C94392838C1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4edec3a21fe9111233523b3c0081b726aaca00d2","datavalue":{"value":"1099.68732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464647$201CFDE9-8222-46D4-8783-F60450ABC79B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76898a733b17c53f346309740a5ca19fdb6dab54","datavalue":{"value":{"entity-type":"item","numeric-id":679250,"id":"Q679250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464647$080F588C-9AC2-46A6-AEFE-AC76BCCA6E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3f09969608d8699dd0bc1cbe8a166511a2b5de6","datavalue":{"value":{"entity-type":"item","numeric-id":740483,"id":"Q740483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464647$11418775-0079-4876-8740-37CF7891E2B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464647$3272DFCC-BBDF-4322-8AAF-2ED8B1957D31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddb11065d0a8b2eb0c9ba922644fcd7df350e36a","datavalue":{"value":{"time":"+2005-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5464647$7510ED3C-DD22-4F38-BB11-C75F035E7E22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464647$CC28709E-F5FF-4EF7-B4E9-59B498DA6E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464647$6CDBB90C-1F20-4397-AE0F-B5B01836F4EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9f1aade229468911ff2f362e6d9aaafe275ed5b","datavalue":{"value":"2195663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464647$D86BEC91-1C27-4DED-8C52-176467813F3F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464647$EB47D2AD-0D5E-43C9-8006-8CE3C3E20409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464647$6DFB425F-2A77-4CBD-BCE8-BCA2CFABA920","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":"Q5464647$6EE5FA1B-0E2F-4FBB-A4E4-7105E7E24187","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":"Q5464647$9B747AFC-31A3-4131-967B-1C3F8D96EF07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d0827adfce9e95a41e9b241cb6e71fc5161e244","datavalue":{"value":"https://doi.org/10.1007/b100400","type":"string"},"datatype":"url"},"type":"statement","id":"Q5464647$CF7C1ADC-DA4A-4A02-8DDC-3A22239CDEB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e2331554d07e306ad1c5f27a2ceb70ff59729ae","datavalue":{"value":"W2798038182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464647$62988B2C-6939-44D5-AB84-5185BACAAE20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f3c87052d3eba7f583a529fee7b521492998e1","datavalue":{"value":"10.1007/B100400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464647$EC587A8B-4C86-444A-B720-0616296A1432","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ddfe8706eb56f964bdfd12380be6a420c1d49e0","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d916a5d07073bf6833d74c90a667d8ef00e3f5b","datavalue":{"value":{"amount":"+0.7683552503585815","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":"Q5464647$5746437C-1D3E-48EC-889F-5B427432A62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c13034916854b58b7bf44dfbcff8d0f3f380639","datavalue":{"value":{"entity-type":"item","numeric-id":3521994,"id":"Q3521994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f000d1bf25ad08a829bb4a35d6c4baefd5a694","datavalue":{"value":{"amount":"+0.7633996605873108","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":"Q5464647$C69C54F7-1B0A-403A-8CDB-D3FCC6B77768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fd5c2832aabbf4b304824c9b3020a0ed9253b4e","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d334279c4b8548e8946a67f7bb5c1b1838b1a616","datavalue":{"value":{"amount":"+0.7464473843574524","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":"Q5464647$7711904A-1E13-401A-AEDF-095292F2BCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0758cb2f5792b2024ef075b30c81b3d9098b43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81fc5eb3f93bdb381d8b977554e1be39b4a7371f","datavalue":{"value":{"amount":"+0.745215117931366","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":"Q5464647$5B2BB16D-E9BD-4BB9-A733-3B36671F8468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2329ac48b709f66aa4e2a0cfdaaaf3d4cea285dd","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c032e450d6f7115bb754853751a58f40c0229189","datavalue":{"value":{"amount":"+0.7416359782218933","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":"Q5464647$E6E2878E-385B-4BD5-BEBA-D24BBC15B712","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5464647","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5464647"}}}}}