{"entities":{"Q3753475":{"pageid":5783381,"ns":120,"title":"Item:Q3753475","lastrevid":51726593,"modified":"2026-01-19T17:21:05Z","type":"item","id":"Q3753475","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3990852"}},"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":"Q3753475$7C0B1325-012D-48F7-908C-D98D6C44EB0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31e66f58f6ce2383414594d3d4ae5d4023421772","datavalue":{"value":"0612.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3753475$0739A6F4-4008-4793-B072-B31734E03199","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3753475$C0B576BD-6152-4C32-9E66-5AB0309FE447","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3753475$6857D41E-C296-48C5-B502-75FD7E80038D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3753475$3092133A-C10C-4476-8F49-6D4685B225B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3753475$8EA54511-D5C5-4B14-9A38-7D69D6DF5928","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63aeb38a7f184402dacc7522951614950ee87e7e","datavalue":{"value":"3990852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3753475$ED80C058-1AF8-43D4-A8BD-E35642D0C9F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b295f12cc17c150b8922a2d0f0e529527287adb3","datavalue":{"value":"ACP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753475$2C2464AB-F7B5-41B6-AB59-22B879B8F641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753475$12C8DF44-154B-43A2-8514-A1B79493277E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753475$E92770B6-705F-4E21-9D93-7B0D59CFE879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753475$3420EBA2-A0D4-4F72-8888-2FCDAEA83FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4ce0166617d2ac95331636db988db19aa614793","datavalue":{"value":"bounded nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753475$020BF705-1506-44F9-9EAB-730E2EA69FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eceefa792b8ead1839cff9f8ebb941de713bbd36","datavalue":{"value":"Algebra of Communicating Processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753475$2D4FD1C2-2C68-463B-BEEC-4AAF5AD9CA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcb917df99802393e27402cc933c8bf6f59700c9","datavalue":{"value":"no special rootedness condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753475$FF66E7E3-E4D4-46B9-8EDB-924781CDC9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d811b2aa5caa35e48d609e751c6afef08551c26d","datavalue":{"value":"recursive definition principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753475$DC2F0014-F033-4123-836C-724FCBD53B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aff8270bf12b128fdd9143b0d282e33bf2b3f93","datavalue":{"value":"commutativity of abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753475$CF75B1FA-B251-41AA-A9E5-3E75B0675FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"756ae75870113370941e10d0986c2d1f34c1f7f2","datavalue":{"value":"Koomen's fair abstraction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753475$250FA18E-1B92-44CA-8A80-D036C706F01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85377cdfd57490432db927313089088acf5852f3","datavalue":{"value":"approximation induction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3753475$2EE0EB4B-E627-41F6-B906-2D7D89BFBC66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3753475$69809FB4-458C-44B2-B3A5-4DEF81E286E2","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":"Q3753475$8CFD1CDA-105C-49C0-93A7-A1C7770F8E13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d195b79bc149c73111c732b53bbe4638280b448","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad41ebab54cb992805c509984067e0f07209290","datavalue":{"value":{"amount":"+0.7877911925315857","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":"Q3753475$E9807276-C7BD-4431-A202-22E0E034DF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb06747ad7fb553588cd5a11ba2f7fc69be74502","datavalue":{"value":{"entity-type":"item","numeric-id":3833645,"id":"Q3833645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c3742987575b13d3ec06d305ad42ea50728c7d","datavalue":{"value":{"amount":"+0.7572304010391235","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":"Q3753475$0B9C0B11-6E55-4629-B6B0-5FDC43C33BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7020baa48b19cee399e34436c5eb4f6630051f14","datavalue":{"value":{"entity-type":"item","numeric-id":1090103,"id":"Q1090103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b9a4d31ef641a7afd9864beeddf68980a450ed","datavalue":{"value":{"amount":"+0.7570701837539673","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":"Q3753475$4A38C3D5-ACAC-4828-8AB8-0852DB5CC15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899e993ea444de89a246a3c63b9df0783861a904","datavalue":{"value":{"entity-type":"item","numeric-id":3761680,"id":"Q3761680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d9e020003014879a807f648a01fe91637d1add","datavalue":{"value":{"amount":"+0.7549342513084412","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":"Q3753475$0F506BB1-CDA9-4051-B264-9651A10906D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96f45dd0e37fd028ad370e966c893aa89571b76","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9becca612aa49fe44c3657ad5fd7107610e14e2d","datavalue":{"value":{"amount":"+0.7480580806732178","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":"Q3753475$1A245603-8713-4E54-A4E2-FB70F5664891","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3753475","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3753475"}}}}}