{"entities":{"Q2867902":{"pageid":2878622,"ns":120,"title":"Item:Q2867902","lastrevid":51894791,"modified":"2026-01-20T12:05:19Z","type":"item","id":"Q2867902","labels":{"en":{"language":"en","value":"Observational equivalence for the interaction combinators and internal separation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241718"}},"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":"Q2867902$E5AFFC88-ADBF-4B39-BE04-746F10B45CEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9923f650f1d7e8f07b8326c976f175689c0c078e","datavalue":{"value":"1278.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867902$2C8D633F-15C4-40CC-9102-E778D72D1DF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a303dc6c6ba96a46337e1d0e93092448decb04b","datavalue":{"value":{"entity-type":"item","numeric-id":1044840,"id":"Q1044840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867902$0E1DEB53-714E-4C2E-81A1-9C1103F8DB1F","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":"Q2867902$EDB26E5F-9135-449D-8269-2159BDD44FD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-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":"Q2867902$2CB5EB64-EF8B-488C-AFED-F954D73EE814","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867902$C5C7C934-CA6E-4791-A908-1EB640CFE9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867902$94F97734-B321-430A-A33D-72C745A131FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867902$1B2C8A64-1D2D-484F-89BF-3B1387616005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867902$0A9F10C5-B10C-4E83-A1C9-F6949B9AFC47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"608c247ebadd67d44d1616aec9c843224668826a","datavalue":{"value":"6241718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867902$C8B053C0-96D9-448A-BACB-72A6C1AC3DF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08d3f33dba07f2ecf13943d6d4dff8b86dbe50f9","datavalue":{"value":"interaction nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867902$7DF1F258-131E-4C4F-8E13-D1A51D0F740B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"320fef4f4f6c13aa8277ce26c34dfd6f1cb4ac3b","datavalue":{"value":"interaction combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867902$EB3FDBFC-22FB-4E4C-92CC-EF819C90D401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867902$51D63E25-85E5-4005-BBD9-0C0100B7F4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e756af6eb493690927b9d4eece36b5db01082a6a","datavalue":{"value":"internal separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867902$D7AC2E59-FDAF-49FB-8649-BD1A25539B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6413b877eae48c16ba966fd4b98a92f140b7e9ad","datavalue":{"value":"B\u00f6hm's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867902$5171E2AD-4850-44FE-AC56-579234CA0A3A","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":"Q2867902$58B289F7-468F-459E-B342-629125BE9E0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f1b7f3bdee192a6e845c5e27e801172b2d1ded8","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.10.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867902$F9E232E7-6DD2-4C8A-A5A9-81B2C3E75128","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf6e574c1a860293ff46dfbc1e698288eb9ff485","datavalue":{"value":"W2064276662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867902$5BCADAC5-12DE-45C6-AED7-F088C54ECE76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867902$A035EE32-6CB6-4172-8C46-F3441085A199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb9e1d8ac47b2da5172822d140197006c8b55fe","datavalue":{"value":{"entity-type":"item","numeric-id":4842980,"id":"Q4842980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867902$F6714A60-8B4A-4A80-BE67-0341EF2EB165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6282e1a9ca99cb98082da440944b04c4c206ab78","datavalue":{"value":{"entity-type":"item","numeric-id":1401297,"id":"Q1401297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867902$60DD09E8-1B56-4A7E-B3C3-8A5BB9F6C6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867902$E4AE223B-5920-4C4D-8BA6-C6D9F7A43A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46547e73c4384ee7abaa2b5b9f48db501cfa8b62","datavalue":{"value":{"entity-type":"item","numeric-id":1368381,"id":"Q1368381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867902$91B693E0-DFE1-420F-AEE5-71DD6341281D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5b5400e2e9c072c15206e9fb80d8f0f14964e5c","datavalue":{"value":"10.1016/J.ENTCS.2006.10.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867902$DAC8CBAC-B241-4288-B9C9-3CF77D7BC605","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"982de45bb190cf1e0bd9192f15f09970ef294246","datavalue":{"value":{"text":"Observational equivalence for the interaction combinators and internal separation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867902$461BDFCD-2042-4C5A-836B-ABA6D5CCD90A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ee3603b039ae6901c15f6fd2f81999f6307594f","datavalue":{"value":{"entity-type":"item","numeric-id":3401141,"id":"Q3401141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32acc621d418d4ce41f174fc22ccf823f55f232b","datavalue":{"value":{"amount":"+0.8196356892585754","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":"Q2867902$D35BD8D3-4C74-40A1-BCDE-A43F04F64D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa8e3c70135666d49cc927ff509520c99ccc4594","datavalue":{"value":{"entity-type":"item","numeric-id":3612639,"id":"Q3612639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d62aaf571b81cc6bee9331be9bca751823eb06f","datavalue":{"value":{"amount":"+0.7623915672302246","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":"Q2867902$07C4B37F-58B6-4677-BB0D-E5A4E091F676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"304a6965516acd233825c6b42aca27cc97285809","datavalue":{"value":{"entity-type":"item","numeric-id":1401297,"id":"Q1401297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16bd474d2eb22ecf973b0891bea63c66a470701","datavalue":{"value":{"amount":"+0.7467759847640991","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":"Q2867902$FFB5FFCC-DD89-4E3C-9049-6ECF71FA7762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab10b24be216a05f8c083b458a26eb416822e18","datavalue":{"value":{"entity-type":"item","numeric-id":3498483,"id":"Q3498483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95314d30c1343cde366a003cf06bcfc91443cf19","datavalue":{"value":{"amount":"+0.7304372191429138","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":"Q2867902$0B667ECD-3917-4970-AD86-1D26DDA61AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f176c942cf27e3d294c17277d98f39de75383689","datavalue":{"value":{"entity-type":"item","numeric-id":4508401,"id":"Q4508401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0d6a642b1ec0250e07bcdebd78879c7b72f7d2b","datavalue":{"value":{"amount":"+0.7292271256446838","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":"Q2867902$EAABDFCF-F7C2-4991-AA3E-04F91358F6F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867902"}}}}}