{"entities":{"Q3000281":{"pageid":3011005,"ns":120,"title":"Item:Q3000281","lastrevid":51248144,"modified":"2026-01-17T10:50:09Z","type":"item","id":"Q3000281","labels":{"en":{"language":"en","value":"Big-step operational semantics revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5896919"}},"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":"Q3000281$5ACD6E29-5179-4463-AB9D-3F4B3163BE70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74160ea30ee5e91312b0ce7bc4413798f7d6b18d","datavalue":{"value":{"text":"Big-step Operational Semantics Revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000281$B1DE0E53-391B-470A-BE07-F6B9ED8C1FCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"239ea86c525c1382353f8438bf0d8b308c0a1df3","datavalue":{"value":"1217.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000281$49C182C4-7592-4AEE-9EDD-924BE37ACCB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be63acb416f4d334849f6a78b449797aea3fa459","datavalue":{"value":"10.3233/FI-2010-323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000281$3E139787-0186-424C-9215-57D52758A003","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd3b541aa6858f4667210770b488fa4e15cddcf","datavalue":{"value":{"entity-type":"item","numeric-id":3000280,"id":"Q3000280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000281$7464B1B0-D855-464C-A402-261DDDD158A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2e3774dc3d7288a395dfaa7792296a4e59727f1","datavalue":{"value":{"entity-type":"item","numeric-id":553897,"id":"Q553897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000281$DAEABABD-7060-4840-B93F-2907DBFEA3FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000281$31D5C872-A1F6-435A-822D-16927CC4D3E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"582ddc080e0097b96146009353001f8291010262","datavalue":{"value":{"time":"+2011-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000281$8CBB6496-8977-44FB-BD92-D804869E6D96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000281$63820F65-6362-4002-A025-C7868BBEDB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000281$0818766C-E8C8-42FD-A431-83E6ACBB4C45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ef215bf14f8a31b2f8989efee75d228613e123b","datavalue":{"value":"5896919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000281$38095C7F-4033-4D79-99DF-BB032A6A4708","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":"Q3000281$E272FE06-B3F3-4881-B718-E3EE3552833D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44cd21ce5ee28dfed8e04cdccfa16729d5b2adc5","datavalue":{"value":"https://doi.org/10.3233/fi-2010-323","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000281$660B24D2-BC2F-4BF4-AB2F-A0543DC1AF27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21f16dfbb1b932f84a64ecc64a262f2539211303","datavalue":{"value":"W1731971745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000281$A139E4A7-3250-4DA6-AA1A-D65CDE56F2AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e92bbcc08d2f397300ff290ede12c4f76c9b5948","datavalue":{"value":{"entity-type":"item","numeric-id":5041092,"id":"Q5041092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a514ab4a48e9bff61febf9eec878f6071e45a411","datavalue":{"value":{"amount":"+0.7417786717414856","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":"Q3000281$9014DB5E-1C62-4F7F-B231-E64AB37C8F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1dbc5bcd80ac2397141ffd3ebeaf1e71de23766","datavalue":{"value":{"entity-type":"item","numeric-id":5326276,"id":"Q5326276"},"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":"Q3000281$97682E7B-C09F-45EF-B223-46C6943B8C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63151ed46874ccece56eaacc3e40d1bbdc8a366d","datavalue":{"value":{"entity-type":"item","numeric-id":5899008,"id":"Q5899008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4861c3d2f6aea7d1585cda270bf35e9afadf54a9","datavalue":{"value":{"amount":"+0.7152109742164612","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":"Q3000281$6B1CC836-0659-4190-9ECB-6F64BF1EC3FF","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":"d60af55826787c0c8ba67fa2a8c14dc41341d866","datavalue":{"value":{"amount":"+0.7092301249504089","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":"Q3000281$9FB9AA15-8322-4B16-9EA9-DB05E1E619D9","rank":"normal"},{"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":"529f19cbc76bc0f4d9347a96686b388fca513e21","datavalue":{"value":{"amount":"+0.7033513784408569","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":"Q3000281$1DDB836C-8F5F-4BDB-B83B-A606FE8FA1BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000281"}}}}}