{"entities":{"Q4870065":{"pageid":6899645,"ns":120,"title":"Item:Q4870065","lastrevid":46452828,"modified":"2025-12-24T19:47:48Z","type":"item","id":"Q4870065","labels":{"en":{"language":"en","value":"Weak Theories of Operations and Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 856905"}},"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":"Q4870065$0A738B67-3CE5-4C95-BABC-FB2CD92614F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13d916a62b7d6714af4c92ba1d3bc722f9c2547c","datavalue":{"value":{"text":"Weak Theories of Operations and Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4870065$40AC7BCB-57DB-46C2-812B-3DEF08276105","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43e7cdd7cb7ff879bbbd4fbf297fe751046cc8cb","datavalue":{"value":"0838.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870065$B6A4671A-1939-434F-9492-C0AACFB08337","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41bc7746fd7ad5fe9b3715535cbb63cacd95c258","datavalue":{"value":{"entity-type":"item","numeric-id":236812,"id":"Q236812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4870065$EC562DB9-99FB-44A7-9EF2-F9BAB315E517","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db62fb9fa162673ff7bb617e9fdad5af9e4632d5","datavalue":{"value":{"time":"+1996-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4870065$73477EF8-141F-497E-84D4-F3D44D66FE1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870065$BDF1E732-82F5-4730-B680-C8A807B9C4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870065$CA92974F-C034-4F7A-BFAA-962657844109","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f0c7c544bba5f38243ad77a9454e735de7131a0","datavalue":{"value":"856905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870065$EB8F04A2-9B1C-426C-A1AF-F090F22D12A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4870065$00911724-3BFE-47E5-967E-4E37FBBC6CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4870065$87BF5D21-6194-41FE-B5AA-116F0B10ABCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8ece456885d5ee5c7f7d1b282bd06bad3edc1c6","datavalue":{"value":"constructive functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4870065$ADE69882-5898-4FA7-A934-DE9754DEE927","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":"Q4870065$C6841678-47CF-4023-B173-66AA3CF7E489","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4db2f56c9f9389903987d26d8b8b0be103912cb5","datavalue":{"value":"https://doi.org/10.1093/logcom/6.1.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4870065$65970AF0-52F9-4BEF-BB28-79F9A7815A06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ad1ac08e471b2a8ab4cae2b700ccca3522a8ba5","datavalue":{"value":"W1994737295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870065$80D750F7-C237-41A1-AB31-65579E39A6B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"420c834e70e6e23c5abf39e979f6229ff2967aa5","datavalue":{"value":"10.1093/LOGCOM/6.1.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870065$056FD8CE-1766-4B90-9C0B-0E50F34D7905","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":"Q4870065$D32BB979-B19B-4FD5-AC52-B68D2F28F49B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a011052f39df92c518f33c3fe4ba3c18edea5b","datavalue":{"value":{"entity-type":"item","numeric-id":3081651,"id":"Q3081651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577e3eb8b35724a647df5a2f338b617ae975fced","datavalue":{"value":{"amount":"+0.7832802534103394","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":"Q4870065$DD2A8C00-DDC3-458A-B3C0-424A387049B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9411b81bf8130a70d1597f1d369b1c9c31a923f2","datavalue":{"value":{"entity-type":"item","numeric-id":4272506,"id":"Q4272506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f381faefe94d4badcd696efce04cc62f160b3eea","datavalue":{"value":{"amount":"+0.7638123631477356","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":"Q4870065$5436AE3D-5DB1-43F3-9A3D-815F28E28933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c964671cc3b279eebfb75d14d5c86abfb963eedd","datavalue":{"value":{"entity-type":"item","numeric-id":4010354,"id":"Q4010354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2af62f5089f7db3b1834db09f4b66764d5a5cb","datavalue":{"value":{"amount":"+0.7461552023887634","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":"Q4870065$B69CB63C-3520-49A1-8B4B-F8D6B224E63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e60eb2f7181c3c209e50762c2ed76e22b7cd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3478384,"id":"Q3478384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd53a6f035a4688d470bfdd30a9aeea1b1cee74c","datavalue":{"value":{"amount":"+0.7270568013191223","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":"Q4870065$9AB4D51B-CD2B-48A5-B3F2-73274E6AD80B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4870065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4870065"}}}}}