{"entities":{"Q673974":{"pageid":675823,"ns":120,"title":"Item:Q673974","lastrevid":46768173,"modified":"2025-12-25T13:36:09Z","type":"item","id":"Q673974","labels":{"en":{"language":"en","value":"Deciding observational congruence of finite-state CCS expressions by rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985866"}},"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":"Q673974$FCC4A699-02EE-4B37-8CF1-C0E679DE15AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7985bace7853a3ba340686f46bc3c0aea04b2f9a","datavalue":{"value":{"text":"Deciding observational congruence of finite-state CCS expressions by rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673974$FFE74A6E-746B-4C9E-88E5-E4580B636A12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00bcb7a9768b586641722190bd7b238fd3401951","datavalue":{"value":"0874.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673974$3B9F656D-8069-4E86-8969-B53F0D9E3F65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b640d57a2324b226f245c8b858a142b040eebde","datavalue":{"value":"10.1016/0304-3975(94)00074-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673974$C88C2B9E-C86F-49C9-8B2D-467F12EE07DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f900f77ef10c59a03f069c5af5579652c6549dc","datavalue":{"value":{"entity-type":"item","numeric-id":672233,"id":"Q672233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$506755DE-59CE-44E6-AAFC-643D11AE85D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ee4c8c1a79b9afc061b0d6b7a179857b6ef91ec","datavalue":{"value":{"entity-type":"item","numeric-id":672234,"id":"Q672234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$9452667A-D43B-47D6-9A60-690B51CEB36A","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":"Q673974$5838953C-6CCB-4079-A99F-2B1E2E7E17BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673974$CCD395F3-06EE-4537-A53B-EF78F30963BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673974$B9CAC3EB-6153-448F-B65E-53336FF3B970","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d318d10b739c8899c0814423bd5f8f0674d4704e","datavalue":{"value":"985866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673974$FA04A52A-875B-4E5E-99DA-A050AD07B2F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q673974$75A0146A-CBCF-455F-9362-E7E06D104313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb40f7878b4527d4c53767e09032ea1fd163e77c","datavalue":{"value":"observational congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q673974$A783B1F0-93EE-4625-BC69-454B194FA300","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":"Q673974$809EE83C-04A7-48BE-BB9A-C3FD73E54B21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"697b932bff0b79fd91bb393dff8d0ad161e0b8fa","datavalue":{"value":{"entity-type":"item","numeric-id":3792231,"id":"Q3792231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$7CF72BD4-975E-46EC-A748-18E452D23EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437e339c0f52b065b7629f93e04f820bac86e415","datavalue":{"value":{"entity-type":"item","numeric-id":4772711,"id":"Q4772711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$8965019D-E6BF-4D96-9154-FB97083BA0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$5214C03A-6212-4152-A0D6-2BDEDCF933B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$1D9723BC-4E6F-4247-9420-92D8F8004B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ad064fde7b4ac14829e7ebd920d2c935ccfa38","datavalue":{"value":{"entity-type":"item","numeric-id":3970984,"id":"Q3970984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$94541908-B2E2-4DE6-A6AF-CCE98F02ECD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79479be3f78950fdebc8d6458730d52e0552f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1176247,"id":"Q1176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$7F047B19-8D0C-42ED-89AA-E26E7B8D3B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$DADC29FD-BF53-48DD-A80C-D3C333900900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9794a0752dfe6e6ee4785dd05a0ab17c6b8c9a11","datavalue":{"value":{"entity-type":"item","numeric-id":3490967,"id":"Q3490967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$47CF252E-97F3-4A52-9A25-6BDFAA54D952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1c59338f55ea4dcdea0f9c47d695d90310e4db","datavalue":{"value":{"entity-type":"item","numeric-id":915472,"id":"Q915472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$216E0BDB-9C4E-4316-A2CE-4E9314BFDB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f9a982fb123f5043a9bcd1ef118fe2229af2d13","datavalue":{"value":{"entity-type":"item","numeric-id":4035244,"id":"Q4035244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$519F3EAE-6A0E-4353-8986-62E0943DD5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e41f66d950376244d6af021137259b1fd9dfb542","datavalue":{"value":{"entity-type":"item","numeric-id":4005177,"id":"Q4005177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$AE39270E-3EBB-43C9-8FB5-4174C055355E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$0A4EB2F9-7751-44E4-A15F-05C277C11191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$CBA23904-84F9-491C-B449-476B35A18D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7218fb4217aac67a16394ff1ca6cf143809e636","datavalue":{"value":{"entity-type":"item","numeric-id":3750114,"id":"Q3750114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$EC988F84-E80D-4E28-A33E-34DDC249144A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$2D1389EA-34B5-44ED-B37C-CD9BFE771E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$09C27504-DBDD-4E3D-9B2B-22107A67E98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c07a9783960669927d7d9ecaf255b90eae1bb4","datavalue":{"value":{"entity-type":"item","numeric-id":751295,"id":"Q751295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$A1ED2B37-E66D-4667-B3BD-5B371AA42A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673974$B077B839-25A1-4206-86B1-82552A6C411C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ff446eabaa5d4f63a501df6942bba3613756c5a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00074-s","type":"string"},"datatype":"url"},"type":"statement","id":"Q673974$661E7CDC-EF05-4541-9C83-7940BB873490","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c33d3f5e4c4b470f2f843cb67e8361945b030c2e","datavalue":{"value":"W2006283215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673974$380C0CC7-D644-4C78-945F-BC4B5CFF8A21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b655b702113265b100f3d7bdb3d36419137a329","datavalue":{"value":{"entity-type":"item","numeric-id":915472,"id":"Q915472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdfe56a1ecd8d1d79ba5c201e83d1acaedbe2496","datavalue":{"value":{"amount":"+0.8643233180046082","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":"Q673974$9CEF1AEF-5834-4FC9-A904-9AA6B86B2D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca64d8b705b092d78c5bc10ef60ad2b2305d01e","datavalue":{"value":{"entity-type":"item","numeric-id":3343432,"id":"Q3343432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c59624edfc57498dea8a6e991df209f5d7a7f4","datavalue":{"value":{"amount":"+0.7608979344367981","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":"Q673974$21F41778-EB03-4A7D-BBFD-3323B856A773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7a01e39d09d17e42d1a73363c7547848e5ca00","datavalue":{"value":{"entity-type":"item","numeric-id":3719814,"id":"Q3719814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d6ad6332fbc592aeedabc9acf0ee137bb7434c","datavalue":{"value":{"amount":"+0.7584033012390137","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":"Q673974$FE9A8CF6-5824-4011-B47D-1280F2741202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d847ab10c890ec5ca9b471f950f46d8e8e218e","datavalue":{"value":{"entity-type":"item","numeric-id":2894572,"id":"Q2894572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed78a9cd68bc0cc979d522a71fb7502918b9faa","datavalue":{"value":{"amount":"+0.754825234413147","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":"Q673974$F4578754-2B09-47F9-B000-BD7AF574BB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516bd943972c6cbd6b22be160d797dc7e9735399","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbbdd1da0f90141a4dae852bbe9b8823617ff932","datavalue":{"value":{"amount":"+0.7427070140838623","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":"Q673974$A2A428DD-7DAB-486E-A3A5-D2C492342A34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:673974","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:673974"}}}}}