{"entities":{"Q2956727":{"pageid":2967446,"ns":120,"title":"Item:Q2956727","lastrevid":79611419,"modified":"2026-05-06T14:19:21Z","type":"item","id":"Q2956727","labels":{"en":{"language":"en","value":"Unique normal form property of higher-order rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6676210"}},"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":"Q2956727$8C2D95DD-F297-405D-924C-E4A6081D51B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1f82b07aa0f238cd19349af227b65356a4fae72","datavalue":{"value":{"text":"Unique normal form property of Higher-Order Rewriting Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2956727$4E899DE4-15E0-4715-8BBC-65ADFA9960B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ea7980c096d21486686ae9199a59874d86eac59","datavalue":{"value":"1355.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956727$899E3C39-4977-4B12-B377-D31170C48B7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5e0090044f0e8c72f986b3268a169efdc271f6c","datavalue":{"value":"10.1007/3-540-61735-3_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956727$795436B0-3168-42C7-942F-2515865802A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22eaa4b4fdea0a9e85adcdb57375915e03302178","datavalue":{"value":{"entity-type":"item","numeric-id":504212,"id":"Q504212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956727$40158CE1-8395-4285-BF27-BB117115B254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48552ab21c66d0b04090f0666911ca61b12af69f","datavalue":{"value":{"entity-type":"item","numeric-id":407555,"id":"Q407555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956727$4E96B7B7-1922-43DA-AEB4-0509562FF46A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5c924014210483b0d24cc4cb7a016c1f568a25c","datavalue":{"value":{"entity-type":"item","numeric-id":2956708,"id":"Q2956708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956727$D8B0A9D8-1EAA-4E78-B35F-0FE2CD5B1DB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"300acc7309ab8a260436b7e7ac046dd31b269120","datavalue":{"value":{"time":"+2017-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2956727$CD42BC49-8586-4626-A507-9623F513E53A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956727$E69D0081-3C39-4EF7-8B0E-C483694F0D21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"727249273ae5a22860d1f79397906d8d15548698","datavalue":{"value":"6676210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956727$99FC4C6A-FF42-477E-8744-3E4B9D1D1F0A","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":"Q2956727$95DEB428-714F-4802-B514-07AA5E40E1B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb7fd289f9e09bd493bba9279665234d83cd4b5b","datavalue":{"value":"https://doi.org/10.1007/3-540-61735-3_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2956727$8DD685C8-B7EE-4A91-9FF7-A8EE4D7991E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8acea764a54685a52e36915ece0f1b9d513a451b","datavalue":{"value":"W1533121435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956727$924DA126-A7BD-4B04-8B7F-A9B3B4FC880F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a014314b21efa0a95c8a2a62bd509afb2d1ab4b","datavalue":{"value":{"entity-type":"item","numeric-id":5055726,"id":"Q5055726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7964b7d28c27e4e92a636e45e72e5b37edba064","datavalue":{"value":{"amount":"+0.8006366491317749","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":"Q2956727$CE9676D2-A80A-4288-86C2-74C4AC07F06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f86e267afcde5d9bf7a7f889d35b89f5d64997","datavalue":{"value":{"entity-type":"item","numeric-id":5055958,"id":"Q5055958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef3fe21a38d2193048d0f013249f4510cab75ad","datavalue":{"value":{"amount":"+0.7911068201065063","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":"Q2956727$93D1A4D5-2BCF-4655-893E-EC08F109D19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87bae5dbc9fcacdfce183694abcdf22459182f2e","datavalue":{"value":{"entity-type":"item","numeric-id":674762,"id":"Q674762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad2f582a9c0d4967a04756757bd2829b316fb9a3","datavalue":{"value":{"amount":"+0.7836830019950867","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":"Q2956727$69E8D14D-8B31-4478-871E-981401E2336D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43dc05d6da73e019fae9b4f51c9390f24508e699","datavalue":{"value":{"entity-type":"item","numeric-id":5941196,"id":"Q5941196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d024926959a008a2ed30158ce934e9f8b456cb24","datavalue":{"value":{"amount":"+0.7812703847885132","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":"Q2956727$E509C78D-7785-4387-B3D4-B162151F99AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923e12bc70588a25bfc6556ad4cb38bc2aceb860","datavalue":{"value":{"entity-type":"item","numeric-id":5278216,"id":"Q5278216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa2c5a72d5398d233ee7dfa1a44defdb1251e515","datavalue":{"value":{"amount":"+0.7778931260108948","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":"Q2956727$32188F0D-4373-4ABA-910C-0A866EF4F9DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unique normal form property of higher-order rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unique_normal_form_property_of_higher-order_rewriting_systems"}}}}}