{"entities":{"Q3498433":{"pageid":5528336,"ns":120,"title":"Item:Q3498433","lastrevid":50357714,"modified":"2026-01-13T21:32:39Z","type":"item","id":"Q3498433","labels":{"en":{"language":"en","value":"Translation Correctness for First-Order Object-Oriented Pattern Matching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275787"}},"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":"Q3498433$286A2D0F-EAA8-4A56-962B-66C04536F396","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e4e5c1a3d8621714572469da613f89afcc697a7","datavalue":{"value":{"text":"Translation Correctness for First-Order Object-Oriented Pattern Matching","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498433$F4D36D0A-E39C-4961-9EC0-7DC437C47651","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30567271ca1de3cede15d67f69fd4a51b630829a","datavalue":{"value":"1137.68353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498433$05525D27-9188-4B24-AD15-9DCC9A9E56BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3502162cbdc7560ca944ec7d146b38c468b63890","datavalue":{"value":"10.1007/978-3-540-76637-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498433$A2B878D5-DDDC-4E42-9F2D-2580A70CAE23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cc0b7ea01db0156d3d355228a36b6f5e09a2187","datavalue":{"value":{"entity-type":"item","numeric-id":3498432,"id":"Q3498432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498433$2116AC0E-2B72-41A1-835D-5A1CD7954A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f5c6ba829a24d5fe0050a6d775ae0006b589b8e","datavalue":{"value":{"entity-type":"item","numeric-id":949133,"id":"Q949133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498433$176EEB3F-DDB4-4E70-BFDD-9AC636EE394F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c501e7c966d4aaf8f262a94ba507af920c84926","datavalue":{"value":{"entity-type":"item","numeric-id":1004063,"id":"Q1004063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498433$8DAB25D2-D823-40DA-94AF-FE0051A89F26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498433$F47F8065-E74A-486C-BA5B-0769F986E1F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498433$CB047CA8-9886-49AD-BAA5-366EE13A3D43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498433$0A0B1EBB-3466-4E1B-A26E-379F15C4BC34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb6571d2b5c8f48d7c23d8930a31718d076e2edc","datavalue":{"value":"5275787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498433$0D0E0925-91D6-490A-8DE1-2618286FA72B","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":"Q3498433$632EC51A-96F9-47FB-B4EB-EEF84E608651","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52266b89b85f67d2611c6f8fc82dc1d204572226","datavalue":{"value":"https://doi.org/10.1007/978-3-540-76637-7_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498433$F1A03CF0-D773-4B48-89D1-E235EC137B8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8141fd5dce443713531d665a53c883403c387bdf","datavalue":{"value":"W1589861019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498433$F15E489A-FF34-4267-BD4D-DA8C1453ACF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8ea372caa817f188e4e943a4cbc2ab55cc9d12","datavalue":{"value":{"entity-type":"item","numeric-id":5549412,"id":"Q5549412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498433$9CDB6342-D366-496D-B80E-02B99E8356EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa81bcc9d031f13e6443e8a60911fc02ec06aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":3992669,"id":"Q3992669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498433$E61E520A-2584-4395-9D38-167549C116F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48aefa4dbf05e7fec8032572afa5ec1971dabb1c","datavalue":{"value":{"entity-type":"item","numeric-id":5177995,"id":"Q5177995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498433$F90CAACD-DD26-4659-9E17-DDA473DB6AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d52f25b1cb8807357221024b3937c8c581f91ac","datavalue":{"value":{"entity-type":"item","numeric-id":5168922,"id":"Q5168922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498433$4EDBB459-1EEC-4F81-B3F5-898D4582007E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0216beba5caeb70a2979835418432c75a8b982d","datavalue":{"value":{"entity-type":"item","numeric-id":3498433,"id":"Q3498433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498433$0D3D98CF-9552-4B96-A075-33F57273BDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca3c893ec274449af409e1d364b4d648dd50b27","datavalue":{"value":{"entity-type":"item","numeric-id":1012129,"id":"Q1012129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498433$40F9A522-8FDF-4BFA-852F-D7AC4C7752A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00b4eb6bdf403a8d30ab4135e926cd5a12884d8","datavalue":{"value":{"entity-type":"item","numeric-id":3444659,"id":"Q3444659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498433$2C3077AC-EF8A-4B03-A49E-2A1F0CC5FEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1864f691dab01c8f5106c117b745e2473902b9","datavalue":{"value":{"entity-type":"item","numeric-id":2817690,"id":"Q2817690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498433$152BD0DF-5A19-4C24-9C52-56E9C8280DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fe816c0239a474e2e291fa92e237c36b7e32b3d","datavalue":{"value":{"entity-type":"item","numeric-id":5178013,"id":"Q5178013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498433$F79BCF3C-A403-4129-9242-2DCB856E67C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92093c452f9a64407de076cc9e223166f2308d8e","datavalue":{"value":{"entity-type":"item","numeric-id":4415100,"id":"Q4415100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498433$71C4CC40-A2E7-4F52-A524-E72E7954A9C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c79d1e84983a4fe7f72515f517237482ac4d579","datavalue":{"value":{"entity-type":"item","numeric-id":2817690,"id":"Q2817690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88558398c376454d71c0b86c3b7cae6329c7824e","datavalue":{"value":{"amount":"+0.6994802355766296","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":"Q3498433$B4C89035-A576-4F05-BC31-12B95E1E6F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"474b66b6fe8aea9879cc78e98a7c81ac63919018","datavalue":{"value":{"entity-type":"item","numeric-id":2917405,"id":"Q2917405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b17c051d2284ba9c4d3e9a8bb59f74a58998191","datavalue":{"value":{"amount":"+0.6739540100097656","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":"Q3498433$7B48FB6D-66AE-4BD2-95BD-02B94D98F410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5e75b9362677d0430a1df2951a25d430d04308","datavalue":{"value":{"entity-type":"item","numeric-id":3549259,"id":"Q3549259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac7f7967f6cc62721048bd5b7f86f31af88cea4","datavalue":{"value":{"amount":"+0.6712881326675415","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":"Q3498433$B44F90FB-FAC0-46A2-9C83-8526993FBF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372fd1db9ce987ad3b3295b9d206206a8cb2cc8c","datavalue":{"value":{"entity-type":"item","numeric-id":3616447,"id":"Q3616447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ba8315a43bd1e00349c823db40d917d2d88dc3","datavalue":{"value":{"amount":"+0.6667174100875854","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":"Q3498433$A9B9CD83-F465-46AC-B85F-56D21BBD771F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6596de7b41746be289370683837c955a55249c21","datavalue":{"value":{"entity-type":"item","numeric-id":5308027,"id":"Q5308027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e3c740c2af6cce31ab18d8ab6870817d59a963","datavalue":{"value":{"amount":"+0.6629776358604431","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":"Q3498433$0C501668-3A20-4754-80B9-50BCC6ECD2DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498433"}}}}}