{"entities":{"Q5376643":{"pageid":7406217,"ns":120,"title":"Item:Q5376643","lastrevid":96081461,"modified":"2026-06-05T10:21:59Z","type":"item","id":"Q5376643","labels":{"en":{"language":"en","value":"Initial semantics for reduction rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7056216"}},"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":"Q5376643$E4CFC59C-4158-4C37-8396-BF6439A236DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2894763e18c711b6523017cd8c50e80c77155a60","datavalue":{"value":"1421.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376643$DAEC9E2D-8AEE-4A3B-9762-A3E7F38AA809","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab5c6805e0602821b1f262918f4796ab60631570","datavalue":{"value":"10.23638/LMCS-15(1:28)2019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376643$F050DF6B-7EA5-409C-8CB7-344A3186AEEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebdd912b169a139b5481c76e8978f5a1ad20396","datavalue":{"value":{"entity-type":"item","numeric-id":2319988,"id":"Q2319988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376643$634D0ABB-9EC7-4EAE-88FB-321CECD627EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff447296bef390af9bbc2815788c2e74961068e5","datavalue":{"value":{"time":"+2019-05-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":"Q5376643$ADF3B056-6187-4E9B-B930-246C1791648D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85e2832873c86150429cfdf064a7ec5f3dd46396","datavalue":{"value":"https://arxiv.org/abs/1212.5668","type":"string"},"datatype":"url"},"type":"statement","id":"Q5376643$D78306A2-F231-4DD0-848A-68B9BBB3C0C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376643$E8A88E85-31EA-4F07-9243-0E2A8EE3B348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376643$3666FFE4-286A-4E02-B4A8-03986F430AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376643$6ADFAEF0-3973-4171-8D58-B6F0E51B0BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376643$B5317595-4623-4D1A-8E33-AD25744C5AF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b49abe56316f2e0274968c214223ecc092e34a3","datavalue":{"value":"7056216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376643$C6BAAC6F-5A14-464E-9E75-A516E6AD2086","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":"Q5376643$F0DA41BA-F2F9-4483-9BD9-63D57A4DD0D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93509e17828976e09a61fd4ac19decab76c73283","datavalue":{"value":{"entity-type":"item","numeric-id":2915022,"id":"Q2915022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c5142cc93fa6df91b4335a9e70613c80cf8d953","datavalue":{"value":{"amount":"+0.9176071882247924","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":"Q5376643$B596821E-C0A9-40D1-A225-B6E9CEABC675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0429bba24e70d441caf0d7d5727ac9bb160a74d1","datavalue":{"value":{"entity-type":"item","numeric-id":5195264,"id":"Q5195264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46395b84842a36f40f738bc254f4a062f360b8c4","datavalue":{"value":{"amount":"+0.8848533630371094","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":"Q5376643$E4FAD61F-F6A8-4B0F-A132-AB61433A5945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5b3ebae18d1b2e386d2528f6903ed57988a4316","datavalue":{"value":{"entity-type":"item","numeric-id":2887056,"id":"Q2887056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7c99afa4cfb3481fd522d0a006113094095336","datavalue":{"value":{"amount":"+0.8397493958473206","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":"Q5376643$3BDF2782-F056-4E44-B165-D822AA45E49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58db8c06da0c5cb2a6d06b13a3b15a9c556ffcef","datavalue":{"value":{"entity-type":"item","numeric-id":5887531,"id":"Q5887531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd6d52c86dce07a09ddebc81269454abbe005bb","datavalue":{"value":{"amount":"+0.7569725513458252","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":"Q5376643$1C700FCD-B7B4-46AF-840D-9C2859AE2C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5e9318dc02545f8c9ca0d7f04632564ba0ade6","datavalue":{"value":{"entity-type":"item","numeric-id":5741555,"id":"Q5741555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e705f81e87dc35f8140957684c3bd3a44ec7593c","datavalue":{"value":{"amount":"+0.7277160882949829","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":"Q5376643$95522681-5883-4E5E-9FC7-F3B3C48AA428","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Initial semantics for reduction rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Initial_semantics_for_reduction_rules"}}}}}