{"entities":{"Q1607118":{"pageid":1617858,"ns":120,"title":"Item:Q1607118","lastrevid":67975821,"modified":"2026-04-12T20:36:05Z","type":"item","id":"Q1607118","labels":{"en":{"language":"en","value":"Equivalence of recursive specifications in process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1771813"}},"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":"Q1607118$57719100-CBA5-42AF-AFFE-1D9161739DF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dcb358d1c431786e071e126340fbce608eae262","datavalue":{"value":{"text":"Equivalence of recursive specifications in process algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1607118$D1A6CB61-913A-4673-9FF4-8B01BFA0A52E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cab6ef0c9f67d746cdf36b889c65205b9ce53a18","datavalue":{"value":"1003.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607118$C78A5419-62C8-4122-9132-624CCDFA6060","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69422bbab16d061969ca5a4a39111a483a6ee102","datavalue":{"value":"10.1016/S0020-0190(01)00218-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607118$180A96EF-CE02-4AB0-819D-CC188A0A1FE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9602bef9505b2e60be78a89c5c30dfa6fcd5c5d","datavalue":{"value":{"entity-type":"item","numeric-id":190307,"id":"Q190307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607118$6C262D41-1CD7-4E05-AED6-6A4DB764F870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8895b11f6cd82fecf74f7b4ae0d102c0bb8034d3","datavalue":{"value":{"entity-type":"item","numeric-id":1347989,"id":"Q1347989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607118$5860AE8C-D16D-4534-9A88-45ED4AB3652A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607118$912429BA-EFE0-4A44-8087-5523B9E73310","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da39a7fd1a76a539516fc1c6fcfdf3ed355f9814","datavalue":{"value":{"time":"+2002-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1607118$82586B90-A6D8-4B3A-BF8E-41E650A7A1CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607118$3265F828-10D3-4342-8DD6-61FECE83A546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607118$CDCD2E21-53C0-44AA-BF36-823DAA771AA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f6e0cecbab532343536ce7ff6760aa142eb2d77","datavalue":{"value":"1771813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607118$F84C780A-F64D-4EA9-9A98-BA2931CD5CC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8438d7c6e02cf39ae682214a0daa26e6c6c5213f","datavalue":{"value":"recursive specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607118$E5A13B98-3BDD-4324-A804-5FD624711A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607118$CAD1280B-5250-4465-AD9F-E0A372BA4D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607118$6FDB4461-194A-48C3-939B-DEF69E9CDF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12e99829f8488e21da70152261ff81176f341bae","datavalue":{"value":"\\(\\mu\\)CRL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607118$7878209B-E8A5-4164-9F1E-05E0D320CFF1","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":"Q1607118$88EB07A3-11F0-44DE-A90F-F160DE65D0DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a5fb5fbffea037d21a74110d86acc10df1cb367","datavalue":{"value":{"entity-type":"item","numeric-id":1090103,"id":"Q1090103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607118$CF85670C-1183-4F39-A0D1-E3C5741546E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607118$A9CDA7EB-DC82-4B8D-A247-62107CEA64D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11558e4235db65e5cad799e4fc5444b534e3dbcf","datavalue":{"value":{"entity-type":"item","numeric-id":1098617,"id":"Q1098617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607118$AA324B48-1592-49F8-AD03-50863CA2DA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0ad1cced0b430191c4bc3b4c9a2082c3c31ff6","datavalue":{"value":{"entity-type":"item","numeric-id":4525274,"id":"Q4525274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607118$7741119A-881F-4261-8CB4-5F71684E6558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de0c47aac54d255781a3e64af689d25e678b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1098322,"id":"Q1098322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607118$8EF1DB3B-E068-4EC5-88B6-9B42A6404F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394b8c226c40fd2922be160802e4522fb7abf6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4385535,"id":"Q4385535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607118$9FC72628-BDE9-4D49-BFB1-51F8E1A03339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607118$759623BD-DD6F-46A4-BC32-807C0D78014E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607118$EED4CD79-E0FD-402A-8D23-2AEC462A2A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e24fb73f0334e94937043851c5cd1e51e395fccb","datavalue":{"value":{"entity-type":"item","numeric-id":4312484,"id":"Q4312484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607118$0EAD8C6C-1355-4551-B4A6-17ED87147C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12773d3f7af80842ad6150da90dfaf1db162137f","datavalue":{"value":{"entity-type":"item","numeric-id":5946027,"id":"Q5946027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607118$5AFF8496-1F60-41D9-8E02-28ADC808485A","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":"Q1607118$BCFA92F8-CD42-4A70-B58B-44FCC1F450ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607118$0F6E4203-373E-410A-A9A9-8224A43513AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a74f2cda8b1d845605011ff2e675f06d6e480e5","datavalue":{"value":{"entity-type":"item","numeric-id":751295,"id":"Q751295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7c897e2788d5bdc31dfe9c2bdd456dfde01154","datavalue":{"value":{"amount":"+0.7567620277404785","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":"Q1607118$103FAD31-22A4-4189-BD99-E0C40C6F92D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f42e7838d2a090150c26a588bc7e7673c6fe88b","datavalue":{"value":{"entity-type":"item","numeric-id":5958778,"id":"Q5958778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb0506d10e54301e8cc1d604df3480d50eed459","datavalue":{"value":{"amount":"+0.7450188398361206","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":"Q1607118$FB12C990-E3DE-4F15-AB78-A8D45A3FAA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c65ec27dc3cd3656b9ab0f6ed949dc271f2fb6","datavalue":{"value":{"entity-type":"item","numeric-id":3838763,"id":"Q3838763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ed0847880a9a656e39958958ea6e833c4702d5","datavalue":{"value":{"amount":"+0.7447956204414368","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":"Q1607118$4FE43E12-0EAD-4856-B0F1-50549FC0D798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e475be0ffc34429b0bc25aad612959fb2631fe","datavalue":{"value":{"entity-type":"item","numeric-id":5402543,"id":"Q5402543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13df95ed31d160d759afe515ce06ad0d468d0b9e","datavalue":{"value":{"amount":"+0.7303656935691833","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":"Q1607118$2DCD0AB7-700D-4C44-9D6F-13B43918D342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48190235d8db691a5ddaf9c7b810915141ade9b3","datavalue":{"value":{"entity-type":"item","numeric-id":5186720,"id":"Q5186720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b0c2ed940b0e6d16a13e07da9a9f973d818fa3d","datavalue":{"value":{"amount":"+0.7251754999160767","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":"Q1607118$58B27116-A7AD-41B5-82AB-F99ED0B0DC05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalence of recursive specifications in process algebra","badges":[]}}}}}