{"entities":{"Q4035257":{"pageid":6064977,"ns":120,"title":"Item:Q4035257","lastrevid":55235677,"modified":"2026-02-05T04:04:14Z","type":"item","id":"Q4035257","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176155"}},"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":"Q4035257$9FE53555-D03D-4465-B3DC-93246540062C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6eb7e0c358239c9e86364c90833863b2b657c187","datavalue":{"value":"0776.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035257$8A4C9CD7-B54A-417A-93B7-1472B79406F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035257$20A9EC53-1935-47D0-9A6A-FB918C899F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72cf230e3fde5ecd81513857d6a2a255a86452d0","datavalue":{"value":{"entity-type":"item","numeric-id":383371,"id":"Q383371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035257$C4894E01-88BA-44F3-B7A9-6F2103CC0C47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4035257$DA770031-60A9-4FCB-B48D-5A915EA4CD39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035257$4FC3D871-00B1-4C2E-A3B0-4BC088FC453E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035257$6C4ED985-41BD-46CA-A1B6-3BF5F4048A30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67a0c5392afb8e7f55ea96b9cd6524b92c9c571e","datavalue":{"value":"176155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035257$AB4229D6-866D-4E63-87B5-8432A2AD6E24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b07572d6aa95efe75578abe4dd852c87c7b05e0","datavalue":{"value":"behavioural equivalence for CCS agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035257$626D99DF-1DBE-466D-B96F-11DB6CA51C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea13d5906b98e6cd038e19c0d030223a590e5f43","datavalue":{"value":"dynamic observational congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035257$8A354A1F-6E44-4A43-A44A-3088609D7E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad91a4a96857d91110335713b0029544794f19e4","datavalue":{"value":"equivalence for concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035257$04730750-D420-4AC8-A5EE-60783312A964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cde7430d05a0cc1f761470767ba2ddc16a8551c","datavalue":{"value":"finality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035257$BFF095EB-60B6-4DAC-9C57-CB312F34D51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90d91f8b45f9321dfe77e15a18139b57ec3d86be","datavalue":{"value":"processing bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035257$8289C741-5953-4B85-99F4-E87E911C410D","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":"Q4035257$45C60EE5-61B7-4390-853C-F0F89ABCA82C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45070ca74fdc6c8018a6e6c9269dfbb8f036d787","datavalue":{"value":{"entity-type":"item","numeric-id":4018066,"id":"Q4018066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e10c200094d2c4620a8ef9c5add2f8ae38866be8","datavalue":{"value":{"amount":"+0.9800817966461182","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":"Q4035257$3423D16F-ADEE-40BF-8215-CC9E3A5BB331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e850e799d86e031a95a8801dc00497e33acf0d5","datavalue":{"value":{"entity-type":"item","numeric-id":5307950,"id":"Q5307950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd167b89fbb184a00d0a89a2d0a3ab0ff9dfba3","datavalue":{"value":{"amount":"+0.979901909828186","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":"Q4035257$1B82AE47-8D30-43AD-8975-EFAC98554C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c30e56a722459c83d9a72a334a0afab1a75013c","datavalue":{"value":{"entity-type":"item","numeric-id":3474903,"id":"Q3474903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045a35612ba380278e32b7ab79a2443c6d784047","datavalue":{"value":{"amount":"+0.7872441411018372","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":"Q4035257$B12FCE48-B5EE-45F4-85E4-2D9899FABE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93669e5d81f11047f46e6c5e573f3014b9b7238b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc5d368948057a17dd41341a538699ea661f6e8d","datavalue":{"value":{"amount":"+0.7524763941764832","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":"Q4035257$134251B6-A610-426B-A66D-C8C3EF8A56F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d890bb055f04b9498e0837e718147b2383b2a51","datavalue":{"value":{"entity-type":"item","numeric-id":3750113,"id":"Q3750113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ea1144031427cab506f1f0ee8439e955379ec4a","datavalue":{"value":{"amount":"+0.7457246780395508","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":"Q4035257$1963AE25-EDB5-4AC3-84EE-577B87E0A18A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4035257","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4035257"}}}}}