{"entities":{"Q3613396":{"pageid":5643302,"ns":120,"title":"Item:Q3613396","lastrevid":81004769,"modified":"2026-05-06T17:29:55Z","type":"item","id":"Q3613396","labels":{"en":{"language":"en","value":"Representing and Reasoning with Operational Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528272"}},"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":"Q3613396$80343A5F-A074-4F08-876B-2B7D7103BFAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fda677d4fa5bd14f1eba45135c17ba1d1326b78","datavalue":{"value":{"text":"Representing and Reasoning with Operational Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613396$FEDBE5FC-4918-4E72-94F0-2FA497B4DF49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a78b3d9fcb309fbc0853b864af96f4a25caffa4","datavalue":{"value":"1222.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613396$8906FDE0-2612-43FD-9AAC-B2F2F08AE364","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09e625544b6de590821b6631faf4bd34b862e70d","datavalue":{"value":"10.1007/11814771_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613396$46E86EAC-A90A-40B0-B6A4-0097518F82E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613396$2D3AD816-C7E2-48E1-9C69-8590270D77D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613396$C27742C9-EB46-414B-B37C-C95EC8AB31C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a6209d007d186b9491bfc4891efedab8d6b170f","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.7732","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613396$8500C01C-3274-4509-B0D7-C57D33DCA17D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613396$5A99575D-2A4A-4BD2-8A1D-F688B3E7C13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613396$D8C55830-7FA0-4E7F-9301-5D4219EAD716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613396$A85A04C5-C817-493C-B1AD-9BA3DE34E74B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6516b175ea88cc11b409959bc0ab70fe462890e","datavalue":{"value":"5528272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613396$B3915C67-7E42-4EE1-98BB-487263C55100","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613396$C724904F-E835-4F7F-B53E-29089D97CC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613396$F4524045-C286-484E-B4EF-2CED573FDDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613396$39D498F5-6FEF-49A0-95DF-AA1674BC03A2","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":"Q3613396$07D49D22-D5C7-4329-9BCC-ACFE7A935132","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"579ecd28a0022152f31c19f1f30cdd30e58258ae","datavalue":{"value":"W1493799155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613396$E42A1967-F234-4E6E-AB4B-3B1AB5FF8C07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cdafea6af4deab4f191af74f60f2b00bfa1c2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4982629,"id":"Q4982629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccd3c64e2495f4ac0e4cc4ce064b532b1a120f5b","datavalue":{"value":{"amount":"+0.8109330534934998","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":"Q3613396$9162D098-6806-4853-B1DD-6176B4EBF298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcc7220636820bbf5e281645c4f3848d2aa24fb","datavalue":{"value":{"entity-type":"item","numeric-id":4945216,"id":"Q4945216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b4d9439e4a8a0213aca56fa4ed1561eea77664","datavalue":{"value":{"amount":"+0.7802841067314148","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":"Q3613396$15631999-C8BC-4AB1-8A8B-F3E37E04018C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112e503c64cd24f85e53786dbcefcd75040e593e","datavalue":{"value":{"entity-type":"item","numeric-id":4357066,"id":"Q4357066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b4d9439e4a8a0213aca56fa4ed1561eea77664","datavalue":{"value":{"amount":"+0.7802841067314148","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":"Q3613396$92E52DC8-17A5-40D8-86DE-64A0D8E1650C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caa0ed4459d957668b805df9cecced739bd9cdcb","datavalue":{"value":{"entity-type":"item","numeric-id":2841234,"id":"Q2841234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d89f80bc06b41720563cc8e4a0461cbd95000cba","datavalue":{"value":{"amount":"+0.7787264585494995","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":"Q3613396$E6A803D2-D77C-498C-9960-1D1FB3561902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a916cf1409dfbafe4c2115673a257cc9161aebb","datavalue":{"value":{"entity-type":"item","numeric-id":5308703,"id":"Q5308703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9e36383dfd2f10402e286a720eac5c5a65954fd","datavalue":{"value":{"amount":"+0.7622605562210083","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":"Q3613396$A481631C-5DE7-4F43-9CAC-EE756CAF36E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representing and Reasoning with Operational Semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representing_and_Reasoning_with_Operational_Semantics"}}}}}