{"entities":{"Q5262970":{"pageid":7292546,"ns":120,"title":"Item:Q5262970","lastrevid":100678718,"modified":"2026-06-05T22:46:52Z","type":"item","id":"Q5262970","labels":{"en":{"language":"en","value":"A proof theoretic approach to operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457599"}},"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":"Q5262970$18454561-7E46-4A54-998A-8F4AB314FD56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7201cd04408e5e37e13807bec84d4b5446c99c71","datavalue":{"value":{"text":"A Proof Theoretic Approach to Operational Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262970$99FF3F80-4781-4C93-A727-AB5A3F2EE6A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dcf94402de37c4775857f6a587b30e4f7da89e1","datavalue":{"value":"1316.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262970$4337CCF5-81CE-4915-B3FB-C16C9E6C9469","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262970$D280D20E-765C-47AE-86A2-AB82FBE8D1FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262970$2F4102AD-4D4C-4DA4-B6D6-D6825D762F62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262970$0B4A1540-D55D-4D57-A703-8A157447A926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262970$2BB43391-5651-4244-B491-9787BBA7953D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262970$FC1797A6-D470-47E9-8926-A18C3AF8271D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262970$03DE55CF-E07A-4897-AA2E-CD322B6ADA4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71ea711ebdb66bfbea67d01212a3d07f0eea8825","datavalue":{"value":"6457599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262970$134B105A-3B76-4B35-9385-415C771DE514","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262970$090896C4-0000-4F5D-8A70-1726D2547B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2e095c3c03354b7eaabd184ca5325edfd9c7ddc","datavalue":{"value":"proof-theoretic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262970$95776F46-13B1-4BDD-95A8-C28A553EC0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6237db3e6bf9b8eb6fbd015d8ddaaf4e2dbffdd8","datavalue":{"value":"\\(\\lambda\\)-tree syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262970$14E5DCEB-A0B8-4C57-BB5B-AC0857D107E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a70f2b66d80319d5c576190c5bbba86ed8f1068","datavalue":{"value":"rule formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262970$42C5A666-D940-4274-B3EF-411C384360F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262970$C8117B8D-8724-498E-93F7-1D613E7ED48C","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":"Q5262970$D5BC33B0-059B-444C-A9E7-4C6E78805A35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4881fa3fe49580b81167caf64fd72888df2c62e","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2005.12.089","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262970$1C46A552-CB05-4F56-A4E3-663A5118BF05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c92912b342ce540f51be495b7df20a981c11a00f","datavalue":{"value":"W1986898973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262970$B7C18551-0F86-4A1A-9DA8-CD16D6976F3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4759a9060f2cddfb5a6223f981d573b61ea0d4ae","datavalue":{"value":{"entity-type":"item","numeric-id":5311281,"id":"Q5311281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262970$0A98047E-1AD9-4687-B27D-92B32AF6405D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262970$10363992-4E58-404D-A442-E63A72B02C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262970$49E8ADFC-89FA-4D22-A9DA-CCC1DCABDC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748a5362203b0e3c8347ebddbc722eb15910d45b","datavalue":{"value":{"entity-type":"item","numeric-id":5712312,"id":"Q5712312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262970$F8EF5A07-BCB6-4C73-8996-13C667D2C5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27aca13846d018c6ac14dde43c650ad766ec813","datavalue":{"value":{"entity-type":"item","numeric-id":5897473,"id":"Q5897473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262970$906C56A3-A21E-42B8-A150-B1F030AB83A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd006f3345398a4d91af214b14ed05f4807fd835","datavalue":{"value":{"entity-type":"item","numeric-id":2848670,"id":"Q2848670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262970$8B9C1665-27AA-40C2-A542-0FCBF0D77AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234ca72d36654d00b6e8980f7c7e9a102739c5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2852102,"id":"Q2852102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262970$DD62FF33-6CFF-429A-92A4-4051380725E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"735c8f4cf32cd797507f88677833f7401228be0d","datavalue":{"value":"10.1016/J.ENTCS.2005.12.089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262970$E5F41A99-4EF5-46D5-8724-BB427755ED3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b467c8f197ba8c6e05594d5d6af075601f4d57c5","datavalue":{"value":{"entity-type":"item","numeric-id":2848670,"id":"Q2848670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c1ea41996e517044278a48574e34db56f2b07a","datavalue":{"value":{"amount":"+0.7649725675582886","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":"Q5262970$4DC0766D-9539-4877-89E4-CAFF3697BF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51443693fae9fcd517bfd04a049ceb5eeaaad094","datavalue":{"value":{"entity-type":"item","numeric-id":2946601,"id":"Q2946601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea6881712d1fd665fafe117f03cddb40e97f919a","datavalue":{"value":{"amount":"+0.7455979585647583","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":"Q5262970$C47366B0-8E6C-4E53-8117-0364DAC6BE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d137986f3dc22bc7b0d815cd3bc6f3b059425f28","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b9f8945cf8de86411228411c26993ff88b07a7f","datavalue":{"value":{"amount":"+0.7373275756835938","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":"Q5262970$4AA9E246-E7CA-49FF-88AD-5B46D3BC66AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d2dcdf30b2350cc1ffd8d2491c16b2fd47b318","datavalue":{"value":{"entity-type":"item","numeric-id":1917090,"id":"Q1917090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede3109d8ccd3397ade3b6a8a647054f4c790d3c","datavalue":{"value":{"amount":"+0.7347411513328552","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":"Q5262970$2FBFB99D-5188-4ABC-8C0F-78F77C34A23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9821a508d4a2e7d97b4965ae2d789ace52ee0dcc","datavalue":{"value":{"entity-type":"item","numeric-id":5311281,"id":"Q5311281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd19d51f1337353c3edcdc3d0d304e1f3a4f71ee","datavalue":{"value":{"amount":"+0.7320637106895447","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":"Q5262970$FFAF4E90-E86C-4A92-919B-2A55B2D94148","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof theoretic approach to operational semantics","badges":[]}}}}}