{"entities":{"Q3183540":{"pageid":3194248,"ns":120,"title":"Item:Q3183540","lastrevid":50790746,"modified":"2026-01-15T04:47:19Z","type":"item","id":"Q3183540","labels":{"en":{"language":"en","value":"Trace-Based Coinductive Operational Semantics for While"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5618520"}},"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":"Q3183540$7576E123-4996-4A49-AF6E-9497081BAA2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5c678b0b6279d0f8d99544bea0e015d23955ee7","datavalue":{"value":{"text":"Trace-Based Coinductive Operational Semantics for While","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3183540$B264E876-F09D-4984-9234-740433FDC42D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74eb42a775a007faa03211b657a8e8fa14aeab46","datavalue":{"value":"1252.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183540$285017DC-E7D7-4C9F-A8B6-0C0E29309B75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af8b6672b7025c17491b89c6645799e2f93baeaa","datavalue":{"value":"10.1007/978-3-642-03359-9_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183540$2A500901-217E-4983-BBD0-AE2C91146C1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aab4c81bbdf8e8ab11509c3fd87907e1c5ae9221","datavalue":{"value":{"entity-type":"item","numeric-id":1929335,"id":"Q1929335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$33956076-CEA4-4C85-A77E-1D5A3596533E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$1536AF32-EB7B-462B-A702-F5B3AC2F9639","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$C8DB469A-6942-4DE5-9497-82C5DD1810E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b03fe0d32567f363cc3207214473a7371265cf3","datavalue":{"value":{"time":"+2009-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3183540$6C127CB0-F6BD-4F7E-8E1E-21106C03590B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183540$2AF745DC-7A99-48F1-9606-5101EEED0D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183540$FDFF787E-8114-4318-B3D8-B39B129BA54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183540$6867C200-2456-40B6-8EC2-BDC5685826D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a365c11b500cd9ea15bbd2f1269741b3cb19d934","datavalue":{"value":"5618520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183540$50401146-EE52-432B-A3AA-A11C374A0CA2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$8A68D61C-9718-451A-8A84-B45417FE5A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$5E188C7F-D7B1-490D-BA16-E226F36ABFDF","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":"Q3183540$1CDA3A53-175E-47B8-881F-6DE3A0BE5E40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b35795edff15751fe34c3bc4e9820dcff4961fc6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03359-9_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3183540$522AE2F2-21E1-43F6-9943-B22C7DEBED36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f24bf1c24452d2e2d679d469aefa1238f2d19336","datavalue":{"value":"W1585398629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183540$C4E3A64A-1201-4FF1-A69D-98D03F834CF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$CB70877E-75CE-4F2B-AED6-1854CB4AC0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6473cef3ce337243e0f2ba4aef7103911e4b3591","datavalue":{"value":{"entity-type":"item","numeric-id":5704032,"id":"Q5704032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$718D75D2-829A-4885-AA89-61149D676176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bcc30b765cca771213ef9a1977f71c8871dbe4","datavalue":{"value":{"entity-type":"item","numeric-id":5310638,"id":"Q5310638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$7EA50972-6BF2-40E4-B784-2F0E2417FD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$5F9E7759-1425-4A39-A4C7-7EFBFDE2B3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d42a8e61087bb6e8552915d261da43942d1695","datavalue":{"value":{"entity-type":"item","numeric-id":1012127,"id":"Q1012127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$DBAD4F1B-CD4E-43A2-8273-7335C1D930D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd647b7e190f6768b66094a5a1a152a66fc6622c","datavalue":{"value":{"entity-type":"item","numeric-id":4219036,"id":"Q4219036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$CB01F601-7323-4E16-A442-268E7CE6D856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43f11a5e6fc21caa581e9ac1e35682b1839d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3075246,"id":"Q3075246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$A372DBEB-653F-48FD-A9E5-29392B0FB5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$F35FB152-D6FB-4715-86B2-55BA17D7F4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca3c893ec274449af409e1d364b4d648dd50b27","datavalue":{"value":{"entity-type":"item","numeric-id":1012129,"id":"Q1012129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$09614B3A-1F51-4E7F-AE06-B155AE51D0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5029f3bd44027d166b83affc49717f11751e7c08","datavalue":{"value":{"entity-type":"item","numeric-id":4736399,"id":"Q4736399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$72ACB412-2630-425F-AFE1-E3328EA64E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da04cb75b96be367751dd23ff26668f38703cfc5","datavalue":{"value":{"entity-type":"item","numeric-id":3623940,"id":"Q3623940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$DA98F024-2505-416B-89C6-67CC018A2B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d555e458344fe4789eb231c3bc97bf5b556d7c","datavalue":{"value":{"entity-type":"item","numeric-id":843215,"id":"Q843215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$C491B2FA-6CEC-4EB9-8C32-3B6C10822F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2080ce41dbb2abc15ff7cf44f0da56f791068775","datavalue":{"value":{"entity-type":"item","numeric-id":4943550,"id":"Q4943550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183540$EE388456-96CD-44A5-8973-49144E910DE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2803f3d0a8826125f9a26f4ed10a461be14324bf","datavalue":{"value":{"entity-type":"item","numeric-id":3558243,"id":"Q3558243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93468b3e0d7cbad7dd66ab0301e194b42e2d8ff4","datavalue":{"value":{"amount":"+0.8312812447547913","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":"Q3183540$C28EAB8A-16D9-42E3-891C-9839AEBEECE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f51d1f32e7941ce3a983b025e8fc6ea29cc9d5b3","datavalue":{"value":{"entity-type":"item","numeric-id":4963901,"id":"Q4963901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c8519ceb1a4bdee0cdacaa42d3e820504797f3","datavalue":{"value":{"amount":"+0.828275740146637","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":"Q3183540$5E16CE5A-43A8-4EFF-BD1C-1E800D8B505B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a1936756300fa99c8474907786210ea30b8e136","datavalue":{"value":{"entity-type":"item","numeric-id":5174911,"id":"Q5174911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651bd7a48cce605e9cd55d1ce87ae466e0919e20","datavalue":{"value":{"amount":"+0.8273493051528931","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":"Q3183540$18F74A72-B4E9-4A59-9FB6-6153240C3ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c069075daa3b74cd7029c25a281cee99aaaa0251","datavalue":{"value":{"entity-type":"item","numeric-id":1012129,"id":"Q1012129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf3a7540da5570906c95870c2d8133d9df06bc72","datavalue":{"value":{"amount":"+0.8062071800231934","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":"Q3183540$07D469BD-9AB3-493C-973C-76F4B7BE932E","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":"3e63cd048128f576608d20c6bcb02628a2c2b4de","datavalue":{"value":{"amount":"+0.7984786629676819","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":"Q3183540$C5EDE7E5-DC4B-409A-8D19-D5088EB98096","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3183540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3183540"}}}}}