{"entities":{"Q3088028":{"pageid":3098743,"ns":120,"title":"Item:Q3088028","lastrevid":51317663,"modified":"2026-01-17T17:59:05Z","type":"item","id":"Q3088028","labels":{"en":{"language":"en","value":"Adhesivity is not enough: local Church-Rosser revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940090"}},"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":"Q3088028$0220F343-7BA8-4CE7-B17D-0BE7B1505A3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69cfcff67db3e13da792a3ae518a0e2aa0c310dd","datavalue":{"value":{"text":"Adhesivity Is Not Enough: Local Church-Rosser Revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088028$2A6832C7-FDDA-441A-BD71-6E067D97BEF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"327262ea59d1d2c6dd47fb7c77bd961c5b1b29ed","datavalue":{"value":"1343.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088028$7FF813FE-D10B-446F-B658-744019181BCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09621ca40945319f741442655ab2fa3d636242ec","datavalue":{"value":"10.1007/978-3-642-22993-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088028$C4939AF0-604B-4F96-94BD-2EFE5DC76CB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088028$F3146BFE-7348-40B2-A573-639F4937C6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3445d7abc4eee928243e03ab31bdb8317e366c","datavalue":{"value":{"entity-type":"item","numeric-id":344544,"id":"Q344544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088028$9409D657-A0DF-4893-B511-B9F08C6D138F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bd160c8e2499dade66139ebb79e6fb014565bcf","datavalue":{"value":{"entity-type":"item","numeric-id":308154,"id":"Q308154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088028$657F05F9-9B7B-42A3-8ABF-8C605B5F795A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"799375dfd9c57273d55698de42084d11cf9e071f","datavalue":{"value":{"entity-type":"item","numeric-id":3088024,"id":"Q3088024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088028$4E998A11-DFC4-4F0C-9D90-89A5463FAD0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088028$41922BCA-7FE1-43E7-997B-AF5330B9CD97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088028$635CFD2C-E586-4D93-89F4-C424E21FCB47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1ff5560f77b5f7507ed201c12ec917c1c875180","datavalue":{"value":"5940090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088028$3D852083-80A1-4194-B500-9880756634AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109d262432bba415db63134f17d020ff33eb61a9","datavalue":{"value":"adhesive and extensive categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3088028$54C1C3B8-254B-45C4-B739-1157BB5B5D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a3318f2d53d682a79959549af2d1ed4395d3933","datavalue":{"value":"double-pushout rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3088028$F7831C51-D66B-4B84-851C-A19A38154605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cabd4465753aa8d8fdbbd677ab040aacf374b90","datavalue":{"value":"local Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3088028$6932CB50-9BA8-4EFA-AE0C-616E3243B55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9f02681fb68a6a77adb99592d0a54ce6d4a4076","datavalue":{"value":"parallel and sequential independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3088028$FC653543-91EE-4D6B-9FBB-615B7932905C","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":"Q3088028$A772C33F-E139-46D0-AA8E-4C60D61671D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0aa1ea4312235732d86a70b84d89adebed977d88","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22993-0_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088028$A25FA4D8-81C9-4276-81D6-231E66871B5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7ff95f8ecbd5f403a7d90fb3b91c56ce342a1ee","datavalue":{"value":"W180420728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088028$01EE22F3-1717-4366-A62D-AA2FBA99F2E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8aa7d8c49483d603c291a15bd8994a258fe26f6","datavalue":{"value":{"entity-type":"item","numeric-id":5308456,"id":"Q5308456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5daf38a4b2fbbd48122a6ca75a8e85c7ef5b9b89","datavalue":{"value":{"amount":"+0.8585968613624573","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":"Q3088028$8E633ABF-41E1-429F-BF91-1F375E318474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34693cc3f72b07dd703b6eac003a455623cbd89a","datavalue":{"value":{"entity-type":"item","numeric-id":5313719,"id":"Q5313719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5452ed9b892e2745b2fb172f4c7c2eef5c9cd5","datavalue":{"value":{"amount":"+0.8498370051383972","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":"Q3088028$C3FD9AE1-B562-4504-AF25-FA3B1B107BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcdca125b8f819d6cec8c4f7e4ec09c1ac5b3197","datavalue":{"value":{"entity-type":"item","numeric-id":5740375,"id":"Q5740375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7099dc21cd4af36e7ffa17c07f6af2f4b41346","datavalue":{"value":{"amount":"+0.8477057814598083","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":"Q3088028$1521C477-7677-4AA0-8E19-B42253CABF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4781f798c9f0a660746ab0d5d3e4f44cc90a94cd","datavalue":{"value":{"entity-type":"item","numeric-id":5899089,"id":"Q5899089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5978cf4dcce6145281f30fa751d215baa1485a1","datavalue":{"value":{"amount":"+0.8465890884399414","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":"Q3088028$D4847F1F-FB36-4152-844C-97029CE4DB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0c65ecd4adb120e69ab1b8f70785a54840f3e53","datavalue":{"value":{"entity-type":"item","numeric-id":2898462,"id":"Q2898462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb91e65e2290d4a600cda025d0ce706275df6007","datavalue":{"value":{"amount":"+0.8417749404907227","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":"Q3088028$5F9D2896-E9E9-41A0-A357-0DF1D582217F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3088028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3088028"}}}}}