{"entities":{"Q673963":{"pageid":675812,"ns":120,"title":"Item:Q673963","lastrevid":63721575,"modified":"2026-04-11T15:06:15Z","type":"item","id":"Q673963","labels":{"en":{"language":"en","value":"Strong categorical datatypes II: A term logic for categorical programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985858"}},"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":"Q673963$D928AFE1-0058-4E6A-B42A-1EDD378A5631","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e26b86b47fb86bf94a93c40e912c1ec4e42b51d2","datavalue":{"value":{"text":"Strong categorical datatypes II: A term logic for categorical programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673963$E5A16FD4-C744-4FFD-AF89-2152903AB604","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"506ebba7a8433857e8b5ad11f135f2398e942688","datavalue":{"value":"0874.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673963$3B55AB5A-B71D-4A3F-BE43-51F5401032B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"610c9532df5f3292a74dfe10f6a7b6babad2e3c3","datavalue":{"value":"10.1016/0304-3975(94)00099-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673963$2CB83B40-3CC5-4B00-B633-3B1D5E699023","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c637be94ff5c478954635c44b965d4e34813a94","datavalue":{"value":{"entity-type":"item","numeric-id":673961,"id":"Q673961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673963$C7F7545F-9A31-452E-BE70-11571E680263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6da89aec9817069a87bfaebe8cd0aa42e6d4df9","datavalue":{"value":{"entity-type":"item","numeric-id":673962,"id":"Q673962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673963$46D08BDE-839C-4FC4-A415-A6425B046C3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673963$D1D1C7B5-4CA5-4210-88DF-9AE9C920F97D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673963$AD6C9CA9-E245-4A1C-B53F-10CA50144D67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673963$0E2DF10C-B8A0-4B17-BB70-7DA2BB85C8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673963$A979A3E4-4668-4BFE-8244-98D977329428","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"282f2f281fddcec923b878935deb3487ee868509","datavalue":{"value":"985858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673963$C7240CBA-51F4-4519-9FB1-BFFBFB9B145F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39ffe42eb4c559bd0efae7ed3a8117766dbffd1","datavalue":{"value":"categorical programming language implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q673963$DDC41BFF-CA93-4B0A-AD73-EC19EAAFB6C1","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":"Q673963$7C7AF894-F344-41FF-8F94-82883A15439C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33af88b25767ba95401468e89c3ea438301467c3","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00099-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q673963$A520F026-10EA-44B3-B225-AA0EC1D5D0C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99221e14dd5f3dfe3db689f59e3000f6d189238f","datavalue":{"value":"W1979170753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673963$F3BA7910-3BC8-4830-AC0D-D4DC876BD262","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d96d47e70546f90af4113e353ec8a83137be18","datavalue":{"value":{"entity-type":"item","numeric-id":4282805,"id":"Q4282805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673963$3FE46F78-543B-4A4A-8263-7B4A42C3EF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbbf7faec499e3b048aa800d9ae6c142df02880","datavalue":{"value":{"entity-type":"item","numeric-id":3137150,"id":"Q3137150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673963$4869F80B-D3AD-42F0-83EC-7BAAC93524E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed2e46bbf2139909218bc55a4d0ad743eb42f6c","datavalue":{"value":{"entity-type":"item","numeric-id":908682,"id":"Q908682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673963$E8DB9E1A-6A6B-49EE-A672-E86E17105365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bcd4ae2579c74a21d7451a3e9068802bcce70c","datavalue":{"value":{"entity-type":"item","numeric-id":4286531,"id":"Q4286531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673963$801CD56C-25C8-4675-9885-08AA0BA2C165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"081bcad9c917e2fcfb23bfa4c1fe0f98bd51e16c","datavalue":{"value":{"entity-type":"item","numeric-id":5096235,"id":"Q5096235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673963$93F0D513-5B3C-4F45-98C8-4AAEDD4A437B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673963$E5E38E7B-B3A0-43B1-9AD0-64DDF312CF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c2fea1c1f3bbaa5cfdd6d15172b810d0b5c9f01","datavalue":{"value":{"entity-type":"item","numeric-id":1318702,"id":"Q1318702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673963$DA15F7F0-2F4D-4CED-97FA-242F3B6B0AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f149ec444851c81f8f28cc669b90ac06bcf6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1106190,"id":"Q1106190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673963$21E0D4C0-6B47-42DE-A842-E1C39503D5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481f5099a98f54fe4780c855a7f8b1692d0b248c","datavalue":{"value":{"entity-type":"item","numeric-id":5096255,"id":"Q5096255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673963$D8C2EA33-F03C-4A34-A717-C12841348987","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650c7e54652fa89c53891be19b058eac918a5293","datavalue":{"value":{"entity-type":"item","numeric-id":3137150,"id":"Q3137150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d40e75c0fb1f43f0c3178e3834f61edcb429996","datavalue":{"value":{"amount":"+0.8491895794868469","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":"Q673963$65D08B74-A713-44F3-AF8E-81A61EBF2D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d68d87303baffeab10958cfab58456627166690","datavalue":{"value":{"entity-type":"item","numeric-id":685425,"id":"Q685425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00588c9e388c333cfd7193db6430b452c0558a83","datavalue":{"value":{"amount":"+0.7683683633804321","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":"Q673963$54A9313A-9DC5-4B85-BF69-47D5234AB4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a715d38b9608064b19a7f411bef7ba6321fa368","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f1592c489318862c38dd4498d0d3792ff1fd07","datavalue":{"value":{"amount":"+0.7672447562217712","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":"Q673963$BB01AD8C-3514-4613-B920-8C1ED6CAF0E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong categorical datatypes II: A term logic for categorical programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_categorical_datatypes_II:_A_term_logic_for_categorical_programming"}}}}}