{"entities":{"Q436408":{"pageid":438175,"ns":120,"title":"Item:Q436408","lastrevid":51516671,"modified":"2026-01-18T14:35:45Z","type":"item","id":"Q436408","labels":{"en":{"language":"en","value":"Sequential and distributed on-the-fly computation of weak tau-confluence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059157"}},"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":"Q436408$BB20A22A-D914-49F1-917F-A993EB2772C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea2b125fac74d0559dcb5fe8c4df4fe6bd159883","datavalue":{"value":{"text":"Sequential and distributed on-the-fly computation of weak tau-confluence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436408$BE0727C4-BA83-4B4A-8609-8F9F3D7B6BD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0d9c3ce96d67c17361ab951f8d5f59e47a4a48e","datavalue":{"value":"1243.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436408$7DA529FA-F27D-4776-979C-5D33EBFD928B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02c329ce73cf2cf05208eaecb8501cfdd9b30fb6","datavalue":{"value":{"entity-type":"item","numeric-id":282109,"id":"Q282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$E4FBA8BA-45D9-44B4-B2C6-399147DD49E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d5d00eac1f438bf35313cb9f725536972f2da5","datavalue":{"value":{"entity-type":"item","numeric-id":436407,"id":"Q436407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$257A251F-4015-45FA-9ADF-35CC5F047AD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$6606071B-3E5C-4BC4-BB94-CF4E5541313C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-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":"Q436408$D0860164-B7CE-4E28-BE7F-0430532BA7DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436408$6F021C77-E234-4216-BBA6-513601AE21A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436408$002E92B9-4535-4409-BA41-4BC34C33B82B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5725b72a6dc7206a072dd14eabef03b9655732d","datavalue":{"value":"6059157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436408$CC348897-FA34-4D29-A887-925BF9F13796","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22290e15bf1c1d350bd7d72c46338942a3df2630","datavalue":{"value":"Boolean equation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q436408$C290E0B3-83D2-4A9B-A7C6-4E6CE9EFE05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcb6c6a7e0b4c9bdfdd4689583b799e2a826f4","datavalue":{"value":"branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q436408$AD7EC309-A6F6-4635-A748-7E8C6D7436F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2496691daf8dd1c24f52f78fb5ff215d44fc935d","datavalue":{"value":"labelled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q436408$18F44981-C989-4D53-B838-37349605CD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q436408$0DC037A6-7A7B-4E92-B668-CC2F88D2E48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85ab4a0962672ec037d9b9a36950051568788b22","datavalue":{"value":"on-the-fly verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q436408$95D681D6-F507-4BB8-905B-76D8D2F75DD6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$22A3ED4E-BB32-49AD-B3D4-DFC7FAE51221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$C8491DFB-A830-4CA9-A820-5435DC90D869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76fd75bdf0976a0e4ed41326843ac8e5ceb2869b","datavalue":{"value":{"entity-type":"item","numeric-id":22161,"id":"Q22161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$D7E47FF7-ABFA-471E-AD27-3D05AC5269AD","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":"Q436408$CCC41D86-CFC7-4D1D-9DD5-3CF8AA61ABB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e83bd86a215427961a457a75f459a24a3b7ed194","datavalue":{"value":"https://doi.org/10.1016/j.scico.2011.07.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q436408$46834399-4E77-4373-A3BD-1AC29BC8FC2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb769ba2cae13f1227a410f52cd9534f65b707f2","datavalue":{"value":"W2085384028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436408$9F5A75C6-8ABB-4887-BCBC-39B760C98B4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89136b2861aee80a28bb632c30d89c0ce71953da","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$71CF481F-723F-438C-8B54-3F5777DEF5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6720ea54e8d7bda1f526d6d3b9396cc0b55a891","datavalue":{"value":{"entity-type":"item","numeric-id":1115196,"id":"Q1115196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$BA74105A-24B7-4491-9161-0BF4F9D6850A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23b6e54a49f6404b1becb9f5148a66c34076cb9","datavalue":{"value":{"entity-type":"item","numeric-id":4806211,"id":"Q4806211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$E278F53E-5C19-47B5-8D3F-502013A25655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb3bc401d695a78ac765747e1cd4c7f557aaf50","datavalue":{"value":{"entity-type":"item","numeric-id":4547772,"id":"Q4547772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$84445716-0595-406E-B2D8-FA577335B2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c36383496e7d483bbf8207867dbc32c25e98d9a","datavalue":{"value":{"entity-type":"item","numeric-id":1856171,"id":"Q1856171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$73C83B19-D3DE-422B-9605-ABB95D871ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d04efe2bb7a3ba846d8362c8253576775f83a3","datavalue":{"value":{"entity-type":"item","numeric-id":3000666,"id":"Q3000666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$4FB7B2EF-816A-47AE-97CB-D85F02211571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71de609ff45fda59e00d0de57593961b4ccdadc","datavalue":{"value":{"entity-type":"item","numeric-id":4037108,"id":"Q4037108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$4B86142B-21B9-4260-A94A-F90F77461A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a2d2ccbe3717c1f19a1f0e568b05d6336ca15e1","datavalue":{"value":{"entity-type":"item","numeric-id":4536374,"id":"Q4536374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$05441559-390D-4E4F-A2BB-E7708292084B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01bb998e3eedfd5bc48772810588c75ec6838ed","datavalue":{"value":{"entity-type":"item","numeric-id":672042,"id":"Q672042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$3AC5D94C-BF8F-406F-8739-FE50D63061F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$5876E541-854F-4E5B-8BA1-ACC27DE736C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48002226a1cb38c03e7106f718a28a86e13a345","datavalue":{"value":{"entity-type":"item","numeric-id":4518897,"id":"Q4518897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$811B2EF8-3DC4-4C08-9C09-085EE64FC2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad737a5c5987d428a8ca90278b0e43f2eaa2b701","datavalue":{"value":{"entity-type":"item","numeric-id":1870865,"id":"Q1870865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$3E7E8DC8-14CE-4CF0-B19A-2DEB669900E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccaaa363791d58ebf5c7296e72c1f94e6693e837","datavalue":{"value":{"entity-type":"item","numeric-id":5900705,"id":"Q5900705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$1D2DA27C-87D3-4612-9392-C21BB0211D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2643725998647ea0efb48c4d6d5b6e915dfb0f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5943259,"id":"Q5943259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$C8A8B49C-48B4-48F4-93A3-D4DFE8459816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$7CD810C6-92F2-4FBF-B7E2-6DE0E0DCF075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$7B82AF30-DA97-496C-87F1-34BBA07C0D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ab1a19779388585ffbb2851a4a5b7199c972c8","datavalue":{"value":{"entity-type":"item","numeric-id":1575263,"id":"Q1575263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436408$591CF09C-7362-4B15-8BD4-0E6EFE243C9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d4459c2fb09560c792d4a62a9d246d0e0d98520","datavalue":{"value":"10.1016/J.SCICO.2011.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436408$8F5254DB-9942-4D15-842F-933A372F9EAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"124464a87d15ccda2f76a80ca7b13e813f2443c7","datavalue":{"value":{"entity-type":"item","numeric-id":5900705,"id":"Q5900705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07742c3cb35199975e4c2c49a5e19f2d70f1e85","datavalue":{"value":{"amount":"+0.8332956433296204","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":"Q436408$E67A7E69-AD5B-4665-80D9-DFEC956A10CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a869d7bba5b398b20a3fb2403c7d75ecd928d7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4536374,"id":"Q4536374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71634f60ce973ffec40ea07031c41a132fd87098","datavalue":{"value":{"amount":"+0.8126925826072693","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":"Q436408$BE85A2B2-D16E-4146-8B47-ADA11E528EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627ba4387f742c5d23b1be138dcc40a489b1369c","datavalue":{"value":{"entity-type":"item","numeric-id":4806211,"id":"Q4806211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e279be13dfac2ef14eb9b97d85729fe7eac7c8","datavalue":{"value":{"amount":"+0.7623271942138672","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":"Q436408$00BE4C62-E73E-4641-8ED6-7AA001221443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b36b35e641e84838cd5d067bfc59246c690f4f3","datavalue":{"value":{"entity-type":"item","numeric-id":672042,"id":"Q672042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b2c540d1aac92cd68ea5f4f6b50ff6e4eae7e4b","datavalue":{"value":{"amount":"+0.7124704718589783","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":"Q436408$D2C502E1-1852-4FE4-A8EE-C0F6B165AC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec6470d6e28d08af66ca489f63b2de2d99c9d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1391753,"id":"Q1391753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd6c25e54189d1d051bd7d5604d8a99bafc4adfb","datavalue":{"value":{"amount":"+0.6929501891136169","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":"Q436408$5A00D553-862E-4906-A85A-33CEB7997648","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:436408","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:436408"}}}}}