{"entities":{"Q2819783":{"pageid":2830521,"ns":120,"title":"Item:Q2819783","lastrevid":52631279,"modified":"2026-01-23T03:47:30Z","type":"item","id":"Q2819783","labels":{"en":{"language":"en","value":"Functors are type refinement systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631286"}},"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":"Q2819783$6A174286-F91B-4E26-9593-E64BF3996FA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bfa47214fc552b3bfa19bf3f54ec9a124c11307","datavalue":{"value":"1345.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819783$9AE255B1-9D45-4F94-B5D6-58FE053A3815","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d679300dd9226f8d7b3a075c3a7359e95c142dd0","datavalue":{"value":"10.1145/2676726.2676970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819783$DCDBA354-7EB1-49D4-862C-0D565FC5B4E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c50fe9376530cec8a3eb57fe20f53896f97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":345706,"id":"Q345706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819783$2F56B977-D566-47E9-9C89-08E7F7CB7F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05f377508bb60773fd982917157c68668b1c0938","datavalue":{"value":{"entity-type":"item","numeric-id":2133465,"id":"Q2133465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819783$8ED411E6-D20F-493D-9375-168550F5816D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b9100613eb4830bb977ae5cf1435a6c53e940dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2819782,"id":"Q2819782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819783$BAC9C665-80FB-4E8B-8286-CFCE60AC82DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819783$0C584AE9-1AFE-48C9-A29F-EFAD940072EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07cde987d0e814af9e53337fe7b0f2869d93ecdb","datavalue":{"value":"https://hal.inria.fr/hal-01096910/file/funts.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819783$72655282-58FC-40BC-BD5E-8AC7023A70EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819783$4E73FAE2-7814-4898-8056-8C618403815A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819783$B1DB4F36-8AA7-471C-B7A4-19694C641045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819783$D79CB95C-418E-4D2A-B88C-849BCDBA7B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819783$7985CA09-63AD-448E-B3CA-24768D69DF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819783$BD2C2914-8F9A-47A0-BD41-8D35A4F8A144","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bbce2ff30a4a6532b9f2fc7b0a086add3002629","datavalue":{"value":"6631286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819783$F6797449-24FF-4A4B-B89C-B0DB1BEEA813","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819783$7E9DDF82-3462-4EF7-A622-0B1648A65881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7bd49c269a3f606a00671736364203d653e836","datavalue":{"value":"refinement types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819783$04BFABC5-7585-4428-88AA-4E5216FDB438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819783$D87D14EC-95BD-4E23-AC7B-99A18A4D0806","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":"Q2819783$DBE17466-B20C-4DC1-9D69-416660FCA10F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f3ed1c8eb4546c4098bc402aa6ad2fdd453b6a4","datavalue":{"value":"W2010912446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819783$E0F6F759-F14D-4E77-854F-BD7CB87D0497","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"592b238a5172a7117dfb00e01ea1bcf22e3319ac","datavalue":{"value":{"text":"Functors are type refinement systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819783$F8E8B664-DE23-4EB3-BEFC-7C88AAA502C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9e5dc2968041f4cb2517716fd874284e3ab330","datavalue":{"value":{"entity-type":"item","numeric-id":3483291,"id":"Q3483291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0548d2b79821fc3514e44a7ab7d2e6ad26503c","datavalue":{"value":{"amount":"+0.7617124915122986","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":"Q2819783$22836C43-9669-4E8B-8564-E7B7B2EAE64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04ab48c719e37a05a4fd853516c3ebd27c9042f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"124b0b78453d0382bb6961f9bf0cb5a2cc39e2ff","datavalue":{"value":{"amount":"+0.7597740888595581","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":"Q2819783$36B69779-300E-4EC4-A066-3BF390925841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b52292615f04cfec0156287a2acf733b7831a27","datavalue":{"value":{"entity-type":"item","numeric-id":4240153,"id":"Q4240153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe782452c327e0945076e1d2db5b665da50a971e","datavalue":{"value":{"amount":"+0.7475698590278625","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":"Q2819783$B3A896CE-422A-400D-A44B-9C12386F6B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea9a0459b832fdcd1f24dadac1ed71c4ea9002b","datavalue":{"value":{"entity-type":"item","numeric-id":4640309,"id":"Q4640309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728073d9df8efa15fdafbee6050c57f1e8aa7429","datavalue":{"value":{"amount":"+0.7438403367996216","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":"Q2819783$75A20A98-D32C-4C86-8ED9-8F6C463DBE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5545babfa51fa205952cb4eae6c787eac443e770","datavalue":{"value":{"entity-type":"item","numeric-id":4725711,"id":"Q4725711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd6791ba6227b7dd6b6d42d800fc1e30b070096","datavalue":{"value":{"amount":"+0.7398286461830139","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":"Q2819783$C53C86E7-F42C-423F-81D3-1FDAED565FE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819783"}}}}}