{"entities":{"Q3167524":{"pageid":3178234,"ns":120,"title":"Item:Q3167524","lastrevid":51587966,"modified":"2026-01-18T22:36:26Z","type":"item","id":"Q3167524","labels":{"en":{"language":"en","value":"Typing a core binary-field arithmetic in a light logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6101665"}},"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":"Q3167524$FE44B0C4-4FBB-4E7E-8F52-6EF5AEC2CB63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83d6b2d837aa08efc8e0c7f3355a10e8ebf2df09","datavalue":{"value":{"text":"Typing a Core Binary-Field Arithmetic in a Light Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3167524$0D5FF8AB-42EE-4BC2-8CF2-4F7CD70C35ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5a1ad062bccab9ebb189032574c30148bc03ccc","datavalue":{"value":"1367.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167524$A258940E-E8A4-4CCB-B805-2BEBB2A17F7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1371969598c10f537d1ba27eb5b1a63165b0b19","datavalue":{"value":"10.1007/978-3-642-32495-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167524$FECC9E07-E094-40DA-8AFC-42248C360C08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0e4f975207fbf56026503fd7f9a6964d7adc503","datavalue":{"value":{"entity-type":"item","numeric-id":3167523,"id":"Q3167523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167524$1A4302B1-DEB0-40D6-8B03-DF36DF531803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7fe2e34ceb1a5a0fc819d5b27ac5700ee0e0306","datavalue":{"value":{"entity-type":"item","numeric-id":737108,"id":"Q737108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167524$AA6C2D46-98DF-4243-A128-1F7723981582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5039260c6da03a46c13548e25e70c7abbe033884","datavalue":{"value":{"entity-type":"item","numeric-id":331550,"id":"Q331550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167524$C36748CE-70EA-467A-A2FA-7B4675F36B51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8628d9b822fca08704059c3ecefa6278618df136","datavalue":{"value":{"entity-type":"item","numeric-id":3167521,"id":"Q3167521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167524$1E7DA011-FAB2-4FC1-9EF6-CD8A7E2D8435","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bf69277b7716ce58c94d2517a81ceba3b8d07db","datavalue":{"value":{"time":"+2012-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3167524$FCDFEE54-6F17-4ED1-BCA9-2CDEC3A05F62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167524$41BA113A-24F7-4EE6-89B3-99634B0699C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167524$621A05F7-34AB-44A7-AEAD-D76893D21CC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d75a89bdc4c3c4b0d75139c8adda1bfb254f96d6","datavalue":{"value":"6101665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167524$193EAE34-D183-4584-BD9D-A7B2685C0855","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":"Q3167524$7A238463-9212-4C25-9E53-67F226EE64E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10a5ed90f0b899d4ef4e077d33f868df1dc0ca25","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32495-6_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3167524$C92967EC-E339-4D87-9B3B-5E63C1A165CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ece0c7aa9d8258e94a804f2edc35ad63be77619","datavalue":{"value":"W1704741293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167524$5617331D-0DDF-49DA-A088-DAD81115D0B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ad0a6c3b1bd0776c1844456d4cbd04683a34a9","datavalue":{"value":{"entity-type":"item","numeric-id":3460503,"id":"Q3460503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfec4ef95a7fbf162338c0ba748788ce4de4c15b","datavalue":{"value":{"amount":"+0.7774476408958435","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":"Q3167524$A783D5F8-F614-405E-BEBC-4BFE92650806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a880211431630c1e4fa01e58f27717526eeb02","datavalue":{"value":{"entity-type":"item","numeric-id":703485,"id":"Q703485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa6ca1ca016abb5159be206838c938e30427dda","datavalue":{"value":{"amount":"+0.6991387009620667","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":"Q3167524$FA58C642-2793-4AB8-ABBF-F956E6E5B0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ea3927ed427114a93fbd39ebb4e68d47de7dad","datavalue":{"value":{"entity-type":"item","numeric-id":3558218,"id":"Q3558218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be8c6bce32c78ad17876c40f927088bc3aa0a83","datavalue":{"value":{"amount":"+0.6922824382781982","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":"Q3167524$3C4D4EDC-EC41-4989-91D3-6A724F360D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67c2d6b0aa517769691b859ea33797d9eae71a9","datavalue":{"value":{"entity-type":"item","numeric-id":5897362,"id":"Q5897362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0adce508499fcff8eef7e5c1af2cbaab3712abb4","datavalue":{"value":{"amount":"+0.6890596151351929","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":"Q3167524$D1741090-4DFA-42E6-B6F4-CD432DEE0ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91b08cc869afadd64502b6ae6945c389f4cc3f0","datavalue":{"value":{"entity-type":"item","numeric-id":3612618,"id":"Q3612618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"118865055d8cc44d506a698addff87d5d53e5d92","datavalue":{"value":{"amount":"+0.6886552572250366","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":"Q3167524$3E858D83-F9B2-43E9-9914-E458960F589F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3167524","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3167524"}}}}}