{"entities":{"Q5221294":{"pageid":7250864,"ns":120,"title":"Item:Q5221294","lastrevid":58491558,"modified":"2026-04-05T11:06:28Z","type":"item","id":"Q5221294","labels":{"en":{"language":"en","value":"Mechanizing \\textit{Principia logico-metaphysica} in functional type-theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7181947"}},"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":"Q5221294$6DC93F4A-AB1D-48ED-8387-BA5CD40FE06A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93d550eddf44da2fd2919155dd514d2f3a869675","datavalue":{"value":{"text":"MECHANIZING <i>PRINCIPIA LOGICO-METAPHYSICA</i> IN FUNCTIONAL TYPE-THEORY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5221294$F9BDF8DB-7627-4DA8-91E3-842F85083D24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c10844fd22a80a0d65092baf573d40c2c564c2a8","datavalue":{"value":"1484.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221294$3EAE2529-1DC2-4641-9D87-4A71006EC5B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99cfc2b47cf5e2c1aac02d260cb09013f9d5c1f4","datavalue":{"value":"10.1017/S1755020319000297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221294$5D2387C5-3B6B-4288-8478-AAA4EDA00763","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f374140d5eede8d07560ca5c81cad5beada607e","datavalue":{"value":{"entity-type":"item","numeric-id":5221293,"id":"Q5221293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221294$BE6EA88C-302A-41CD-9D15-4AFD6BE34C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221294$603427B9-5000-4782-AD6B-785A13714D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625d7e3986a43411b876f69d9a3e10581f2ceb79","datavalue":{"value":{"entity-type":"item","numeric-id":484108,"id":"Q484108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221294$D385ACBF-1711-414B-AA91-FB763C705439","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221294$996A8BE2-611B-41A2-A7BD-1FE981847D56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e1dc58417fff361a629180d2ec9efcfddd12ca3","datavalue":{"value":{"time":"+2020-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5221294$D4A0D8EC-F002-48AF-9530-160E1867511D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a9e690e090526ef7bd5ac0e54e699ac2daf9bba","datavalue":{"value":"https://arxiv.org/abs/1711.06542","type":"string"},"datatype":"url"},"type":"statement","id":"Q5221294$4CCE92D5-3F29-45E2-A49A-FA4FED0C0F83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221294$E62558EE-B3F6-4255-A62A-CB6DBE243DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221294$6246BA9C-C7D5-4694-9C14-B82510040F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221294$50A9D7BB-086D-41A0-94A7-3AAEF09079A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221294$AF069BAA-5588-44EB-AD07-3D749B2D5157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221294$0A246E13-BBEA-4F6A-9B1A-006A0F96AD28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"076d1092c32dfcd8bae496c6ef4b5d3dc8e7b21b","datavalue":{"value":"7181947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221294$80FBFE19-39F2-479B-9476-2418EC8BA341","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00866609346363c790ec7a537707cc050ba77a76","datavalue":{"value":"computational metaphysics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221294$B8E0BE39-965B-4CC3-A851-FACFF8F85ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf89b21e11345cd1eb0003dbd178e2d1b8cd092a","datavalue":{"value":"abstract object theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221294$DC918A0A-55EF-405D-A301-AC5043416C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb35b9c4c814114a6cd9fa117bdcb3d1ff039c14","datavalue":{"value":"shallow semantical embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221294$724FC128-CA0E-4E45-9C49-A1310D470C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221294$E754E607-117D-4670-AD71-D42D5B4BD6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221294$FEA9CBA7-53C8-4C0E-A543-6F7BA931C18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26f0ebd411e024bc1cbe44643ec99d6bea739190","datavalue":{"value":"universal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221294$8EFEDD76-A02B-4D6A-A6D3-DC8DBE59F145","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":"Q5221294$CDE72EF5-967D-4F4F-A061-D071F827657D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221294$5CF945CC-A727-4C58-AB84-67977343B498","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":"Q5221294$7DE34306-E8FA-48AD-8DAE-FA496C8F551E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b29daa5075222091f6f7245fcc89cf8b0807424d","datavalue":{"value":{"entity-type":"item","numeric-id":488467,"id":"Q488467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221294$4830C2FF-E9A8-40A1-90B7-F48B254F6E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2f38021f86f835291728a1d010b8f108284a9d","datavalue":{"value":{"entity-type":"item","numeric-id":5275761,"id":"Q5275761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221294$49F82CBD-F7CD-4A87-B153-D1EA72784291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2b83ba84c64080a4429b9e55dc21ab47b4bb63","datavalue":{"value":{"entity-type":"item","numeric-id":3426565,"id":"Q3426565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221294$DC1C2D57-0F1C-47F4-BA56-5E0C366F8EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221294$3C4002A3-942F-4610-95E5-94E29FDBF187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f2e0d3679410b7f9da7159d583989b5f920798","datavalue":{"value":{"entity-type":"item","numeric-id":3006121,"id":"Q3006121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221294$3C9A41CF-C527-4DFD-84AA-61459A715D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb09d9f7d2450446aae397d3e90233b6c50e1785","datavalue":{"value":{"entity-type":"item","numeric-id":865658,"id":"Q865658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221294$F012EC59-487E-4962-B254-E2F27433CB94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"637e746ab676a30a0fb520add84f82676ce0a99f","datavalue":{"value":"W3102415061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221294$D98A71D9-CF75-48CF-8A95-98C3D87E18D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b095068dff1f1a752a8f2e45579f53c5b329f6e2","datavalue":{"value":{"entity-type":"item","numeric-id":877243,"id":"Q877243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11621406f1bf9ded5ad35de3e99a6df68a09f704","datavalue":{"value":{"amount":"+0.7357802391052246","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":"Q5221294$FE04EBAA-F2CE-4F09-86B8-374749E302FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c13126f5705492098936651403c0a8edb93bc686","datavalue":{"value":{"entity-type":"item","numeric-id":3454082,"id":"Q3454082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9547c1f6a0726d14fcedd9866a007ecb679e8e03","datavalue":{"value":{"amount":"+0.7128737568855286","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":"Q5221294$E858E5D6-42DD-4304-9BF9-252B05B5B748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825eb2e1636011373f53c59e2d1a8a1fa14744ca","datavalue":{"value":{"entity-type":"item","numeric-id":3455772,"id":"Q3455772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c2f70ea9ab1b37d6317bfd6ba7b3eab1360202e","datavalue":{"value":{"amount":"+0.7122851014137268","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":"Q5221294$0CBA2F13-76AB-470F-88BA-3EEE6C001E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40221b34abeedf2a0913eee2d8caa46fca6cfcb","datavalue":{"value":{"entity-type":"item","numeric-id":795812,"id":"Q795812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41148392bf8b61dfe6860647772b0a175cd6cebe","datavalue":{"value":{"amount":"+0.688493013381958","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":"Q5221294$4F4C141F-7940-4E3C-AD14-73AB59528EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c771f2fcccaa536c68b5c0053dc243b5ca93b34","datavalue":{"value":{"entity-type":"item","numeric-id":1632055,"id":"Q1632055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3799d0b42c9327599e6f432104b8f2a087139914","datavalue":{"value":{"amount":"+0.6867454051971436","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":"Q5221294$37DD4D21-1EB2-4C90-A4B8-599971EB5870","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5221294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5221294"}}}}}