{"entities":{"Q1012125":{"pageid":1013973,"ns":120,"title":"Item:Q1012125","lastrevid":66008721,"modified":"2026-04-12T06:54:56Z","type":"item","id":"Q1012125","labels":{"en":{"language":"en","value":"A congruence rule format for name-passing process calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5543806"}},"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":"Q1012125$2B2F2871-7562-410E-A940-1C615B2AC752","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac7f8358c06c484efc1d426245f3aab0fad511ac","datavalue":{"value":{"text":"A congruence rule format for name-passing process calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1012125$0AC42A18-C816-49B5-A23F-326BDAB15A8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28129b1fc7ca96938e261835041d93713832bcea","datavalue":{"value":"1165.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012125$CE38882D-168C-4870-8C50-433377A4F10C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a180f6b8fbe32ff0de946e58b70ddd0c3edf8524","datavalue":{"value":{"entity-type":"item","numeric-id":265791,"id":"Q265791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$AE3C1496-B7BF-43EF-AA65-C9A0650D97B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9977db334e09ca8242bf594e01c17b98c888abe9","datavalue":{"value":{"entity-type":"item","numeric-id":678838,"id":"Q678838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$D46277D6-F823-4CF4-8BE5-2CE63317EA83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$1C0B8FDB-0C35-4977-BC42-BB264A5A6B54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a70e3fb7efc077ae8b5215707528be5246c293fd","datavalue":{"value":{"time":"+2009-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1012125$890078B1-1151-4CCD-846E-1A2419DE25AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012125$F360BFD5-3E11-4762-B839-8FE1CED6F5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012125$BE5AC522-C3CD-4A97-B519-08B22F8104E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5f3412266c22d774d25c7d54318e7e007fcad0d","datavalue":{"value":"5543806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012125$7B96D90C-25C5-4319-B9F0-3344B72CE41A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78f667b6c625145d6218b1051d1ef814c946291","datavalue":{"value":"nominal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012125$1A05E98B-7F54-4808-91EF-98D5DD06C0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a7e0a74b03a5166850b762676f5eee9e18c8914","datavalue":{"value":"categorical model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012125$57D9DF45-DAC4-446D-A9A9-67D1B6A393E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012125$2AF3C14E-24AB-45BD-953A-FEDCD4C871EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06f1a265a8043bb2fdcd7c5722d9be8d001a6e92","datavalue":{"value":"open bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012125$37B5E532-ACA2-4FF5-83C9-A145BB6E3902","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":"Q1012125$C991961A-23B2-41BC-AD1A-3912129BB69F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71e7f0c439edb9a8733dbeab64f959e1d59862ed","datavalue":{"value":"https://doi.org/10.1016/j.ic.2007.12.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1012125$89CF46F4-7560-477E-9F2E-BAAB46248475","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51bab92170377f53d7c84f95f5725b3ed60489e0","datavalue":{"value":"W2085226568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012125$B4824A1D-DB23-49A1-B60A-C6F14AD09BEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$AAD77B88-DBA8-4B95-B51A-DF33A1A082C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$6F0ED16B-5307-4766-883B-E2F0F65FC16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f829e937e53bde24a395ad933c2db339937707fe","datavalue":{"value":{"entity-type":"item","numeric-id":598191,"id":"Q598191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$BE823606-DE8A-44C5-A0A8-0789DA512CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1743e269f4a473b85e0bafacd688daf4063dec","datavalue":{"value":{"entity-type":"item","numeric-id":1603820,"id":"Q1603820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$D58D2618-73E4-40DF-99E4-26186D4D55D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786f36ff7d6065f2bd6a2efc6fa07650b4214142","datavalue":{"value":{"entity-type":"item","numeric-id":2495643,"id":"Q2495643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$0D255C3E-2B12-4DF8-80E9-E66E17AFD9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ef0293b7d909941669f578e4fe0b01b4cc45fe2","datavalue":{"value":{"entity-type":"item","numeric-id":1273877,"id":"Q1273877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$A5D0298E-7F1D-42E4-82FC-DB4B7995226F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$E6197DD8-F3E1-4D02-BCDE-8E11F23A1A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9210fa9dd2bb3fb16d1c30133c7f9fbae7ba51d","datavalue":{"value":{"entity-type":"item","numeric-id":2847810,"id":"Q2847810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$AA69280C-3F0A-4747-AEC7-36E80A4E7156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3949d3eeacf603520999ad4bcd89e07a2a1eff9b","datavalue":{"value":{"entity-type":"item","numeric-id":5931555,"id":"Q5931555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$CB15CDCC-1A45-4B5C-A43D-6B1A1264E1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$D81B9F0F-66E5-4BB9-899F-BADF558851EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$E166D762-2196-4F32-8742-170C8B2F450D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$0965650F-4022-46B3-960E-D8F86A3604A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$8323C0E6-C547-4832-AA27-AE5AD274A7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$C0794699-0D94-4435-BFBC-C311A5482C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234ca72d36654d00b6e8980f7c7e9a102739c5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2852102,"id":"Q2852102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012125$5A5C8BB0-CA62-46E4-8DF8-8C591ACC566F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1842e59f5b34228d884334314297d9b145eb6c7","datavalue":{"value":"10.1016/J.IC.2007.12.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012125$CDFB6A92-93A5-496F-BA8C-815389553F88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce3c93d008c60e64ef1433f633b9e0e75219c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2852102,"id":"Q2852102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acfad85ce31220cbe1eae918682efb76c8109b39","datavalue":{"value":{"amount":"+0.92002845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012125$E0EE72B7-9B05-4A24-BF5E-8ACFA7BBEC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36c03ae80b24e87edcfffe94a928ffb46195c7a6","datavalue":{"value":{"entity-type":"item","numeric-id":5111622,"id":"Q5111622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca710bbc61dc5c06a741dc96f686ec90ca537558","datavalue":{"value":{"amount":"+0.8689564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012125$ED91819D-D1CF-4189-A17A-FDD7942C0DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d034546bda9f8d6b814073a4a6301b8eb9ecfe85","datavalue":{"value":{"entity-type":"item","numeric-id":4972733,"id":"Q4972733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca710bbc61dc5c06a741dc96f686ec90ca537558","datavalue":{"value":{"amount":"+0.8689564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012125$2A0A1C0E-EA0E-4CC5-AAFD-25B21377C9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcd66914d9cb4cc21aa7ee39a7ca482c5874fec0","datavalue":{"value":{"entity-type":"item","numeric-id":4222918,"id":"Q4222918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e808e6fc54193ef474cc3f6cb51b905776ea9d","datavalue":{"value":{"amount":"+0.8446791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012125$284A307B-FD3A-4100-A020-20D46E138BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a29559e6fcb02f82f69a9128a2791877e5b18c","datavalue":{"value":{"entity-type":"item","numeric-id":2944898,"id":"Q2944898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ff439735e08d247379ab6efd9a21489aee83b2","datavalue":{"value":{"amount":"+0.8421937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012125$F49C992C-462D-4C64-88F6-9B18D41B6EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f24a3d1dfe8595fbcd00ffa70eba95d89eb3a25","datavalue":{"value":{"entity-type":"item","numeric-id":2894570,"id":"Q2894570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2150da13554bdc7a7f8b5c7bd70a1ecb592ee723","datavalue":{"value":{"amount":"+0.8420869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012125$11AAE4C1-ABD7-4398-BEE7-8C4576DB1ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7a52cb12c25444d9b93dc8c091b685c3d8d9b2","datavalue":{"value":{"entity-type":"item","numeric-id":3709873,"id":"Q3709873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ac1476cd69039703e515be45b7c190452570bd","datavalue":{"value":{"amount":"+0.84047353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012125$C85892C0-4E1B-42FF-9644-5321218ECD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a71ac96fe85b7ce8e24902b99b95fef6e53e2cd","datavalue":{"value":{"entity-type":"item","numeric-id":2847808,"id":"Q2847808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36ff0e299b4f4c8456fa372c67a55a3e41a05a6c","datavalue":{"value":{"amount":"+0.8352685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012125$C2481526-FBE3-413C-97DA-BC7728C9C46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8f2bce4fd1fcf3902f8729a96e8d8a7f220cbe4","datavalue":{"value":{"entity-type":"item","numeric-id":2495643,"id":"Q2495643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36ff0e299b4f4c8456fa372c67a55a3e41a05a6c","datavalue":{"value":{"amount":"+0.8352685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012125$BBC46691-F31F-4AF9-9940-FD2F0CA5E17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0f699caaa5adb6f24d9506bfdec9c5de10359de","datavalue":{"value":{"entity-type":"item","numeric-id":2956720,"id":"Q2956720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e2ae61000f1c0e785e9de31b4d1fd47fc97d5e","datavalue":{"value":{"amount":"+0.8277901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012125$4F704F15-774D-417C-B1EA-CC72B798AC9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A congruence rule format for name-passing process calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_congruence_rule_format_for_name-passing_process_calculi"}}}}}