{"entities":{"Q4349577":{"pageid":6379176,"ns":120,"title":"Item:Q4349577","lastrevid":46508784,"modified":"2025-12-24T22:43:20Z","type":"item","id":"Q4349577","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1051237"}},"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":"Q4349577$66823B8A-6C06-4BC4-A472-A13FCCA77BD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"256faaaa10ba44677a7d0395b51555d91361e474","datavalue":{"value":"0883.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4349577$F4712084-3389-49B2-A2B5-5D6D36D92288","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f3f50a2df76583551f805ad5b16c67660199dd1","datavalue":{"value":{"time":"+1998-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4349577$32A68479-2D8C-4EDB-952C-B5F2AFACFC3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4349577$BD356251-0BCB-447E-AB17-A559D6A67E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4349577$E140B67C-5A89-4304-9799-DB6E5449AADD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12c3df48e34c2646b56313640b28ae3658764f1e","datavalue":{"value":"1051237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4349577$206C2236-5A18-480C-8A2F-F68202BF5708","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b544ed6ba7d0ec1594e424df4bb6348d1a760bb","datavalue":{"value":"\\(ST\\)-bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4349577$D290E798-8B65-43C9-B448-DFCD3A31EE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e91b9bf9ea108d09e9cc2747f4b81e6243f059f5","datavalue":{"value":"non-interleaving equivalences over processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4349577$269D521C-55E8-485E-A9DA-2D49F359E361","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e179f590010c68d8be619e811864654d9ef1ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2327486,"id":"Q2327486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4349577$F448E8FD-6F1B-4458-9AA7-88AFEEA0BB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4349577$1D90D910-515F-4A18-9887-013A69C4D50D","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":"Q4349577$04378703-65B0-4F4E-99A0-E7EC16ED94FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881af164b8055a21072d30f286243476fa951fb7","datavalue":{"value":{"entity-type":"item","numeric-id":4490743,"id":"Q4490743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399f36f5395853524b5cc841c55b8b1a3f02b656","datavalue":{"value":{"amount":"+0.8373992443084717","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":"Q4349577$4BB63C13-CA54-4C93-B346-C4D4AF58D393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bbd39332860fb1cd9b93e0c14dd5f1f8a05ff9b","datavalue":{"value":{"entity-type":"item","numeric-id":4633177,"id":"Q4633177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e23565e9eeddce9db745006effdc19f297097c","datavalue":{"value":{"amount":"+0.8365053534507751","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":"Q4349577$616DCF9F-2AD1-487B-8DB6-37071D97BA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d644fc0843206e5e0bf695eeab04b4e7645369d4","datavalue":{"value":{"entity-type":"item","numeric-id":1049404,"id":"Q1049404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86368b2e9525dc712c2e88831f97cce8f6dbbdf8","datavalue":{"value":{"amount":"+0.8211371302604675","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":"Q4349577$FDB88E82-F1A6-4695-BF55-8342480EE0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d89aff16db31ec39cbaa3761ad188aa6303723a","datavalue":{"value":{"entity-type":"item","numeric-id":1342523,"id":"Q1342523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2243789dd83601d03278bfe81f9792dab54f998","datavalue":{"value":{"amount":"+0.8079806566238403","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":"Q4349577$054CB9F5-2001-455B-99E0-CFE765E042E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4349577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4349577"}}}}}