{"entities":{"Q5326276":{"pageid":7355850,"ns":120,"title":"Item:Q5326276","lastrevid":51790256,"modified":"2026-01-20T01:28:03Z","type":"item","id":"Q5326276","labels":{"en":{"language":"en","value":"Pretty-big-step semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194786"}},"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":"Q5326276$E5108999-E67F-458A-B5A1-087204AAFCA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd05cdc47283a81afed750a5fc602efcd7042139","datavalue":{"value":{"text":"Pretty-Big-Step Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326276$9A79B962-E84A-47EF-9404-A5ED7B28FBBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"153be897e7aaa727b637103d015ceccdae6ec854","datavalue":{"value":"1381.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326276$55A92151-42B1-499A-B801-F17E3C990A6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d34c04ebdb7d69f9a87e38285c2da221973dc88","datavalue":{"value":"10.1007/978-3-642-37036-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326276$34DF1319-A405-4A0D-B37D-4E10E1557F0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b34313f1bad29f9702b9bd0cdb9e2cbc9d54ccb9","datavalue":{"value":{"entity-type":"item","numeric-id":670697,"id":"Q670697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326276$00887E78-1470-4F13-A17B-06A44C1737AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326276$E52D43C9-5166-4B50-985D-1207F95485D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326276$20C2A7C8-8C1E-43ED-9D90-E2789E38EDAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326276$1182B71B-66AD-4066-89EB-B520466222D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb3d061fd3c7fd080648810e8f5841aae528e25d","datavalue":{"value":"6194786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326276$C63E6DEC-4E35-44E1-8158-76045DDF64A5","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":"Q5326276$CCE72E59-20D2-4A2F-8F0F-9049BB66EDF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97356bc62d7f6543f73b16510c8cd7e4683cd441","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37036-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326276$F0AA9155-FA9A-44D6-9B8F-EC38CFA30902","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b29a2c827b308b047fb2c0d8c69da32bf87ca22a","datavalue":{"value":"W203501420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326276$CCE97B8E-C875-4FBB-AFE5-CAEC584F409D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948065a2c9004ffe0ff950744ce35014b617d6df","datavalue":{"value":{"entity-type":"item","numeric-id":5410704,"id":"Q5410704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da68740fd3c0080c90c8a1219763ecc7b94afbc1","datavalue":{"value":{"amount":"+0.837357223033905","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":"Q5326276$147F4A2A-4DA4-4637-8A41-4A868EF51F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aec65578da6e2b22e429c6bdad7389c51d4d225","datavalue":{"value":{"entity-type":"item","numeric-id":516041,"id":"Q516041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"288a32519fe99ac1ccd2baff787c6bb333d7f87d","datavalue":{"value":{"amount":"+0.74770188331604","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":"Q5326276$FB262441-8330-464F-849F-0338B16BD055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"216f74063e711476b25cd911a117e6312377850b","datavalue":{"value":{"entity-type":"item","numeric-id":5187820,"id":"Q5187820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a198991540b2e496752023edeb47a79ab56eef","datavalue":{"value":{"amount":"+0.7320318818092346","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":"Q5326276$356A2F2E-F196-4E89-AAE8-270AB91925DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d96c11de1f89c9f7525c4a02fffb26800a5bbb75","datavalue":{"value":{"entity-type":"item","numeric-id":4222934,"id":"Q4222934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee36d6c19b5feace637abf1c7d2edf06b603449","datavalue":{"value":{"amount":"+0.7289857864379883","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":"Q5326276$D6A859BD-CD2E-4ED3-A5C1-DB55D142CDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a4485ec479b548a19661c690014b998d09b4a9","datavalue":{"value":{"entity-type":"item","numeric-id":3000281,"id":"Q3000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7991527d167e36942fbdcd52f5f26f7288c8573","datavalue":{"value":{"amount":"+0.7278234362602234","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":"Q5326276$1477FE15-45C9-47EF-88A0-452769567850","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326276"}}}}}