{"entities":{"Q4291035":{"pageid":6320636,"ns":120,"title":"Item:Q4291035","lastrevid":46323915,"modified":"2025-12-24T14:00:52Z","type":"item","id":"Q4291035","labels":{"en":{"language":"en","value":"Intersection Types as Logical Formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 563292"}},"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":"Q4291035$BFAA29D0-3BE2-466D-AACE-5863A9D5CFEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b5fbdd26e32f32e3fbb97d99657f736f364b2b4","datavalue":{"value":{"text":"Intersection Types as Logical Formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4291035$B78494FE-33A8-4047-8302-241A8ADA073E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c89d00f5bbc3dab49ea9cce6f1c58d447c3ba33a","datavalue":{"value":"0798.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291035$43C0F929-1162-41DE-A127-2A1CA2D8DC9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67add0efd7322c1f14c581399aafbcf879da2df6","datavalue":{"value":{"entity-type":"item","numeric-id":553898,"id":"Q553898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291035$C0B674E9-F9A8-4C5C-A3EE-7198E4F42156","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb5cac1bac625d56172333526e9a905d35cc8227","datavalue":{"value":{"time":"+1994-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4291035$BC6F3EBD-B7DC-41C2-B2FB-157EF1334E3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05705994e3027d0f7dfedb62823e6c5c1eb57fed","datavalue":{"value":"https://semanticscholar.org/paper/bb00621d5dacb2da63b229e0f5fc3f059cdffc08","type":"string"},"datatype":"url"},"type":"statement","id":"Q4291035$6A5801F5-35E4-46F6-89FE-E64969037619","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291035$3C5982A4-894B-411E-B8CD-0D4C7466DAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291035$4F9E4E9D-03B5-490A-8AD2-704B4E76CD90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efd917504c3fecee8b340e9743a0ffcf4480f791","datavalue":{"value":"563292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291035$47CBD1E6-E51D-486B-B2C3-DB6E5B4FC1D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291035$4115A716-CC9E-4244-BB70-36E23A53E41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291035$8359EA8D-24A4-45B7-BF45-17B5BD3802AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291035$81C773A0-A918-4B53-858C-01210C634651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06af1624b3b6a9c55a9019bd3b375b252a9fd85","datavalue":{"value":"type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291035$7BC2036D-023D-4496-96F3-769FD7990839","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":"Q4291035$66238361-DB16-449B-8950-FC8C049193B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d86062d7ce2974e74ed8366666c0e3d06d05b6a","datavalue":{"value":"W2010274553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291035$A1548CF1-BCD5-4DBC-9832-55576277EF73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7957db51da9a4dff5f36b4e4bdbe2eb9cf0cd4e","datavalue":{"value":"10.1093/LOGCOM/4.2.109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291035$36DAC99C-E4B7-46E7-B50F-2D51D7BD621C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291035$078F16BD-1E2C-4F03-907F-96E6F85BF132","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b30c4f93427b71219cc6573041f6bbd7265d3225","datavalue":{"value":{"entity-type":"item","numeric-id":4783322,"id":"Q4783322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93839d7da4a6e50f425624c2fc08efc06ef177b","datavalue":{"value":{"amount":"+0.8215047121047974","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":"Q4291035$6417D57E-717E-4235-83ED-042477883134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da26c9072eb17315f0057a9e3bcf23f969f6c517","datavalue":{"value":{"entity-type":"item","numeric-id":4779581,"id":"Q4779581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba4d54c9b86315f9f21c9d9120c2331ddcc428a","datavalue":{"value":{"amount":"+0.8200329542160034","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":"Q4291035$0165A8E8-6435-4776-85EE-3628B1F8C19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837409f71ec4128b8b656ea5b8d0913f49cfd6c0","datavalue":{"value":{"entity-type":"item","numeric-id":4903721,"id":"Q4903721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d75c2e893e1af686c148fa63225e28153e844ea6","datavalue":{"value":{"amount":"+0.8113252520561218","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":"Q4291035$01983152-B497-4B54-9288-665F1359B6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d38d28c46ff1302439489f07643c13a8784af29","datavalue":{"value":{"entity-type":"item","numeric-id":4964689,"id":"Q4964689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1048bf04ac04181639fd8b60f7a54ec49b4f1f9","datavalue":{"value":{"amount":"+0.8069602847099304","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":"Q4291035$0F676DF9-4777-4424-AC7C-C02EF8D3C975","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4291035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4291035"}}}}}