{"entities":{"Q1183474":{"pageid":1194223,"ns":120,"title":"Item:Q1183474","lastrevid":66785658,"modified":"2026-04-12T12:50:55Z","type":"item","id":"Q1183474","labels":{"en":{"language":"en","value":"\\(\\tau\\)-bisimulations and full abstraction for refinement of actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33317"}},"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":"Q1183474$352BBE29-464B-4269-9F7B-7B00DFC596DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9e3e80550be1c5c0b2b5dfc8a3056339eac3cc8","datavalue":{"value":{"text":"\\(\\tau\\)-bisimulations and full abstraction for refinement of actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183474$6DCF6554-7993-4208-B4EF-C5F276C4B08C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c178935ac7aa60488086304b4a99dba4f491e44c","datavalue":{"value":"0743.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183474$A404A0BE-BDD9-4CBE-A713-9562505DC515","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a66c3bf8dce17fc03a4841c784744aa1df86a7d","datavalue":{"value":"10.1016/0020-0190(91)90081-R","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183474$6C3FDA3F-E086-4F78-96F2-9EECDFE49D96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183474$D9243948-C247-4589-9E07-7875402678B5","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":"Q1183474$BC05050F-57BB-498A-B2B0-C067EF108612","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-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":"Q1183474$297E5900-E461-4268-9811-A23E785BF9AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183474$DE953E47-F0BF-43C2-84D3-D4152245EEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183474$7390BE8F-C104-47CD-B9EF-1E270E1A837D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2d47c34d11036218edddbc309f54fca066f2f26","datavalue":{"value":"33317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183474$DF41E74B-1FE6-442D-A86D-05983C93249B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183474$EAAA2982-667E-46E2-80A6-CDC2CE338612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183474$83BFB0F1-807C-4DF2-A573-DA53157530EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e90b0019b633f07959266ca0c15f70eaca6ee9","datavalue":{"value":"refinement of actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183474$F2057646-1586-40D4-BD3C-66152715BBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183474$77F8BAB2-D436-4E95-9012-D85F34ED58DD","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":"Q1183474$7BFBD470-CB05-4A5E-A30A-7D8B5F4DE4F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc7f674e134b0d4b291fd6a87d049ca54d21c36","datavalue":{"value":{"entity-type":"item","numeric-id":3204033,"id":"Q3204033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183474$21CB8523-5127-4E64-98AD-496A609E7B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de22009a794e4c840afcc799d53edc162b0101c3","datavalue":{"value":{"entity-type":"item","numeric-id":4036589,"id":"Q4036589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183474$B7738A90-C1A9-4BE7-9635-05135045AA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"188f97c082fce1ef94d55797d1aec36a692b0216","datavalue":{"value":{"entity-type":"item","numeric-id":3761680,"id":"Q3761680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183474$5017400D-7BBE-40D5-838F-CFD2AFBE7FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183474$1B6278D1-2E4C-4DAD-984F-7F1B49516DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e961e3a41aba0c299586df0decbe45224cd9e3","datavalue":{"value":{"entity-type":"item","numeric-id":1193655,"id":"Q1193655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183474$0B47D8E7-7021-4337-8C5A-D68085A6FB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c9b97325196e15821b091871efdab4e43e1736","datavalue":{"value":{"entity-type":"item","numeric-id":3975146,"id":"Q3975146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183474$DA5BAC1B-2EA3-4E45-A82C-F79E02305380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559cfc5c99beab76c0edcbfc995aac83468d7534","datavalue":{"value":{"entity-type":"item","numeric-id":3817589,"id":"Q3817589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183474$7D1AB71D-50AB-46A4-A92E-C56C65756DE6","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":"Q1183474$D63073A3-CE2C-4222-92E4-9B337F6085F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5944b5a6f3eff57c1c73ac2a8925099cba767dfe","datavalue":{"value":{"entity-type":"item","numeric-id":4035680,"id":"Q4035680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183474$CF694032-FFCD-4D8A-8B68-D3560440D245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5bf5927d83ab8103c1013d7aaad1bb82405d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4733394,"id":"Q4733394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183474$39BC1530-D264-4CED-841A-2585C8A59FF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"382f407ee3035aeda4193612da7400b7932dea21","datavalue":{"value":"https://doi.org/10.1016/0020-0190(91)90081-r","type":"string"},"datatype":"url"},"type":"statement","id":"Q1183474$B2E06A41-435D-40AB-8BE4-50E332064FD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01aa1d0ef023133dfcb6be2e9dde72991b19a7ff","datavalue":{"value":"W2000630835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183474$97C05712-0E49-43AC-9E06-7C79F133AF9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\tau\\)-bisimulations and full abstraction for refinement of actions","badges":[]}}}}}