{"entities":{"Q1648875":{"pageid":1659616,"ns":120,"title":"Item:Q1648875","lastrevid":68053278,"modified":"2026-04-12T21:08:03Z","type":"item","id":"Q1648875","labels":{"en":{"language":"en","value":"Polymorphic rewrite rules: confluence, type inference, and instance validation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6900728"}},"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":"Q1648875$323AD281-C99C-4D42-8E51-0EB72CC32E28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a485f61bfb360573a4100aee8f9d68145bd71470","datavalue":{"value":{"text":"Polymorphic rewrite rules: confluence, type inference, and instance validation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1648875$693A0AEB-9745-4A5A-966B-39325D58925B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e90552fd66a2812c5a00efdca0e80615a683f330","datavalue":{"value":"10.1007/978-3-319-90686-7_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648875$1015B364-8F97-4547-A5DA-92B1543BCADF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39125986354abecea843861eabc948f8d83e93d5","datavalue":{"value":{"entity-type":"item","numeric-id":853742,"id":"Q853742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648875$DFBCA82E-9285-4E0B-9582-BFEB48B4393D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20fc1ac084e12d18c0e5ff948cffdf2d3bf183d6","datavalue":{"value":{"time":"+2018-07-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":"Q1648875$82A38980-76AC-4E85-974E-74B031BFD820","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648875$373C2782-E39B-4936-B32F-4B121CC62415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648875$A35F6952-3A12-4C1B-A732-0D6E6E4E0BED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a3c86dc3fbd8b98102242a7d7e56c38f39786d0","datavalue":{"value":"6900728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648875$E621247E-2B5B-485B-A023-E8FE0E93F670","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":"Q1648875$BDE3D30D-EDA7-4742-8950-08F85882BF64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54cd6ddbac7f5d5ac1e360be1a6dc4d248bbe3e7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-90686-7_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1648875$336F859C-F952-4E72-98F9-915F07B4F88B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b56674f40e59f3a0127ed5c9497ae142ea30576","datavalue":{"value":"W2802248566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648875$3233A27D-80D7-4595-921B-497D9DA558E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca45ca5228620f381d24ca96e5fa502c5237c8cf","datavalue":{"value":{"entity-type":"item","numeric-id":2849860,"id":"Q2849860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9938f004b07adbc5b5732120799361b44e3137","datavalue":{"value":{"amount":"+0.7876828908920288","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":"Q1648875$DDB9E8B7-8934-4E97-9004-7160F712D672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18abaaa8ec3f4b4dff43413f9172c7868d4ad2f4","datavalue":{"value":{"entity-type":"item","numeric-id":1336046,"id":"Q1336046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf550d009a64075ed3dd38364cdd3e2058db6d2","datavalue":{"value":{"amount":"+0.7638213038444519","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":"Q1648875$203AECA3-1455-46F0-B7B5-4DBA5AA5929C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f94d5b466552ce871dc5b4a5872cfdce7a2952d0","datavalue":{"value":{"entity-type":"item","numeric-id":5881175,"id":"Q5881175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f664848343a232aa743e6e2c89c887753d2693","datavalue":{"value":{"amount":"+0.754386842250824","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":"Q1648875$5664CD63-E046-4A42-BE3B-D9B1E97BF7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00109cef22270c88ccf8bc2c1b955849380f930","datavalue":{"value":{"entity-type":"item","numeric-id":5704030,"id":"Q5704030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a178ec306b667c923b845837aff0ea70951822","datavalue":{"value":{"amount":"+0.7507773637771606","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":"Q1648875$790CE621-790D-4E61-A165-594B05CBBB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ad3551fb745cf52b15d1a7a6bcc7a82129a4d4","datavalue":{"value":{"entity-type":"item","numeric-id":4205074,"id":"Q4205074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969afe049d2f6fe0c92a39d76ca75ec7313c2440","datavalue":{"value":{"amount":"+0.7504793405532837","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":"Q1648875$50C8475F-F916-4EC6-98F8-27EB2DA117E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polymorphic rewrite rules: confluence, type inference, and instance validation","badges":[]}}}}}