{"entities":{"Q4612425":{"pageid":6642008,"ns":120,"title":"Item:Q4612425","lastrevid":82309241,"modified":"2026-05-06T20:35:48Z","type":"item","id":"Q4612425","labels":{"en":{"language":"en","value":"On fixpoint logics and equivalences for processes with restricted nondeterminism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009539"}},"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":"Q4612425$E6673E83-595E-4E95-8C38-C3F6DF8C276B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"273ce6a6b0452fabc52bc0b70c3a76b154f72791","datavalue":{"value":{"text":"On fixpoint logics and equivalences for processes with restricted nondeterminism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612425$5EDC4B67-6624-49F8-A3C9-879095D4F3EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b43b9d0e201270454270196704fa50e8abf46bc","datavalue":{"value":"1444.03115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612425$43CD1C66-F9C7-4569-A783-410B64428099","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c83e4af14bfe1a46b2cc1e1d2fe63d184f56896f","datavalue":{"value":{"entity-type":"item","numeric-id":345708,"id":"Q345708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612425$027233CF-DE42-417E-AA0C-5E12C995334A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612425$D4A76158-331B-45B9-8F7E-120756CA4E32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccaf48e5cc5d6cc02eea57c23b243c172a840a0c","datavalue":{"value":"https://semanticscholar.org/paper/f9f5caf1e8c26ea88840290a600b55f654f46e27","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612425$B10752AE-D391-4222-9BC9-0546D3108CF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612425$084E7432-D0CF-449B-8674-91DE100D2622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612425$7B28EA1E-7092-4BBD-A5A2-E808E499716C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612425$94302D35-B14D-410D-94EA-708BEAE648D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"410c203149c113c7f1097abbf5e20b74560ca776","datavalue":{"value":"7009539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612425$43E35257-A2A9-4AA8-9A67-02F3ECD37A8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"921d0cf0bf3bc2fc4a883887badbee0f5c430e90","datavalue":{"value":"fixpoint logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612425$90DF3D07-9DF2-4BB2-BAA3-02CE1AF20608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb526006c296d655f0c4b4331f09f72b4d0aed3","datavalue":{"value":"concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612425$23E42C7D-35C9-4AE1-821E-754C69FBC2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c71491e5ec4134e84f50c35e083dfc45078b5ca","datavalue":{"value":"bisimulation games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612425$A66ED796-040C-4DFB-BE26-84663822D13B","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":"Q4612425$CF9F5AD3-1CAF-4AB9-BE24-9701021EC3BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57cc0c63fe7689780e99722aa944de14e31e600d","datavalue":{"value":"W2462226377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612425$350F7DB9-1C34-4ED4-A52E-5A61A07B7FAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"408021038f78fcf8d195db8680b6890c5cdaeeae","datavalue":{"value":"10.1093/LOGCOM/EXV032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612425$967E9D12-E8D7-4199-AFB3-AF52094AF02B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612425$07D36A85-9DAB-414C-9B68-AFAA60C1ABE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f8071604c3051ea9df0471407f09edf9a475ca","datavalue":{"value":{"entity-type":"item","numeric-id":5055959,"id":"Q5055959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24432e5eee9b30b1e91ba8e3172fc781ca6f6ea","datavalue":{"value":{"amount":"+0.7681431174278259","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":"Q4612425$4EC841E0-99EF-481F-842E-46CF62E3D1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6414ff45fa7f1796bf8e7c04ba7adcfbfe0395c2","datavalue":{"value":{"entity-type":"item","numeric-id":4733427,"id":"Q4733427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1252a34b33dfb5844a729eb2b7a8f344e61a7b2","datavalue":{"value":{"amount":"+0.7583103775978088","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":"Q4612425$7B488765-DB3F-4824-946F-763F652B396D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1900d074ed56995c43540c206fdd53936ce6f72","datavalue":{"value":{"entity-type":"item","numeric-id":4268462,"id":"Q4268462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd9355dad756049cf65de8c60d6108f31d277c1","datavalue":{"value":{"amount":"+0.7470207810401917","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":"Q4612425$4D100AF6-CFC2-42E6-815E-8FEE24D40F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6242ae5ed15ef3b42c60538321c51cec42648ed8","datavalue":{"value":{"entity-type":"item","numeric-id":4721639,"id":"Q4721639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1b2c36eb228bb491cbde266ac1f626572983cf","datavalue":{"value":{"amount":"+0.7396233677864075","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":"Q4612425$DDDF9DA3-0C26-4C33-8EA0-A08274DB73A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"917e67b3aa8975e539aa9a34a6f8feb959b9b069","datavalue":{"value":{"entity-type":"item","numeric-id":3617720,"id":"Q3617720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e120bb4ca337a9bd4573a4cfb5b437fa52bb9a5b","datavalue":{"value":{"amount":"+0.7346094846725464","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":"Q4612425$13ABDE1F-237E-49ED-875F-3A4FA887F6DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On fixpoint logics and equivalences for processes with restricted nondeterminism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_fixpoint_logics_and_equivalences_for_processes_with_restricted_nondeterminism"}}}}}