{"entities":{"Q5435638":{"pageid":7465202,"ns":120,"title":"Item:Q5435638","lastrevid":92482265,"modified":"2026-06-05T01:49:15Z","type":"item","id":"Q5435638","labels":{"en":{"language":"en","value":"Predicates as types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5226278"}},"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":"Q5435638$F950AA9A-993D-4F82-982E-0CDBE74021F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce2a84801ad192bed690177167750df0b96faf16","datavalue":{"value":"1127.03318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435638$AA29669F-370C-497B-AB24-98FAC6834CBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5435638$0B600550-885C-4B31-A504-8192038630F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3937c056377dc144ca887b57f8c994e8e946f87","datavalue":{"value":{"time":"+2008-01-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":"Q5435638$9CCE4B83-B755-4179-90E4-C624F84D0BD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435638$1DC35767-A0C9-44CF-BEC0-C384D8086109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435638$0062ED6F-878D-42A4-B1AD-F05D10B6259F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435638$405A6247-D57C-49F2-BA38-22EC43E4E0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435638$B6838ED6-ECBD-48ED-A04B-4FFE00C64232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435638$D616A015-D36C-4BEA-9401-BC573DE34E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435638$CDD915FF-4597-4F81-9FAA-3D6DADEA3AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435638$BE743266-2B87-40EF-91B6-83070B4B2F95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5eceffb95a0ca74372cef0447cf4b11f07bb9099","datavalue":{"value":"5226278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435638$80D4BA5F-4357-4934-B553-422ADDBA2DD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fce11005ee80ff34fb50c067793d2420bfa6a287","datavalue":{"value":"tutorial","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435638$6C45CDB1-5385-4688-B2E7-F3439B644F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435638$374BEE0D-BAA9-4351-A71C-4A4D0628F771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435638$FC85186E-07ED-402F-829B-6F78E539B7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435638$876EB9D2-9238-4303-892E-E1EADCC0FE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e352599b67dfca7ae0a807a2c9e8e2b14da9766e","datavalue":{"value":"lambda calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435638$FCBF2D8F-F96D-4BFB-926B-EDFCE6F9ECBE","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":"Q5435638$F63F408E-98AB-4AEB-817A-A8F080B6FA9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b644f0db550959452a6b37c2ace79081a94270","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4d724b4fcd480127b83cb32994efe9ce91faab","datavalue":{"value":{"amount":"+0.8031472563743591","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":"Q5435638$DBBDDB47-63A8-414A-BF22-0626710F8CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea2b94836e8a223c309d2d7e0996ff8f6a6e9fde","datavalue":{"value":{"entity-type":"item","numeric-id":1194249,"id":"Q1194249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d64009fa7a32aa5d3ed561f4e2a44fdcdd474e","datavalue":{"value":{"amount":"+0.7757470011711121","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":"Q5435638$AC56296D-CAE6-4C8E-A0B3-A9680C25DA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ae07fb74213ca8660c32d4638ccb5492853216","datavalue":{"value":{"entity-type":"item","numeric-id":5691056,"id":"Q5691056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19676a692a77c45d256ca700cbbbce81e7f4a872","datavalue":{"value":{"amount":"+0.7409995198249817","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":"Q5435638$175CCAAF-DAE8-4662-B403-4107580A45C4","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":"5465cd1e0e47bef908f4ccf342783323a8023af0","datavalue":{"value":{"amount":"+0.7355725765228271","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":"Q5435638$D45D0109-4ED0-4F77-9DEA-71838B1F6405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62db80fd192bd409c1d682c81cadc8d95ae413a","datavalue":{"value":{"entity-type":"item","numeric-id":3138826,"id":"Q3138826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b4966fb409197e10954f19c13d0aeefe81becd0","datavalue":{"value":{"amount":"+0.7175458669662476","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":"Q5435638$5AE486A0-3345-433E-A379-52E67A7805C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicates as types","badges":[]}}}}}