{"entities":{"Q835035":{"pageid":836883,"ns":120,"title":"Item:Q835035","lastrevid":64695123,"modified":"2026-04-11T21:36:54Z","type":"item","id":"Q835035","labels":{"en":{"language":"en","value":"A syntactic commutativity format for SOS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5599209"}},"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":"Q835035$56413D91-0224-40B0-B6AA-06852F2B918C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"895779b3a1ad14d4b07f2c4165eea9ca62daed7c","datavalue":{"value":{"text":"A syntactic commutativity format for SOS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q835035$B430B79E-9D34-4241-A949-23033E6D5A41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15bcbc563673a9d3ae89efc5bbdf00221078f3a5","datavalue":{"value":"1173.68561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835035$17947CA4-8F3E-4A12-83F4-BCC9B1618847","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf76af684c94ba691719fb8f21bdf4957141647e","datavalue":{"value":{"entity-type":"item","numeric-id":835033,"id":"Q835033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835035$5415997F-BC1A-4102-B0C9-E0D3AFB9B458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"245cb7082c223752c880c91a9a6b04a10554bd9a","datavalue":{"value":{"entity-type":"item","numeric-id":835034,"id":"Q835034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835035$57332CAF-DF10-4AEC-8D3B-405A04844517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835035$2DD0E8EB-2BEF-431E-BEF1-8BC08A7CB3BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835035$AEB1C016-2D9E-4485-953D-77E0930A04DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53d537450d777afe86620348ba62a2bca3ff92d2","datavalue":{"value":{"time":"+2009-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q835035$110BBCA4-214C-4F5B-8EC1-D7FCC3328ACF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb261dbac59fd71c7b70784a1039a65aa95a1e42","datavalue":{"value":"https://research.tue.nl/nl/publications/3f8e3ec9-7a7c-461a-80b6-9eb412a75ad5","type":"string"},"datatype":"url"},"type":"statement","id":"Q835035$0F1F2D16-84AF-49A2-AA18-C3756077E030","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835035$5D21E0F5-06FB-4EFC-802F-338BA4A8761E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"978c6386c9c6dbe1bd4208f2c8c20da96ad9637b","datavalue":{"value":"5599209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835035$4D66C8B4-12DF-4F04-91C8-D4B22C13041B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q835035$508EE697-9FF1-466C-B843-697E4174E749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b2ac82eaf9b989ba67f87812e2035aef9ddfaf","datavalue":{"value":"structural operational semantics (SOS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q835035$65820C9F-5A92-4F7F-8A42-6BAF7AAFEBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f439e4352b0ae1844274ea9f45e592ca78ffb4a9","datavalue":{"value":"standard SOS formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q835035$14C2549D-962E-404A-AC12-5B0966BEC8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6f4d8b7f9de04329d288267d4847386b9b9556","datavalue":{"value":"commutativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q835035$7A31838A-4310-4162-A7ED-73180D8A52F0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aa0e859d4ffd71762ac3b36c8c53cd9d676339ad","datavalue":{"value":"Q57745762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835035$39938E6A-B89C-4A5E-AFCA-8F707F3221C6","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":"Q835035$1EDCC7C1-16D1-4960-B69D-0DA01972FFE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"505d41f3bf5376d0ad0107de5bda4219af451eab","datavalue":{"value":"W2105133485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835035$CC663689-9964-4C34-9F63-A2E2156D6E4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835035$F28FACC3-2FF1-4BAE-965D-DED07E3EE8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835035$D6695A4A-8A0B-46F9-9E98-4C142189A4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835035$CCF6B234-62CA-4B9F-9658-3541C120CBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5be20bcaacec13dbd2e6917fdb7ce145bf2056f","datavalue":{"value":{"entity-type":"item","numeric-id":4736873,"id":"Q4736873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835035$920595B8-3F1A-4E62-A670-1D762B71D736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2b6ef7829b1f1653c38a19e4d033bd8c87449f","datavalue":{"value":{"entity-type":"item","numeric-id":1575273,"id":"Q1575273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835035$971B6EC9-A2A9-450F-9CA5-F806E9DEEB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835035$9564B308-D4BD-4EAA-BB83-44562B667AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a0cdcfdba2cb7be20b3ff60a87448ba5f273bd","datavalue":{"value":{"entity-type":"item","numeric-id":4847024,"id":"Q4847024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835035$831B9F59-2CDE-408E-957C-826C6063CC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835035$A2EB37BE-B183-43D8-A027-5C67EE6AA4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcfd5d986a476d287890338f885cfd01a0953f2","datavalue":{"value":{"entity-type":"item","numeric-id":1917088,"id":"Q1917088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835035$D8F4A506-8603-44C8-A4ED-BE78D7C4A842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2460002d0adbe8417dfc0562899200f110b197","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835035$F2173D29-D40C-4588-AE03-76AA46DA59C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835035$52566E86-8E7C-46FB-9EE6-7CCE491DBF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7f33ca20da467faef38d779155a5b2b594538c","datavalue":{"value":{"entity-type":"item","numeric-id":1878713,"id":"Q1878713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835035$D3F59520-9FC2-4CF8-9FC2-A16E986B9477","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44119123cad8196ff182721884a625bccb3da14f","datavalue":{"value":"10.1016/J.IPL.2004.11.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835035$B286C8C7-B4AE-472E-A79E-40ED2DED5582","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6502048d48bfc14a99e826434572722cec3bad4","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8876ba3016d8c3d37600f42be300d527140f57","datavalue":{"value":{"amount":"+0.7593491673469543","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":"Q835035$32B4360E-2901-40DE-B3B5-43067A4C4DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b94bf866516dd2f7ba57c29638658a875d90074","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128c9a0fccf5ebd78a0a8542832de038e61da213","datavalue":{"value":{"amount":"+0.7334536910057068","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":"Q835035$012C975B-3846-4CC1-A9D9-8A27C97ACBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42ece358a5a9473a876a73ea822872cc2cef640d","datavalue":{"value":{"entity-type":"item","numeric-id":3401088,"id":"Q3401088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eee425f3af5054bd7761122f21149f07968abbf","datavalue":{"value":{"amount":"+0.7251169085502625","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":"Q835035$824EC2C9-26B9-4D1E-8228-B35A732EBEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8b769e5889b7203cfa43430fbcaad7e3dc2efb","datavalue":{"value":{"entity-type":"item","numeric-id":2852093,"id":"Q2852093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db5fc65ed84f82d570f9047b8ad38cfdacd819e","datavalue":{"value":{"amount":"+0.7225037813186646","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":"Q835035$0B4EA215-470E-4160-BB35-45A6F93D7323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd43ac385ee2dfef0490c42029011b84d948587","datavalue":{"value":{"entity-type":"item","numeric-id":3004568,"id":"Q3004568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a90c87492f2d62a2a034da9fdbb9934d6455996","datavalue":{"value":{"amount":"+0.722202479839325","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":"Q835035$7F123ED8-6918-4E14-9BDC-65138807322B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A syntactic commutativity format for SOS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_syntactic_commutativity_format_for_SOS"}}}}}