{"entities":{"Q2464947":{"pageid":2475690,"ns":120,"title":"Item:Q2464947","lastrevid":73453242,"modified":"2026-04-14T16:03:08Z","type":"item","id":"Q2464947","labels":{"en":{"language":"en","value":"Selective strictness and parametricity in structural operational semantics, inequationally"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5221248"}},"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":"Q2464947$2DBAC603-88C6-4939-AD63-028CE447DF34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36d1e2e2712d3c4ea0b42ee47134f0c01c6ce4a6","datavalue":{"value":{"text":"Selective strictness and parametricity in structural operational semantics, inequationally","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464947$2E98C3A0-3E79-48CB-AE01-465B74F499B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d10bda7d9d4d9387ae9fb2af686acb09b7b140d","datavalue":{"value":"1143.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464947$68774A89-9BF9-40F4-8931-0D12CD19A58D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"934fdffff0f9ddf6cf8affa63ec8f5198caf4ea3","datavalue":{"value":{"entity-type":"item","numeric-id":347390,"id":"Q347390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$9460D114-D6BD-4782-9DB7-927C134BBD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$0FA35C62-D98F-402A-9DEA-749D0DFE5698","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$569A10FA-2E91-4D8A-B0F5-6893DE31739D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b39a0a73d18fba485401f5f29aad40c079dd6a82","datavalue":{"value":{"time":"+2007-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":"Q2464947$285E5B05-7DD1-4866-A5A0-042D10EA84B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"632746467c29abdceeb973a5edd7d7e51bfe6b68","datavalue":{"value":"http://libres.uncg.edu/ir/asu/f/Johann_Patricia_Voigtlander_Janis_2007_Selective_Strictness_and_parametricity_.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464947$8E8D4BC9-7310-4290-89F0-0C6F56A381D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464947$7E375444-9960-4B99-9561-726EFA50E341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464947$D1A14C8F-BFA1-415A-BB6E-90B38F684888","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0db8bfece1f55f571e44dc9374329ae6d63b6454","datavalue":{"value":"5221248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464947$EEC2A1B8-575F-425F-978E-BEFF38ACB331","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e4eb6411b53938ec0a60634b3eaadbb5823bc51","datavalue":{"value":"Clean","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464947$2E73BA69-B54E-42AB-A0B9-8A820C00175E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464947$82BB37F4-C01F-4F7B-A294-0655D82936EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6d07ffc1590235787e3fda9e5362c6a61e336a5","datavalue":{"value":"extensionality principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464947$FFF9A4B0-2108-4F68-9074-8D72CDCFBF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"713a4e70dfc99003a7ca0aa7fadb5beefd5dbfca","datavalue":{"value":"fixpoint recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464947$BE636481-571E-4DA2-8A42-018A11D8C956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73764d321446821fc3032a2bffcb56061eeb3fd6","datavalue":{"value":"functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464947$0F6F281A-B053-4868-A406-609232B19D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73c134ed29b7952ff18101b1559337d7a053e8ae","datavalue":{"value":"identity extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464947$1EF73659-EE26-4776-B891-DD7A590901EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464947$4F23E724-265D-4F31-AA0B-E97897482E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464947$F8EFB32C-7AC4-41B2-9C7B-584D059AD230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fc09c493017dbb2c8c0a3feeea867066cf04025","datavalue":{"value":"mixing strict and nonstrict semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464947$B547E879-DBC7-47AD-BF5D-73355288BB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658b900684683a841bc471a204ddeb78a040d114","datavalue":{"value":"parametric polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464947$8865E151-104A-4BD0-A47B-B308513D272D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464947$1CCC747C-271D-45A4-A22B-6DF55BAE4F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c78929f6597107d45b202137a0f4ef8e04a7619","datavalue":{"value":"seg","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464947$FAEDAB55-38B8-404E-AD13-77C83709A45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3280e29ec455b1b21a895e357c866fb7653b8cf","datavalue":{"value":"short cut Fusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464947$128503F4-667C-4621-B25D-491AA3DAA390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b597593329c9e3a91e75822e54d2346a2f604bf","datavalue":{"value":"theorems for free","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464947$16FF3A97-9580-47F8-ABD4-6DBC1B0C01AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464947$E8C06426-A76F-43DE-8B60-80D66EE6AB33","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$76FAB957-F10A-4C48-9AA5-D1D016469FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$1897DCD0-980A-4743-800F-D1273752E26A","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":"Q2464947$0F82AD42-B8F7-4184-A024-A4217E1B002F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7b90bbbc400d8147ef0a9c23d39b4b18326f3a0","datavalue":{"value":"W2061156817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464947$07A19674-1C0B-4ADB-8014-5F3B25B9EDEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e540e9037d6b40bc6045b99bb685bc55f586971","datavalue":{"value":{"entity-type":"item","numeric-id":5899009,"id":"Q5899009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$ABDF0B8A-C139-4773-AD5B-6F63DA650810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0587f95dc3598cec3bf6b609062464bb7985f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$5EF3FB5E-A10F-4BC5-AD7B-97265119FFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df869e5394fde7636848856501b8fe6947f7a67","datavalue":{"value":{"entity-type":"item","numeric-id":2852350,"id":"Q2852350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$F68563E8-0AF6-406B-BDED-CF692B455F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567c965207130078300d6c2483ceecef116d0f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5348924,"id":"Q5348924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$94411D16-1D08-406B-9F70-D577E35D6999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb407e7f3194f26a5c0d9c23e63953f95d3630a8","datavalue":{"value":{"entity-type":"item","numeric-id":5313102,"id":"Q5313102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$81534520-785C-4D2C-AD1D-70815970BB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5810792b74141ccfc6f5dbd4c267aa44a0da5ec","datavalue":{"value":{"entity-type":"item","numeric-id":3623948,"id":"Q3623948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$EB086033-F41A-4BF2-8538-B07AE2B6141D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f80c309e64b1cfeded9c015638835fbb819eec","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$E30D7275-238A-47B8-A06B-972AD74B1F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$5837CE32-9B9D-45B2-8F4E-2AFF54A1888F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85ee5cb80a765312522522c59f4c0f9417fcecf3","datavalue":{"value":{"entity-type":"item","numeric-id":3149007,"id":"Q3149007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$CBB3BCE7-A480-49EF-B2B4-35EE5B5F1D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3a6359cefb70b772ee42a7b4650ce129fac2699","datavalue":{"value":{"entity-type":"item","numeric-id":2936792,"id":"Q2936792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$C80965DB-8261-48D9-A111-9CE8D3A40457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"081bcad9c917e2fcfb23bfa4c1fe0f98bd51e16c","datavalue":{"value":{"entity-type":"item","numeric-id":5096235,"id":"Q5096235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$CED76940-E213-448E-9EAF-F724429112CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d01408d1d1c287e244523e2c4a5a0a8b8e3aa","datavalue":{"value":{"entity-type":"item","numeric-id":5708288,"id":"Q5708288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$2F773D14-8BC8-4B40-9A8B-28D41335F40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7c47b6de4ddb46a855e5259e83e7e909bcaf90","datavalue":{"value":{"entity-type":"item","numeric-id":1870296,"id":"Q1870296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$09410EB3-838B-4717-A139-18DA1F83021C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914c0c6edc5cdf0cde4428945012a8e1bf383439","datavalue":{"value":{"entity-type":"item","numeric-id":4461770,"id":"Q4461770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$40697645-3F5B-4AC0-8119-D66A3AAD3AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9496de230cfeaf8cd7d67a7de0dfe83790fb2625","datavalue":{"value":{"entity-type":"item","numeric-id":4675766,"id":"Q4675766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$5BE71C4E-0973-469D-885E-E8ACAC029B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc444a1bec4f7c55cbe2eee1d14d89dbf7c1cac8","datavalue":{"value":{"entity-type":"item","numeric-id":3452253,"id":"Q3452253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$46D9A6C3-5FFF-470C-AD96-8021FDA34DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574b6ddda0bad034428bdfbc84a61f9b3f3a3c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5472909,"id":"Q5472909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$57ED5934-12AB-4F72-B8E2-62559A698FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab98f9144c6732b53f94131308e4bb8bf4b801b","datavalue":{"value":{"entity-type":"item","numeric-id":2704324,"id":"Q2704324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$0CABBBC8-4F67-4B4B-950B-66F38A6060B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce92c481582263d6eb421db36b7cdc6499db959e","datavalue":{"value":{"entity-type":"item","numeric-id":3591407,"id":"Q3591407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$57AC474E-1A81-4805-9B0A-F47CC31FBFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$8C5B6B74-5084-4619-A04B-E7EDC693FE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$DD2D5628-6FA2-4D7C-89DD-FD280BC4AD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01ca5b15c47313f7b671862581171333a66b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5713333,"id":"Q5713333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$83DA1249-47BB-4B4E-96D3-16A69F488E34","rank":"normal"},{"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":"Q2464947$EBEFDF02-D7DC-45D0-9658-6FE1EAD9BDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$3B82567E-DB9D-4E07-99AF-11E1329E32B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca72a0564a2ebb81ca6baa8186197d16caac311","datavalue":{"value":{"entity-type":"item","numeric-id":5899007,"id":"Q5899007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$2423269F-2B14-4A89-9C87-1FC389082A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$9F002DE7-7C04-4DEB-BDB5-50AF6C24BEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99f40b0b2d622ac0a1c1914f5fa2269832233f0","datavalue":{"value":{"entity-type":"item","numeric-id":2949199,"id":"Q2949199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$440230B3-A461-43CD-B8CF-4A0F5E1E76D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba580116a4f7ad65b76e0471fa738ccd5feb2044","datavalue":{"value":{"entity-type":"item","numeric-id":4236759,"id":"Q4236759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$69BC27EB-8A07-4D7A-BA19-7669958B554D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1973cb42dae13c11d40464fda9c7ae89dd1360f","datavalue":{"value":{"entity-type":"item","numeric-id":4705620,"id":"Q4705620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$CE13B607-D29A-4BB1-8B27-0058AA5B2BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e664f7904f880be5828017e4e2b0d35dc97abdff","datavalue":{"value":{"entity-type":"item","numeric-id":2949187,"id":"Q2949187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$E4D24FE1-F159-4649-B8A6-78187708B573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d081a3183fffc4fc614babec26bb3a44f947b76","datavalue":{"value":{"entity-type":"item","numeric-id":5501473,"id":"Q5501473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464947$8B34C174-97A4-418E-A142-4FFACBBE7BA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0d7ca01895470f466dc5b547cca6b974a866d08","datavalue":{"value":"10.1016/J.TCS.2007.09.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464947$D8CDF049-DC1E-4DA9-A52B-F55FB783C3F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3666f5f41a06b204cfac09cd041d4579d9c1848","datavalue":{"value":{"entity-type":"item","numeric-id":3452253,"id":"Q3452253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac22ad13390965ac70d609a29c1e3fe664375909","datavalue":{"value":{"amount":"+0.8090601563453674","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":"Q2464947$924F8D31-438A-4B12-9EF7-84648AA549F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a0a42ecf1bc9954dfca100d60def37db47fe49f","datavalue":{"value":{"entity-type":"item","numeric-id":5472909,"id":"Q5472909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ebcecece0ae3c838540428a9e740d1de0bb817","datavalue":{"value":{"amount":"+0.8021146655082703","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":"Q2464947$44137906-191F-4941-B36C-6986983C876A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d79a01a22b7d3c0c7bdb205141af19f9cd5aed52","datavalue":{"value":{"entity-type":"item","numeric-id":766167,"id":"Q766167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1611e9638d7d5436048d74ccc81d468027d18a","datavalue":{"value":{"amount":"+0.7753707766532898","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":"Q2464947$2676F57F-5BBB-4E99-A2FD-704E4DF861EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"375787a7d09051c927a086ef702d4e1204039100","datavalue":{"value":{"entity-type":"item","numeric-id":4222926,"id":"Q4222926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543b335e54d4c61faed3bfa8868b39a3aeddc407","datavalue":{"value":{"amount":"+0.7669641971588135","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":"Q2464947$1C55A82B-C701-4340-B822-581182F4F755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c33a0d85284950b77a2a9774beb91bbc035587e4","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf6efec5f5f29e098f9e3ddc8ed2246690cb086","datavalue":{"value":{"amount":"+0.766869306564331","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":"Q2464947$B00B027C-2835-4B17-AFD2-54E3543D949E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Selective strictness and parametricity in structural operational semantics, inequationally","badges":[]}}}}}