{"entities":{"Q683744":{"pageid":685593,"ns":120,"title":"Item:Q683744","lastrevid":63570915,"modified":"2026-04-11T14:03:43Z","type":"item","id":"Q683744","labels":{"en":{"language":"en","value":"On abstract normalisation beyond neededness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6836565"}},"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":"Q683744$601BEBDB-62D1-4157-958A-9209AF67BA6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5640e57c076596498d276a26968c2820af71af2f","datavalue":{"value":{"text":"On abstract normalisation beyond neededness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q683744$5219FDDD-1851-4428-84F6-DC76811883A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5af1806754dc3e2ae7a196ac46ce8f3b3d1ad539","datavalue":{"value":"1387.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683744$EAA6E4B1-1058-4D9C-8743-2DAD8D57E2D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32fec076cd784676ce6465fb8cbb84aed2bdec55","datavalue":{"value":{"entity-type":"item","numeric-id":408546,"id":"Q408546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$859A1C5C-FC5A-40BB-AC55-FBB9E7D41CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$B8A27F8B-6A7F-4206-B094-A7DB238A142A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f94e217cd8d9c96a0d0d37f7634467644cf2ad52","datavalue":{"value":{"entity-type":"item","numeric-id":683742,"id":"Q683742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$DE1F7CE6-86C0-4E54-9376-9394FF3036EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdb3ae3415ba415c06f89f01c89d6517b82a8176","datavalue":{"value":{"entity-type":"item","numeric-id":683743,"id":"Q683743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$326AB48B-2AD8-4A70-8318-EDA0A3CA36E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$095CBCAF-8441-4B4B-9524-27F50EC297C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"696972687f2f7c2b21703a3524899b0c6104fe99","datavalue":{"value":{"time":"+2018-02-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":"Q683744$4AE1260A-7D56-439F-802E-D64DEF2E4FA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac9d2557b9c933ffa46f6a22204eac0db668cd35","datavalue":{"value":"https://arxiv.org/abs/1412.2118","type":"string"},"datatype":"url"},"type":"statement","id":"Q683744$94615991-256A-4912-A7ED-785CAB2FA7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2413d0c1b1a17909c8f75d1068bb9e8ba3e129e","datavalue":{"value":"http://hdl.handle.net/11336/72890","type":"string"},"datatype":"url"},"type":"statement","id":"Q683744$72E66E2C-3B1C-4734-BBA8-B25D2D029988","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683744$85895E5E-E42B-4F88-AB45-29997AC6E547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683744$5CA00D84-BB3D-4431-A8FD-8752AE647A0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb48067f445264661f8cce2caad0151fcc71d6de","datavalue":{"value":"6836565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683744$065C769F-B957-4B26-A0D6-FE0E441D8CBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q683744$8DD2B6EE-5AF7-40C0-81C3-3C690AB89BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q683744$4ED0C342-651A-416E-8B5A-1077D61C085B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4835afdb995328103ff6430a869d71c0897676e","datavalue":{"value":"neededness","type":"string"},"datatype":"string"},"type":"statement","id":"Q683744$1C4A0C1C-480F-4C6F-B4C5-D13F0B7CD4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cabb11f0794f0c88c3161873efa13fd23e9f2016","datavalue":{"value":"sequentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q683744$8495BBF4-4426-4DCD-A347-322BDC4A1045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b85d52ce2af9423a6685f9466565f0a25344556","datavalue":{"value":"pattern calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q683744$2071DD4B-4DC5-4591-AD43-016F4DBD0E9B","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":"Q683744$606EF9CB-7265-467D-9157-F441378DE3BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3472b06d726b76e5874b3c5557bbbbdf9dd2f46b","datavalue":{"value":"W2963588438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683744$8794B293-C162-48C1-9038-964C0E60A8EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"736b927b44af9ef59d1147d2f70b5fea094590b5","datavalue":{"value":{"entity-type":"item","numeric-id":5408457,"id":"Q5408457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$9CEFE3C7-E5DF-4421-8B75-B2B6DD5BF64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55eaf870926bb49d2ce288fcc4e44fd13c4c4c9","datavalue":{"value":{"entity-type":"item","numeric-id":4635589,"id":"Q4635589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$F4F4CC1D-0D72-4650-9C87-0DD587D20393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4329d9a561dad86ec5e872d1d0bbeed9de52b55","datavalue":{"value":{"entity-type":"item","numeric-id":671504,"id":"Q671504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$4C5409D8-CC4B-46AC-AA19-EA956F2B1E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$2383F595-A42B-4626-90D7-EEB87AE86C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58e93c3e5660f80a77ee8087620a3ab078ba7181","datavalue":{"value":{"entity-type":"item","numeric-id":5111900,"id":"Q5111900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$2D54AE45-97F0-4E83-9400-DD41D53DE3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f029d75d16f28910d4e43fa506b7a97d7a9573b","datavalue":{"value":{"entity-type":"item","numeric-id":3750994,"id":"Q3750994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$0B57437E-9267-47F4-B70D-2DBA9A8BF329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$F45DD74B-1864-45DD-BAE8-E7F06CCB9CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c41d9f46aee338925da759243b2f2cd17e3be8","datavalue":{"value":{"entity-type":"item","numeric-id":549186,"id":"Q549186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$304C34B1-C86F-418C-90DD-87DFBA14F999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1178a305db70d063c9414f889befd07cf69660c2","datavalue":{"value":{"entity-type":"item","numeric-id":3629217,"id":"Q3629217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$FED99979-E4F0-48C2-8602-59B846C4CCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4dfa02e22656ef5294f0ab6c282863313bccf4","datavalue":{"value":{"entity-type":"item","numeric-id":5899011,"id":"Q5899011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$B99447C0-BC68-4B73-9155-0AE5C40881D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c6855737f65e184b6ceee78000387e49e4fd454","datavalue":{"value":{"entity-type":"item","numeric-id":3616447,"id":"Q3616447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$A9101407-AB64-4CE1-84AD-9FF96CDE32BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7962d1820153a6357b92c54b2777c99d450762","datavalue":{"value":{"entity-type":"item","numeric-id":1825644,"id":"Q1825644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$793B53E5-7BFB-4B6B-8A11-DAAE3DFB2CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$D7E40C05-AAC3-4E49-AF83-7D5B3FA73E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$F27E520F-871F-4861-8850-8A621445BDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa703a3567d0034a8a5c9d58b556309ae4271aa","datavalue":{"value":{"entity-type":"item","numeric-id":689097,"id":"Q689097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$8CBF9861-39AF-43E9-A246-5FE1FA8F73BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e2caaa7099b6d8b686836cba18890977228cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3024914,"id":"Q3024914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683744$1922D5B6-2BCC-4B03-B0F3-3F7545FB2CE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb7875e3cc03d3b2967d80938da49746b928f72d","datavalue":{"value":"10.1016/J.TCS.2017.01.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683744$8CBE5C97-3106-4FB4-AEF0-308DDFBD5C6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f263e5a410805f777a8518e81c880cce0b2db2ee","datavalue":{"value":{"entity-type":"item","numeric-id":5111900,"id":"Q5111900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049d214a0edac6a853b851654ee1821c94ad7a00","datavalue":{"value":{"amount":"+0.7807746529579163","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":"Q683744$8B3260AA-EBE2-4A3A-B81D-7315403BE419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a379345f94b5932f8470dab9ad0a149fc8c8284","datavalue":{"value":{"entity-type":"item","numeric-id":4500179,"id":"Q4500179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2277f902a65eb4df9e99b42389c6fce5b96da93c","datavalue":{"value":{"amount":"+0.7739980220794678","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":"Q683744$315C80BD-67BA-428D-868E-3CBFBFBE5379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63893315afbe4ebe880d30cea90d9a7c56ec7d1","datavalue":{"value":{"entity-type":"item","numeric-id":4500174,"id":"Q4500174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f21a62f0bb6203c42a61f30726302f477ff167","datavalue":{"value":{"amount":"+0.7732303142547607","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":"Q683744$6E1EA7BF-3456-4414-9F1E-C064431B3FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2024b93cbb3d0b66b9df981be4b3b3ab99ff353a","datavalue":{"value":{"entity-type":"item","numeric-id":3522017,"id":"Q3522017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd99a3c19eee84468b4122372b0bd23b49371cf0","datavalue":{"value":{"amount":"+0.7527103424072266","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":"Q683744$45740E1B-1946-4F3C-984A-19E2133D00C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3670522678c6e0e5d371ae4c9acfdb3762ffa3b5","datavalue":{"value":{"entity-type":"item","numeric-id":5369497,"id":"Q5369497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba54db77f566a7015e1b8be9db70ab6e760160c6","datavalue":{"value":{"amount":"+0.750590980052948","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":"Q683744$952735C0-2F0D-49F2-9A94-BE8A73BD1989","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On abstract normalisation beyond neededness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_abstract_normalisation_beyond_neededness"}}}}}