{"entities":{"Q2669251":{"pageid":2679994,"ns":120,"title":"Item:Q2669251","lastrevid":55400917,"modified":"2026-02-17T15:38:41Z","type":"item","id":"Q2669251","labels":{"en":{"language":"en","value":"Unification and combination of a class of traversal strategies made with pattern matching and fixed-points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7485819"}},"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":"Q2669251$DD72C10C-C5F4-40FE-BE81-32FAF4686806","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01aea8f267e1a3c2e0fd2b3e23375b680070f0b8","datavalue":{"value":{"text":"Unification and combination of a class of traversal strategies made with pattern matching and fixed-points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2669251$E2A2BB60-4A24-47B5-A220-2B89289A5363","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d68b64f9b827fd6174fd6a1b4ea793cc86b30b75","datavalue":{"value":{"entity-type":"item","numeric-id":485832,"id":"Q485832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$2FFD33D7-CA15-442A-A3C1-D809ADD968F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f979779ff7a16f846682df3daef77e951a7dacb","datavalue":{"value":{"entity-type":"item","numeric-id":2669250,"id":"Q2669250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$6FC560D6-FAD4-4597-9F9B-E67C81C47574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0b40efed04c7bc6b8a59598d2c11faf5fb7bd8","datavalue":{"value":{"entity-type":"item","numeric-id":349666,"id":"Q349666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$10C42684-8DE7-4C27-989A-C4878BA75B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"874bb745c0636bda17f5b731dcf2903016db32f6","datavalue":{"value":{"entity-type":"item","numeric-id":875632,"id":"Q875632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$AE422F93-C913-46AE-8834-B2D013E0DD55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$95BDA8A0-A3F9-4AB8-B19C-B5AB824293BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acee27211c540e6d5c2366514874b0c468da47fb","datavalue":{"value":{"time":"+2022-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2669251$F7929916-660B-456F-A9F7-253E3A8875F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5172433f4e92adea2cf5587bbee79c3ad7feda9a","datavalue":{"value":"https://arxiv.org/abs/1904.07668","type":"string"},"datatype":"url"},"type":"statement","id":"Q2669251$B394C83D-EA16-47FF-BE73-A671D131D696","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669251$80941374-FDF5-45B2-8178-4530FF52D257","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd40e96646e6c5fbd4625c2990ca9f4c26c58541","datavalue":{"value":"7485819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669251$752023C4-A441-44E8-BEB2-431B45183B51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007af046cc7d22c52306a8ce8cfedcba22a19640","datavalue":{"value":"traversal strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669251$A43FC51F-4A66-482C-BB54-38E1541BCEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669251$832C65F2-356A-45C4-8AF4-C6A6798EC959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3089277d918517224b20c530c0b7a6f9221b28e","datavalue":{"value":"combination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669251$C5FB4751-D398-4F8F-9709-E3C42026D49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3c4a2aef9a237ff4c1b489b607b734dd4cffc2f","datavalue":{"value":"fixed-point","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669251$0C12FCB2-0359-4DB5-AAD1-A29F7FA65AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30feb98d8b69e5e3427f875f6b9f371ab3d0f67b","datavalue":{"value":"\\( \\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2669251$68B8EB42-C89F-4710-AFA9-840BAD01B3AE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f185169b437c199e259a40ccfada8b7ef5b53434","datavalue":{"value":{"entity-type":"item","numeric-id":39830,"id":"Q39830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$71213E42-EEA6-450F-B5B6-9D836FBF3DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"98d8802bc6eca31e97001763ff1a584d9fb99c2b","datavalue":{"value":{"entity-type":"item","numeric-id":20628,"id":"Q20628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$E482D1E1-8F5F-496F-B6E6-423E0952E6B3","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":"Q2669251$14618717-D585-41F2-85FF-AE8D8946B3BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"daf4bcaff2926eda902e763de49c7dac1fa82b23","datavalue":{"value":"W4200355015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669251$59A8A266-0D6D-43F4-811E-6063065AE167","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd94a9f46f679f3d91b5872cbea74475a2ac286","datavalue":{"value":{"entity-type":"item","numeric-id":2447638,"id":"Q2447638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$147E7924-6589-4851-B7A2-B4D7BF9D3A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baffbeef2dc92961e50d0e55d85339124b65702c","datavalue":{"value":{"entity-type":"item","numeric-id":2467152,"id":"Q2467152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$6E1BFC30-5C68-4F3B-B921-68349572BB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$3C731378-EDF8-4358-A74E-D860DD305B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3a3deac8aeed628e59655f72ead0119db0047cc","datavalue":{"value":{"entity-type":"item","numeric-id":4023588,"id":"Q4023588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$2A651034-1D4E-4433-AC1F-276193E13268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e016121a20972b54628162e32384a16ea24af92","datavalue":{"value":{"entity-type":"item","numeric-id":2760253,"id":"Q2760253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$0E537134-38C0-486C-996E-01E2011F714D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a744c6516a7603cb5a42e7dafe50bb6d3ddf31f","datavalue":{"value":{"entity-type":"item","numeric-id":2291815,"id":"Q2291815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$B935531D-D666-497B-9E34-F8B0AC270008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b313d2b1b63a2592d25a191f7ee9acd6720ae44e","datavalue":{"value":{"entity-type":"item","numeric-id":3408136,"id":"Q3408136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$36FCC2C8-CD6F-4E52-AA1E-1B5DADC76E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a83ef51b1c5b4bc797e8322cf00736ca0d05a0","datavalue":{"value":{"entity-type":"item","numeric-id":2355125,"id":"Q2355125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$849382C7-E59B-465E-A727-8F09C5BCB1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69cd3d0ab7baf861d4f18d631f83f4f2c47afc7c","datavalue":{"value":{"entity-type":"item","numeric-id":5900552,"id":"Q5900552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$BA3FAC73-7EEF-4078-B372-8424507FDC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a17250975e65713a5431a586444de217c33c9df","datavalue":{"value":{"entity-type":"item","numeric-id":2423760,"id":"Q2423760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$040C6E9A-40CA-4BF4-9A54-07678F38DA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$D54437D9-6EA8-4E2E-85AB-ACDA0816502F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc18d91dfbadafffb926bcea387bf2c2268f53f","datavalue":{"value":{"entity-type":"item","numeric-id":2531871,"id":"Q2531871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$0113D0ED-246F-4BF7-AD96-0A40FE39945E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"277dffc5bf84bae13d0225808374b37e4cec9f65","datavalue":{"value":{"entity-type":"item","numeric-id":760212,"id":"Q760212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$D82EB881-CE6F-4453-8A5A-6A6DCD2309E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$E1912504-C667-4A4D-8C6B-A2098785E4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f496d5f2afd67224acd750f93d43efffc8adf0","datavalue":{"value":{"entity-type":"item","numeric-id":5881271,"id":"Q5881271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$AD8AB79C-9E24-48C2-B299-1F7AB7B78941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$0120DAAB-178F-4261-AE75-DE86DB1A56A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af945f7828564a9341a875bfba5c969725bfbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":4874782,"id":"Q4874782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$5C78F8D0-C1C1-4018-844B-70415B0E58E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639e5e385f6eecc963f6845cd6b62fa29e92ef43","datavalue":{"value":{"entity-type":"item","numeric-id":2766577,"id":"Q2766577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$69DB5C15-2D5F-4675-BD66-B78586ACB69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"759e3c56e906b280ec9eb0bbd4672e75342f55fb","datavalue":{"value":{"entity-type":"item","numeric-id":5757250,"id":"Q5757250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$37821FD3-EF0E-432E-9E37-B9CE47ED440F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aef66c36c44d8b0aead16b40e2138ecd3e57d15","datavalue":{"value":{"entity-type":"item","numeric-id":338613,"id":"Q338613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$824C4C7D-21C2-4082-BC42-1999C54C86A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f346f6935eab8f7bfd8c5b35d3ff010b785bc3a1","datavalue":{"value":{"entity-type":"item","numeric-id":4860774,"id":"Q4860774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$D4BA5BE1-CB7B-4C57-923B-43AD689EA81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7257c52b78a80ee879a6cf1d2b76defb5c428bde","datavalue":{"value":{"entity-type":"item","numeric-id":5918209,"id":"Q5918209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$995D81A9-1C87-4552-97AF-F3A6999CCD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cbbcd27efaec8075db404e69f67c2aae777293","datavalue":{"value":{"entity-type":"item","numeric-id":4411834,"id":"Q4411834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$02D3E01A-C1C8-45F6-900C-6618D58313FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd38627d7011e3997d1b4a03d6bec0b1ae2b426","datavalue":{"value":{"entity-type":"item","numeric-id":636308,"id":"Q636308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2669251$79CEB90D-251E-42C5-9933-68290BD99330","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3343552bc68370c5d6ed2b9de48c324dec90f85f","datavalue":{"value":"10.1016/J.JLAMP.2021.100746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2669251$3D440A9C-BF17-4BFD-BD04-3181030F82CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e7913433f44e2a9c01500474b33479b53d6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3786019,"id":"Q3786019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5ceb495b8f217d1a8c9004c9a9365e552cea73","datavalue":{"value":{"amount":"+0.7077686190605164","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":"Q2669251$8879AB3F-4DC5-401E-9C7C-B70FCC9C83E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61208d93249e3c543236daccbab8527fdf4aaa7e","datavalue":{"value":{"entity-type":"item","numeric-id":3835440,"id":"Q3835440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b77499a56b8a12f728545ed55fbf468910baea15","datavalue":{"value":{"amount":"+0.6879448890686035","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":"Q2669251$4EAEA8D7-A497-4F54-A66F-7E3418CC879D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b022aaeec24898045912a61aa0280554bec955","datavalue":{"value":{"entity-type":"item","numeric-id":4524788,"id":"Q4524788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f066d94bf227838acdfef6be8e32a38fedf3df24","datavalue":{"value":{"amount":"+0.6876591444015503","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":"Q2669251$FEE4EA64-EA52-4DF2-A702-F052D5198614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61eae7e66c7c93d1c776d21496d3237556e98b2a","datavalue":{"value":{"entity-type":"item","numeric-id":2778871,"id":"Q2778871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9df7f2a5db4f9083897117872511ceb1d853579","datavalue":{"value":{"amount":"+0.6849278807640076","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":"Q2669251$22C6EB2C-19EC-4057-BF93-DC7D12CD8F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de619e000a21c3090da630279b4c9a756337b0a","datavalue":{"value":{"entity-type":"item","numeric-id":1099652,"id":"Q1099652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616b5006e998b9fb037a65649584880b64997358","datavalue":{"value":{"amount":"+0.6827625632286072","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":"Q2669251$3BD1E7F0-A1BD-4C07-BD5A-4C50595A3D4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2669251","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2669251"}}}}}