{"entities":{"Q3647261":{"pageid":5677167,"ns":120,"title":"Item:Q3647261","lastrevid":50837747,"modified":"2026-01-15T08:47:35Z","type":"item","id":"Q3647261","labels":{"en":{"language":"en","value":"Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640539"}},"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":"Q3647261$3C373DB4-2D87-40A4-A3D4-2D552164ACF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dc3ebcb9c65524c245b1960da596551b8c33711","datavalue":{"value":"1185.68634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647261$3F3CE983-ACF0-4C98-A935-C9304B15F66F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64739b60fce01b29f9f8b980828908c6fd9648c9","datavalue":{"value":{"entity-type":"item","numeric-id":2852037,"id":"Q2852037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647261$F73B8EE9-CD87-4EE5-8DFD-7629BB22B633","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3647261$AC5CC8DB-A6A4-4DA3-BB08-2963110183D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647261$4C6AEF3F-192A-4D6E-AEB3-3C0EB6BE82C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647261$1E0C9669-D542-44C8-A8FF-DF56D3DEB3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647261$05E7033A-AD11-4DB8-895E-253763C2A7CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94d8acc69007cf10db56b6e53847bc3d5e9754e3","datavalue":{"value":"5640539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647261$A66144AC-6469-45C7-887B-B10A4B17392B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33359171bf377a964300d0180e0e5fa6a78e432","datavalue":{"value":"conditional lemmas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647261$48E029BC-782E-4F79-A054-1333DB051DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc535e452a8f19b450f53e1cb6f4019ed7759993","datavalue":{"value":"case rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647261$8A436CAD-C8ED-493A-879A-BAFB6257DEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58df8e17e624d62223ea24283e256d59839b4053","datavalue":{"value":"contextual rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647261$56E79040-5CA5-4FCF-82EF-C2E9777ADE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ffcc3545bd7b0f94969c35c641231860a38c51","datavalue":{"value":"heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647261$5835734B-04C3-41B4-B179-DA59367A5BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"533aee1dae057d5a745b5cb63943634511fa05c1","datavalue":{"value":"markings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647261$D570A809-8385-47BC-AA8D-17CFD5A0F1ED","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":"Q3647261$C5D7A7AC-3E07-4704-B3D5-F849E4E74A06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"265f9f5e9db8b40313331abc9d0ffdf9dbeb2826","datavalue":{"value":{"entity-type":"item","numeric-id":4847001,"id":"Q4847001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"285d6b5eaee3d0ecfcfc7327f1b4b45c688f68e2","datavalue":{"value":{"amount":"+0.7302947044372559","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":"Q3647261$5427BBBB-25BE-4617-A7E6-536BAED90AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd4d5e4ed8d8ec02312bde3b3eebb1213a03487","datavalue":{"value":{"entity-type":"item","numeric-id":5881200,"id":"Q5881200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63463689d1401896699215b3f93cfeb9c2445abc","datavalue":{"value":{"amount":"+0.7235494256019592","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":"Q3647261$C2EDA11F-4701-4704-BBEB-F2601573B58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37ee5d386210c6d810a66965a014784acd19b2af","datavalue":{"value":{"entity-type":"item","numeric-id":1404984,"id":"Q1404984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc5aa5b2dd00034ed72534d1add1d47f976cb0f","datavalue":{"value":{"amount":"+0.6904479265213013","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":"Q3647261$7EF96C18-51CA-44B2-A425-87B127065810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7066be64704c79ba9c4d47904936d0290ae4f258","datavalue":{"value":{"entity-type":"item","numeric-id":3568223,"id":"Q3568223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d75bddc5f60205dc6985e65463edba82ba61224c","datavalue":{"value":{"amount":"+0.6896006464958191","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":"Q3647261$5D4F902D-C3FD-4FC6-83AF-1CC91D5A976A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dda344dc59111ebdc243aa7385d8c420b1f3686d","datavalue":{"value":{"entity-type":"item","numeric-id":2767011,"id":"Q2767011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2697996f7fc9a7c18c9d04ac4ce27d12a05ba1","datavalue":{"value":{"amount":"+0.6890585422515869","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":"Q3647261$5B581D6E-97E7-4134-A60F-0153F6A85A12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3647261","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3647261"}}}}}