{"entities":{"Q5244814":{"pageid":7274382,"ns":120,"title":"Item:Q5244814","lastrevid":52236164,"modified":"2026-01-21T05:34:16Z","type":"item","id":"Q5244814","labels":{"en":{"language":"en","value":"Modular monadic meta-theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6421050"}},"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":"Q5244814$5C6A7735-B1F6-4FD4-9E67-5D2652DA9F31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f357a5f4a7bd9a7e2ab022617896b52c9efeed66","datavalue":{"value":{"text":"Modular monadic meta-theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5244814$FD978BA1-C858-44B9-B87C-897A33247B21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f4606c21bd61c2fa96d0211b3ff31da2c0626fd","datavalue":{"value":"1323.68357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244814$075218B8-E692-48A7-9625-F7300C0F0F6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f44c92ea94b1f79558dc597a0934150cd37fe8f","datavalue":{"value":"10.1145/2500365.2500587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244814$4D83FAA9-3FA6-4D48-BCDD-161C71627B1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d2925d733af62343b50741933d1d093dc5f330d","datavalue":{"value":{"entity-type":"item","numeric-id":2819859,"id":"Q2819859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244814$29A73A89-9629-4124-87C3-46ED0C251812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ff537a17f7b46107c65387cb733dca58666c6e2","datavalue":{"value":{"entity-type":"item","numeric-id":4596777,"id":"Q4596777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244814$696C5C14-380A-4724-A048-A096913FBC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9310327fb280e8510025a221163e66f379344f4","datavalue":{"value":{"entity-type":"item","numeric-id":487656,"id":"Q487656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244814$77F69C20-FA1E-466B-8F38-999D0150C7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8d4a9643935796d9a1f172819199c42865b008f","datavalue":{"value":{"entity-type":"item","numeric-id":1791208,"id":"Q1791208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244814$2E9EEDC7-6E67-4DFC-8A6A-BB9367240F29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"732dc09e3ebce0f285d80218f54999eeb2a4f3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5244781,"id":"Q5244781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244814$E48D8115-132A-46DB-8D67-20D32B61929D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"431bdbf37423818137431b52ab3aaf4b16104bbb","datavalue":{"value":{"time":"+2015-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5244814$829B2C98-6EC6-468C-B630-22766BF7F9A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244814$7C126843-427F-40EC-8D9D-FE7ACB3897AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244814$F3DC0B4C-6243-4EAC-B9D1-9342CE603DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244814$FA2E7F1E-5AC5-4E9C-A405-7924EF5B2732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244814$6D73360A-766F-4363-8F92-09F254551254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244814$934AAE82-5E27-440C-B2EF-44AA207E733B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd6f948839496924242ae840a288b9d19356d000","datavalue":{"value":"6421050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244814$DD40C592-C66C-4BDC-B1B0-7E6737E62897","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31cfcb3142b103e66ff36c6265f6c48b4eab56b9","datavalue":{"value":"mechanized meta-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244814$098A8DCE-771E-4200-BCF6-1ED57EFA944D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244814$9BA7C1BF-07B3-4EB8-84BD-05B907DA3555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244814$DB8B1A56-462C-4BC0-AEE3-0D616CDAAE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de74706690136e8bb72963b6f6514704e8ce2b86","datavalue":{"value":"side-effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244814$38EAC222-85D5-45E6-BEB9-2551A432AE52","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f0f9309131bc6ee04b650083b370ec4b2b7ecbe","datavalue":{"value":{"entity-type":"item","numeric-id":34505,"id":"Q34505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244814$5B7E4B44-99B0-4E19-A795-F245BF341863","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":"Q5244814$400FA217-67E1-4752-8479-6E9F9CA7BF7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5241e0cde7896c366e7830a78a00c28f9ad02224","datavalue":{"value":"https://doi.org/10.1145/2500365.2500587","type":"string"},"datatype":"url"},"type":"statement","id":"Q5244814$99F8FB5A-9AAA-4F8E-944E-3AFAB5C37747","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1c750265b9ec4ea2a31ee906d58c0de03508ba8","datavalue":{"value":"W2104422179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244814$A09474BC-799F-4023-8682-F7D622311903","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9060d6e58f3abe9651a3bef1b7bd0afd802d6a4","datavalue":{"value":{"entity-type":"item","numeric-id":2931797,"id":"Q2931797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae705be38383bc569bbb8d5d768ecc32f8cfdce","datavalue":{"value":{"amount":"+0.7941153049468994","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":"Q5244814$7C91F95C-904D-43FB-89B2-30E5505A7190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ca390a037376bf0ee9810968554a6a01295767","datavalue":{"value":{"entity-type":"item","numeric-id":2892744,"id":"Q2892744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1fedf4c1a7c96bb1360eef359943e385f520095","datavalue":{"value":{"amount":"+0.730532705783844","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":"Q5244814$D5460EE0-19B1-4A24-AE8D-10E0058D4EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211db3e7f011d05bb69203eff288ae10938d3e1c","datavalue":{"value":{"entity-type":"item","numeric-id":5385589,"id":"Q5385589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbaf66ba64dcb8db16a27ddc71987265465cd853","datavalue":{"value":{"amount":"+0.7268759608268738","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":"Q5244814$64B933A4-97B7-488A-BB2B-374F4E041081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319f0e45bfa506ba9fbe0adbda954a115f9a8a53","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a433a073c3809d952d5d498888469570d6f762d5","datavalue":{"value":{"amount":"+0.7221478819847107","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":"Q5244814$57455B8A-12BE-4678-B159-0C4FEF9705E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dc5c3ec338ff6e1a4e912cb620d713debca8ce0","datavalue":{"value":{"entity-type":"item","numeric-id":4965821,"id":"Q4965821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df92ab85f0e972b937181b4e7b9b717273bb9d9c","datavalue":{"value":{"amount":"+0.7215903997421265","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":"Q5244814$38181A66-B038-4C02-89FD-27A7DEAE13A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5244814","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5244814"}}}}}