{"entities":{"Q5747659":{"pageid":7777210,"ns":120,"title":"Item:Q5747659","lastrevid":51080204,"modified":"2026-01-16T13:36:07Z","type":"item","id":"Q5747659","labels":{"en":{"language":"en","value":"A mechanized translation from higher-order logic to set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785351"}},"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":"Q5747659$353033CF-C43C-4128-B740-BDC331D38BC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d4944aebd3a7fa3489c65bef66acd7e594fcd6b","datavalue":{"value":{"text":"A Mechanized Translation from Higher-Order Logic to Set Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747659$DF226FA1-87A6-498A-B293-B2ED33D85212","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bea6245c94c1503b680c3883d9317c70bd41d3a1","datavalue":{"value":"1291.68355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747659$DD246093-6631-4E5D-93EB-C1F3C2155280","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"541688717acecf136f9fed7dab0cb00fce27789a","datavalue":{"value":"10.1007/978-3-642-14052-5_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747659$7DE115C4-7B22-41E9-8600-9F23F37C0B4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb9a75665101462bc01a2c7426c95f31a74ce050","datavalue":{"value":{"entity-type":"item","numeric-id":438557,"id":"Q438557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747659$1AA91408-A9DB-425C-8F0D-076D2BA7F2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afc8d13fa10b3bd434c787aa9b89cd5f2e788b3a","datavalue":{"value":{"entity-type":"item","numeric-id":5747658,"id":"Q5747658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747659$2BE829CA-3CB1-4815-AB22-B9FC3069A06E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747659$52972CB0-748F-4367-9FCE-8B82E60B3506","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747659$6AAD7981-ED83-4BC4-963A-2F920252E128","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747659$F5ADAFEE-019D-49B5-8402-6DE57873F4EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"725ab55be27e1559d4620c24f8c9ab0ad52628f0","datavalue":{"value":"5785351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747659$E2C3E092-7B17-46EA-B068-19D4406EDD66","rank":"normal"}],"P1463":[{"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":"Q5747659$D7FED4DD-D45D-4668-A065-ECCE2679EFEF","rank":"normal"},{"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":"Q5747659$823A10A1-D3EE-4246-8C70-77022C1CB615","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":"Q5747659$69FD91B7-A46A-412A-BB4B-C563293DF05C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68bb2973bd4303f831e107cfceb43ea7544dd9e1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747659$BB2018CC-E89A-498E-9C42-33325FA40720","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e90bd32d63ab1dbeeec4a8811070974ddd3ccc7d","datavalue":{"value":"W2129510553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747659$29F266D0-C0D3-430D-AC1A-333A416331EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db5f6f879711fee2556071b86a425c26dd16b51","datavalue":{"value":{"entity-type":"item","numeric-id":3523181,"id":"Q3523181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e94fa9e02f7a38d25890c7a0d36e8b316e58de","datavalue":{"value":{"amount":"+0.7925130724906921","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":"Q5747659$FA9F017A-8BBB-442B-A41D-CAD79A7DB048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79efe2c6dbd42e36766761e062876f07ca1c2de","datavalue":{"value":{"entity-type":"item","numeric-id":4281475,"id":"Q4281475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c48a6d6e1f8c8e6c8d7a4d64d8e95791f1d84be","datavalue":{"value":{"amount":"+0.7822484374046326","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":"Q5747659$814F0E35-0110-4BBB-B373-48D08BCFCA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb24a47f03b7d7974d34ca45b1bc9d03e66b1ce9","datavalue":{"value":{"entity-type":"item","numeric-id":3094180,"id":"Q3094180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6be615c74933ebdd53ba8c441de9d7f815df30","datavalue":{"value":{"amount":"+0.7783385515213013","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":"Q5747659$8C39942C-A070-4E20-BEFC-1EE1F3A68651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f607eb892ede6a0a74f65718bef071331d5de7","datavalue":{"value":{"entity-type":"item","numeric-id":5313076,"id":"Q5313076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7631ce01aeb0be89982e7f9d8c8dcf3c6c242c6","datavalue":{"value":{"amount":"+0.7694347500801086","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":"Q5747659$BFB1C336-8E37-4DFE-928C-4097D9AB0A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f6828a02bb1974cc42923cc5d4b695ac187d5f0","datavalue":{"value":{"entity-type":"item","numeric-id":3613409,"id":"Q3613409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659fc7c4d7bf2fbdd52ceb52eb9459f9d25a9e48","datavalue":{"value":{"amount":"+0.7559054493904114","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":"Q5747659$B89C6C78-6C66-48B1-B872-75C8AE595D51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747659","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747659"}}}}}