{"entities":{"Q2374309":{"pageid":2385052,"ns":120,"title":"Item:Q2374309","lastrevid":78609047,"modified":"2026-05-06T12:00:28Z","type":"item","id":"Q2374309","labels":{"en":{"language":"en","value":"Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6663643"}},"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":"Q2374309$199B635F-6E3B-4915-9C31-A626A6E69071","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e8da7aa02d68d30b1a3fdeb3a144dcd349b0db3","datavalue":{"value":{"text":"Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2374309$C0DCA407-0BE2-4160-97E2-A29FE0936950","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b63c133542e65cf1dfaf6d9513b2f6e613ac75c3","datavalue":{"value":"1375.18027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374309$5EA122B2-DDF7-4BF1-80E6-F407251F7124","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7203456c922c316414817a6a8a5b99d0449fd3e","datavalue":{"value":{"entity-type":"item","numeric-id":700973,"id":"Q700973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374309$59C9097E-0BCC-489D-A2FC-B475333EFA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ae1caa340f2c5dfed85c8089e4162e6430d4474","datavalue":{"value":{"entity-type":"item","numeric-id":1628579,"id":"Q1628579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374309$97E2A0D1-973C-4A9E-97E6-905C20147A08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374309$453680D1-7917-4FB9-9AF4-6B577778628C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3d1669fd63345cf64b2617c12ed41ffb07d8520","datavalue":{"value":{"time":"+2016-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2374309$C155BDBA-3E4D-4A2D-A3F2-9F0F86D1A856","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374309$B3CCF15D-53A2-4FB3-911C-D62B025B3972","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"528df985714de8bbaf259a53494689f53e0c8ed0","datavalue":{"value":"6663643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374309$28F5D4F0-F886-4A7F-A308-52CED9B2A851","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57ec777a540f85e174b77cc75c70e39afe935bdf","datavalue":{"value":"string diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374309$03494062-B99C-4746-9D8C-E0892FF47CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a6a9b7e63971460fc76ab7b14bc9ec301a4bb04","datavalue":{"value":"calculational proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374309$2BAA9FF1-047D-4419-8673-862F2EF6582B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374309$A458B4B3-1414-49E5-993D-DA978E9096DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32706d3cf5c0180dcd1b9d83daad32cee9c1125f","datavalue":{"value":"adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374309$FB033EDD-C3B9-4575-9977-9D0261DB9744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe77c511383ad0647821ad69238983829fd7dc2a","datavalue":{"value":"resumption monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2374309$5DCF3169-11A7-44F3-90EA-C030A9CD241A","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":"Q2374309$DAB13FEC-0B22-42FE-9E21-6E7A2B5F098A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50c5f8d05c0817265a47e6e20ff4ff1f548eb4fa","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.12.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2374309$1C01E8C6-9F8B-4AED-A0CB-917382429C16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31e169e6c41a31ff84f90c504dd263c8d9a5320d","datavalue":{"value":"W2256944772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374309$F24C571C-6918-4A85-ADAB-594AC1004565","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"164bbe610ffdb8856732a234394adcda3d416ddf","datavalue":{"value":{"entity-type":"item","numeric-id":4730750,"id":"Q4730750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374309$83213C45-946C-446E-9D37-3DF83AE3CA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374309$5711B6E1-BD1F-4CBA-87F1-6C8CABA300A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61edf81b84795d2119920af7cdb6d438764c222","datavalue":{"value":{"entity-type":"item","numeric-id":773871,"id":"Q773871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374309$B1A16964-C9C4-4D8F-BA92-A0F489D219CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0cd45c841cb7199729a591161cd9fcc194f7ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3265294,"id":"Q3265294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374309$5A026326-DE51-4846-A5B9-22650AA3F56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2374309$177C5441-AFA8-4672-ADC7-1783B75DBC3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a14057284867b6d4ccf687e86005f80d1137ba67","datavalue":{"value":"10.1016/J.JLAMP.2015.12.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2374309$4AFCCA58-356A-4817-A3FF-B92B51EF8083","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b19a06aed98c43e33d58ff803e61f09f2086a89","datavalue":{"value":{"entity-type":"item","numeric-id":3188284,"id":"Q3188284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f225eea4a4b991eee31a8c57919385d6b6b5c8","datavalue":{"value":{"amount":"+0.8038994669914246","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":"Q2374309$F113F53D-F529-45D9-B42C-28ABC5ABB2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6ddeea6e84736edcbaca9075786ba0e733fd5a","datavalue":{"value":{"entity-type":"item","numeric-id":3540167,"id":"Q3540167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247561e2eec1be8684ea859727247bd442dee8cb","datavalue":{"value":{"amount":"+0.791589081287384","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":"Q2374309$1E4A3680-AE36-4AA6-979D-7221C52C461F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2fb31e6a054e4a1bd8d5fb5aa4da8d3927976c","datavalue":{"value":{"entity-type":"item","numeric-id":5275350,"id":"Q5275350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15878c7d15817f9300d9c8bd9ebca1e41e356312","datavalue":{"value":{"amount":"+0.75168776512146","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":"Q2374309$C08F03EE-56D7-4B68-A977-3470379607BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f187484251dab896d12e2f7d00324f28351e053","datavalue":{"value":{"entity-type":"item","numeric-id":3613326,"id":"Q3613326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69fb9af3bd232551cf3495c4e18d29a8d8737eb9","datavalue":{"value":{"amount":"+0.7431890368461609","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":"Q2374309$EDE64CE1-083A-4199-8AD6-FC1C8CDD7877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9ee57cec80d5c0b181cc1222945b1fb5f4a447","datavalue":{"value":{"entity-type":"item","numeric-id":3000922,"id":"Q3000922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73dff0796abe8132d622f6d67598636c07c287d5","datavalue":{"value":{"amount":"+0.7409276366233826","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":"Q2374309$A0BF8C22-7774-4792-AAB5-F885FB3A4AEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_reasoning_with_lollipops,_forks,_cups,_caps,_snakes,_and_speedometers"}}}}}