{"entities":{"Q6544114":{"pageid":14155258,"ns":120,"title":"Item:Q6544114","lastrevid":55668532,"modified":"2026-02-17T20:43:00Z","type":"item","id":"Q6544114","labels":{"en":{"language":"en","value":"Normalization without syntax"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7853725"}},"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":"Q6544114$780A688F-AFEB-43CF-AFF9-8B72BBCF1942","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d3548e5e71b0d8cfff484d28a3772ea3de861f2","datavalue":{"value":{"text":"Normalization without syntax","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544114$44579B2B-16F1-481C-9324-C7959071AA2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdfc20540f354a0c9ef707553e1798fdac21da26","datavalue":{"value":"1541.03149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544114$E5D470EF-39FB-494F-B9CA-DA992D759030","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3692c76e27dc49b695ca2d8a287922220322cfc","datavalue":{"value":{"entity-type":"item","numeric-id":636368,"id":"Q636368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544114$D3F84E93-ACF3-4FBD-904D-088A2F58B00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91f5c09b5145beb9895e9a35451f643e912c82f0","datavalue":{"value":{"entity-type":"item","numeric-id":1936109,"id":"Q1936109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544114$1BD79587-7131-4140-95EF-C86202AAE758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544114$7C40D7D6-5D28-4C80-83BC-C7EA649C92F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6544114$8DA38C60-A9C4-417E-ACF8-DC80952F7BF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544114$51B0BB29-3573-4AED-A1EC-6CED18B87D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544114$FAAE5E8B-1730-40D8-BF8C-B60A2A988B09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"960ffaff5852f5d07637cf69f2e6a9f34cd21593","datavalue":{"value":"7853725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544114$65EA6912-7356-4290-9819-CC8AEE6BDB29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa4309af4b8f8828493281cfa73802dbc17c80f7","datavalue":{"value":"combinatorial proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544114$4D553EEB-41A2-4CB4-8FD9-58D966BEC957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544114$19A9D9D0-A4F1-46E8-97B6-21CDF3ECB609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544114$8C7482B2-F1F2-4118-9110-95F9DD83DA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c441b3dee73de3d269547b272c1f7cdc085a924","datavalue":{"value":"Curry-Howard","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544114$79CD6C66-703E-4093-9F4B-414A48B53366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544114$1B177C46-A04F-40ED-B18C-73476752EBC0","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":"Q6544114$A8D9DCAD-B1A2-4757-BEE5-99370C6FF381","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71e0f2226d0ca46bf38c0cd0d6774b0a5f2fbce3","datavalue":{"value":"10.4230/LIPICS.FSCD.2022.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544114$81F95EBA-71EA-46C1-AA62-7B3AAF450FAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e84a8cf8ee981ba6c1e038811e395c82dbff35f","datavalue":{"value":{"entity-type":"item","numeric-id":6654519,"id":"Q6654519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfcf70afd92c57e2a829157a84415953391f5740","datavalue":{"value":{"amount":"+0.8091312646865845","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":"Q6544114$07031CBD-7DCB-4646-9ECA-126584E069AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85a28de9a49c627d5344d4fd033e884b70bacbf","datavalue":{"value":{"entity-type":"item","numeric-id":5111329,"id":"Q5111329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c84e1415b308b23954ade7419bd71925b206c2d4","datavalue":{"value":{"amount":"+0.7866284251213074","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":"Q6544114$1159A857-91EF-4379-B85A-D4F0BCE89CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ded80ef1f98f119951c284cc3f3b9d326fb75c7","datavalue":{"value":{"entity-type":"item","numeric-id":1931341,"id":"Q1931341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a287125a5f268040218396e2ae5278cb8606a035","datavalue":{"value":{"amount":"+0.7453937530517578","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":"Q6544114$4C9B35F3-2A28-4B50-8576-2814381E76EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a1e95e103b48b2ec9f98a8e4b8a2be4e2bde0b","datavalue":{"value":{"entity-type":"item","numeric-id":3599163,"id":"Q3599163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ca535b0f7461e8f5bd3d47a897a63b953e3854","datavalue":{"value":{"amount":"+0.7437573671340942","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":"Q6544114$EFCF95B4-5104-4F17-8195-67178A4723C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f05cd6753491b5836102c47ec38d29706f79787","datavalue":{"value":{"entity-type":"item","numeric-id":5213610,"id":"Q5213610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd669df75511660ed0b79bd1cb025300eb6e40b8","datavalue":{"value":{"amount":"+0.7425624132156372","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":"Q6544114$5F1B3A47-1BFF-4E9A-B25F-52101759E1DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544114","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544114"}}}}}