{"entities":{"Q6654401":{"pageid":14265558,"ns":120,"title":"Item:Q6654401","lastrevid":55813525,"modified":"2026-02-17T23:15:13Z","type":"item","id":"Q6654401","labels":{"en":{"language":"en","value":"A comparison of big-step semantics definition styles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7959623"}},"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":"Q6654401$464539A6-8725-4071-9277-D06855209B69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6544d3af70d77d78bcd069a4f65294a5924b05bc","datavalue":{"value":{"text":"A comparison of big-step semantics definition styles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6654401$EB8F18EC-54EB-43F0-81FD-7883D8CF7876","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b740dd8881beb166ac7c32c4e6dae758d77bcbcd","datavalue":{"value":{"entity-type":"item","numeric-id":6602499,"id":"Q6602499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654401$E052A76E-7235-4EA3-A8B2-BFBDBEA8845E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59b56adc04b62a038d6426734b5c0bfd3f33f42d","datavalue":{"value":{"entity-type":"item","numeric-id":2898830,"id":"Q2898830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654401$473457CE-D113-4360-9B4C-D3BA17B81C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d621ae714d9ebf86952ba3492185c54e860b09a","datavalue":{"value":{"entity-type":"item","numeric-id":909442,"id":"Q909442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654401$BBCEAB60-C26D-4265-89AA-F4FD367BE5A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7514f11a674f060ae5987886d706f5b548145d91","datavalue":{"value":{"entity-type":"item","numeric-id":6654363,"id":"Q6654363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654401$49CAB3D5-2FEB-4CE7-A2ED-43970D8C68A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1a1dde559919fe84de6d7ed8372e728bb6adc88","datavalue":{"value":{"time":"+2024-12-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":"Q6654401$B42EBAB0-4A6D-4043-822B-D5036E7D6267","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654401$982AB08D-76AC-4151-84CC-05704085244B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f300515b3c3f2106e6655cdd395c452963e1c00d","datavalue":{"value":"7959623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654401$CC6362FE-8523-43F0-9CDE-9219C3858197","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6654401$CFF920EA-4D70-44ED-AE99-0381164879C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6e064560fc1e96295608eaef7e624b550d9ed81","datavalue":{"value":"natural semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6654401$8FB3AEC8-603B-4546-88C6-E64E735926EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b7fcd260d7d4929c373713025fe7f0bfb3a12c","datavalue":{"value":"pretty-big-step semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6654401$34D638A0-DCFC-44B5-96AD-A0E5F65C1F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c473c43d8fd0afa526b652f61e83a205896e444","datavalue":{"value":"functional big-step semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6654401$6FFF0D8A-9C34-459E-9ED8-818005D0EFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fb9c388a887e71cac7b29b47c9ec801f31bc1a1","datavalue":{"value":"Coq.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6654401$C60E012A-A651-42BC-991F-ADA647BA3AE9","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":"Q6654401$15CF8DF7-F623-471E-93ED-9D674BC68AAD","rank":"normal"}],"P1643":[{"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":"42c4e7e60f84de0225b93cf929cf3354d09de558","datavalue":{"value":{"amount":"+0.7572020888328552","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":"Q6654401$2E12EAE1-DEA4-4FCD-A224-39777EB2A348","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":"ba5435ad48bc81b300b5ad99f08d1dfd1f4c3abb","datavalue":{"value":{"amount":"+0.7242539525032043","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":"Q6654401$81A66213-41AC-4832-9B0D-EC60D059406A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be8db4a8a3e23e360483247268d76064303c918","datavalue":{"value":{"entity-type":"item","numeric-id":4413687,"id":"Q4413687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4624b2d80ff147978689dae66e8c01f03b49469c","datavalue":{"value":{"amount":"+0.7148885726928711","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":"Q6654401$1614EF52-54BB-4A7C-90A7-4684DADDA1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98d0e9b4827858902e118f43ba8257276ea119d","datavalue":{"value":{"entity-type":"item","numeric-id":6091304,"id":"Q6091304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd8cac7ae8ee2f807c066828f919cc237d0cdd0c","datavalue":{"value":{"amount":"+0.704060971736908","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":"Q6654401$98EE3063-6AEB-4866-AF8B-4DBBF91E8873","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":"85813a7902bf875bdf3fe68b566e0ca1586a2d72","datavalue":{"value":{"amount":"+0.7035086750984192","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":"Q6654401$DE166AF4-42BA-44FA-877F-1909B54ABFEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6654401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6654401"}}}}}