{"entities":{"Q3077284":{"pageid":3088000,"ns":120,"title":"Item:Q3077284","lastrevid":85702601,"modified":"2026-06-03T11:14:09Z","type":"item","id":"Q3077284","labels":{"en":{"language":"en","value":"Categorical models of logical systems in the mathematical theory of programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5855024"}},"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":"Q3077284$4B3BAECC-3921-4F6C-A3CD-C390D5815168","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d50bfcd4a424a14e43a32694e9e017778917f8fe","datavalue":{"value":"1224.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077284$E4BCF4EC-1A87-4932-AA25-9912B1209CAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f63b920d273255a7402d6cc52f0a7a8b350abbc5","datavalue":{"value":{"entity-type":"item","numeric-id":2201095,"id":"Q2201095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077284$CB1FB465-7CD2-4F1C-8439-C64FC8266425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbca9f72b2b37ffd6ee634f02a43be6438876569","datavalue":{"value":{"entity-type":"item","numeric-id":2201094,"id":"Q2201094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077284$F6C6435F-FF3A-42B9-A083-2AF0FF3D77D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dfb8837e37a2553981cd1e8effb65dad74f363c","datavalue":{"value":{"entity-type":"item","numeric-id":2997822,"id":"Q2997822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077284$801BF9A2-741F-4FD6-9E71-DD56EBDB6886","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ce7f58682413436d8d8499ec31fc1f8f2a5d305","datavalue":{"value":{"time":"+2011-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3077284$2E12788D-2F21-4A8F-83F3-80103E459D2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077284$0F888316-A14D-46A2-B491-6DF2B559936C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077284$C930F960-5BC2-400B-A54F-77FDE13D24B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077284$450A2DEB-AB4A-48C0-B70B-6B20D3D03F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077284$1C973EE6-0DAE-4204-A9AA-242E0B72A304","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41141a7ec83cf06562d479c7a61c22be52208f2c","datavalue":{"value":"5855024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077284$C641F7F6-EA1A-4D14-9AEC-07C9EA7E7624","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c6ec50015ce57eb8837eb28674a1f953751b7d","datavalue":{"value":"categorical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077284$9F29B15A-B283-40D3-ABBD-5B0A8C8D2089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077284$EB96F790-A865-4126-8944-D8370EBB50C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4745f62ee2ee785e9aa6d366708ecb42975825fe","datavalue":{"value":"theory of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077284$7BF2F130-BBA9-44CF-B091-93CCD302809B","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":"Q3077284$10C5C8E6-B361-4482-B42E-FA3F592210DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb1aaf2acf15f6e896a6c662893ea9ed19b57c4","datavalue":{"value":{"entity-type":"item","numeric-id":4508305,"id":"Q4508305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f4271de53ade6416292cda73f8aea91ce45ff53","datavalue":{"value":{"amount":"+0.7887812852859497","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":"Q3077284$959549DF-6216-48FB-BE5B-FBE46AC94AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a812c34d9ad5235ea9865c296d08ab85c67bd393","datavalue":{"value":{"entity-type":"item","numeric-id":4250365,"id":"Q4250365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc81f1ffbcfdb1b94d3d26eb1edc0cb1738074c3","datavalue":{"value":{"amount":"+0.7781502604484558","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":"Q3077284$84AAEC58-F037-4D96-B78F-FB58434D5D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a04a292f79b7a5f2a1ec2a18b87a0f16d93f019","datavalue":{"value":{"entity-type":"item","numeric-id":2948554,"id":"Q2948554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654fad6bd383928500e5d73d7fd4a51360849453","datavalue":{"value":{"amount":"+0.7734131217002869","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":"Q3077284$12AF3875-2B82-4ED5-B59F-7E769F84D109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1301fb52b89ef74f42f456c47fc225033b134c8","datavalue":{"value":{"entity-type":"item","numeric-id":3024825,"id":"Q3024825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a490e48cec6adaacd7ca8aa67729e56f805bdb","datavalue":{"value":{"amount":"+0.7599812150001526","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":"Q3077284$DC3D4EB7-E3E6-428F-920F-183CB40B0BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a2a57703ae552ed2ff2f15c22a95725fe4c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3478387,"id":"Q3478387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d22bb15c0c87cd688dc21f7352f1c1b98621f46d","datavalue":{"value":{"amount":"+0.7563443183898926","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":"Q3077284$E744E58C-2D5F-44ED-A22A-01F0783C7FFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical models of logical systems in the mathematical theory of programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_models_of_logical_systems_in_the_mathematical_theory_of_programming"}}}}}