{"entities":{"Q1090103":{"pageid":1100855,"ns":120,"title":"Item:Q1090103","lastrevid":66912156,"modified":"2026-04-12T13:41:33Z","type":"item","id":"Q1090103","labels":{"en":{"language":"en","value":"On the consistency of Koomen's fair abstraction rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4007704"}},"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":"Q1090103$CF3A6299-8312-44D1-8B2A-615F545C7E87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9aa0858fdbf82ec16d2e6e5e01e4eee46d1eb9a","datavalue":{"value":{"text":"On the consistency of Koomen's fair abstraction rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1090103$94CE42BD-BB70-4C1D-8FF0-4B77F0123258","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"baac8ae36707f0ce0e797019e2aac74205297385","datavalue":{"value":"0621.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090103$43ADEFD0-8156-4D59-A504-DA0A17D082EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"380628146493106c3523570445c15d452bc09bc2","datavalue":{"value":"10.1016/0304-3975(87)90052-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090103$73AC1946-D9F5-414E-9BA8-2ABA9720D909","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$6D7D6547-A2F7-4367-8CF1-5036EC726CB6","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":"Q1090103$04BAE532-C3A3-4DCE-B620-8AD47CCAE9A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb6564f728100fad3153d780a2bb029f4232f04a","datavalue":{"value":"https://ir.cwi.nl/pub/1704","type":"string"},"datatype":"url"},"type":"statement","id":"Q1090103$C99AEDC4-DE09-4FD1-82F9-F7C606284AB9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f41401c75358a70ed9cf70442d3e771df47d31e1","datavalue":{"value":"We construct a graph model for ACP, the algebra of communicating processes with silent steps, in which Koomen's Fair abstraction Rule (KFAR) holds, and also versions of the Approximation Induction Principle (AIP) and the Recursive Definition \\& Specification Principles (RDP\\&RSP). We use this model to prove that in \\(ACP_{\\tau}\\), (but not in ACP!) each computably recursively definable process is finitely recursively definable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090103$B2AA1B02-0124-4117-9B23-A8A11DB5183D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090103$A76A5DE0-3D2E-449E-BA12-4EE2BEA7AC5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"790a65cea748fc21b073ffa230f2f26c7ff8044e","datavalue":{"value":"4007704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090103$C806A1EB-DE6A-4135-BC5E-DCB8751FCBD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090103$4AF826E2-1840-4BA0-850B-330AEE555C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090103$A2E33A01-F3AD-493F-AAC8-852BB734E60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8de6d72d0b6f988ed566bf651c9499dc4d4d9b0","datavalue":{"value":"graph model for ACP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090103$0B7071FC-0E22-44DF-A2B7-54A1709B33A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3749e8499b8f4081b5f43e02c1da7353c3b92a07","datavalue":{"value":"algebra of communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090103$182534B5-6023-4D0C-A96A-ACA403215B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e71b918807cbf616602dacf4d4dd282f1c2af884","datavalue":{"value":"Approximation Induction Principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090103$BC7F1BC2-8B19-43F6-B004-EC541E97C0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e87ea82b126413577e615f680daf0d451f7f6613","datavalue":{"value":"Recursive Definition \\& Specification Principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090103$6CC99549-EF59-4E91-918E-4A64947025FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20fc068db4ead04187daa6b8252b30a410683b6","datavalue":{"value":{"entity-type":"item","numeric-id":393088,"id":"Q393088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$8CC6E620-6790-40BD-AA39-2CD205E2C1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$98A7A42D-018A-415F-BEEE-618732CC7404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$6F45661C-3D6A-4C1F-ABA7-559C3F26C2DE","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":"Q1090103$F8C218E1-D3C1-4660-82A9-4F131AAF9D04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4aa3187f8e40e7e56e09ba56a51614f964d29c5e","datavalue":{"value":"W2106934908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090103$00C1106A-A222-42F0-A0A7-8AE7C65A6414","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcd254ec8f657762d462bbc49ef06ba594d598f","datavalue":{"value":{"entity-type":"item","numeric-id":4727412,"id":"Q4727412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$63572B4B-1678-4A24-A600-696318D481D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e5b51817b53484d3dfa2ff8174bbb7f1306491","datavalue":{"value":{"entity-type":"item","numeric-id":3347277,"id":"Q3347277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$A1A02905-BDA7-479A-9935-245AE147C9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9283d4d4ddb3b5f89b4c6db8d011e1cfd568cfcf","datavalue":{"value":{"entity-type":"item","numeric-id":3664418,"id":"Q3664418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$FB381752-84AB-454F-A1F8-299D362EC0A9","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":"Q1090103$15005F28-1600-4077-BBBD-011B3F83C632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8636ac1d2a9f37f15d6d5d220d6ac5ccfb68c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3727367,"id":"Q3727367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$A8F75385-0F2D-474A-BB85-1CD6945278C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb931e3c3f29a5aa90d63fe94e76667b46dc231","datavalue":{"value":{"entity-type":"item","numeric-id":3939218,"id":"Q3939218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$35324E3D-A772-4B51-AD10-1F4701A7F672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697b932bff0b79fd91bb393dff8d0ad161e0b8fa","datavalue":{"value":{"entity-type":"item","numeric-id":3792231,"id":"Q3792231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$FF41EFCD-6006-4E94-9B58-9D90EDD6DCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acecb45d527064474401487c6d252f74914ae2a","datavalue":{"value":{"entity-type":"item","numeric-id":3742698,"id":"Q3742698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$289548D7-2602-4E27-991A-0CF5B06D4529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc12c5ff355b3912dfc3cff3dbe48574dd3f3fdb","datavalue":{"value":{"entity-type":"item","numeric-id":1084850,"id":"Q1084850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$0F9FC76E-CB12-459E-8FAE-94973CFA68AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32657a877a04977d88e1402e1f6494c2aa3ce2c6","datavalue":{"value":{"entity-type":"item","numeric-id":793508,"id":"Q793508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$FC783721-0B47-4ECD-B925-8F9C94434C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7029317a5f94cc73979296e01633b9e1b95a332","datavalue":{"value":{"entity-type":"item","numeric-id":3753475,"id":"Q3753475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$C56A4836-265B-44D4-BFDD-925D8DA80A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94eb2817697c6370ed6321969409531b142c92e8","datavalue":{"value":{"entity-type":"item","numeric-id":1055190,"id":"Q1055190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$8B0BC654-24F9-431C-9339-08067ACEA725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086517f50692c1c967a949e0e425d53b0a63409a","datavalue":{"value":{"entity-type":"item","numeric-id":3681913,"id":"Q3681913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$D179E02E-70FD-4E23-A529-08357AB93B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6488fb725862b4c2b24eb655ee32753a59a64851","datavalue":{"value":{"entity-type":"item","numeric-id":2265806,"id":"Q2265806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$3C282AC2-A162-424A-830F-BB1C2F9CBEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73768428d700ed1bb9463610d2323780933f5092","datavalue":{"value":{"entity-type":"item","numeric-id":580971,"id":"Q580971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$54C2DBD8-3EFF-43EF-A361-F36F308FECA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466559153374b3809ee51b865494e1d115a7d685","datavalue":{"value":{"entity-type":"item","numeric-id":1082070,"id":"Q1082070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$099494F0-275F-4B6F-9F9C-85C1DBE3FCCD","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":"Q1090103$66EDB58B-DB23-4841-BE22-7578695B7B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$244D2D39-E67A-4C13-A461-1BE05CAAF913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13020f5b89b5e428e4485847f99d0bec0bc65558","datavalue":{"value":{"entity-type":"item","numeric-id":1391788,"id":"Q1391788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$3AC88BB7-FFC5-4D4B-9EB5-347B1823E981","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":"Q1090103$90D78C1B-76AB-4DFD-B440-7DF3AF978284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a80d8545eecd8e383268eef4c0012d53a95d5bf","datavalue":{"value":{"entity-type":"item","numeric-id":4732097,"id":"Q4732097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090103$50BF65A6-70F9-4A3F-B35B-1B966F6F92D4","rank":"normal"}],"P1643":[{"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":"d7e88735c724d9f8c81db43989089bd11dc0e9a1","datavalue":{"value":{"amount":"+0.7740686535835266","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":"Q1090103$BEB91FF7-33A5-468B-A441-6B3CBA058224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddbf972129e1e71df44d9c54da3f9a35fd5ff9c9","datavalue":{"value":{"entity-type":"item","numeric-id":3753475,"id":"Q3753475"},"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":"Q1090103$F74140AB-95FF-42F5-A28C-6793B9D60173","rank":"normal"},{"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":"260e1ae4e77b07aa02e7ceb0f3aa944e74636782","datavalue":{"value":{"amount":"+0.7493666410446167","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":"Q1090103$DBEFF21C-A541-467A-B882-EE0FA7880B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6fe1c3d707daa76b5d3c8b0cc1f5baae93f6a3","datavalue":{"value":{"entity-type":"item","numeric-id":3792231,"id":"Q3792231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22863a390bbe48041a24218c4d8472fa91ab6ac2","datavalue":{"value":{"amount":"+0.7403389811515808","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":"Q1090103$62D546FE-46E5-4DAF-B4C0-39C6D8AA20AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e39952439876948a7ebc5a0f8399883c30dae23","datavalue":{"value":{"entity-type":"item","numeric-id":3681913,"id":"Q3681913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad85daa9c7f315565f45e924be876e2b2e923967","datavalue":{"value":{"amount":"+0.7291085124015808","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":"Q1090103$D180C90A-F54A-4597-84EF-AD31ECF915FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the consistency of Koomen's fair abstraction rule","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_consistency_of_Koomen%27s_fair_abstraction_rule"}}}}}