{"entities":{"Q293311":{"pageid":295078,"ns":120,"title":"Item:Q293311","lastrevid":42321421,"modified":"2025-06-05T15:13:38Z","type":"item","id":"Q293311","labels":{"en":{"language":"en","value":"Extending reduction orderings to ACU-compatible reduction orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6590723"}},"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":"Q293311$48BE0860-FD59-49C5-97B4-AB44AA7F51B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6898c31cd304632661e5db62ec843341be4678ef","datavalue":{"value":{"text":"Extending reduction orderings to ACU-compatible reduction orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q293311$130FDC97-7DC4-4A80-ACF1-246FA51C9291","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f03c39e507d828983d291f7158a82400d7866077","datavalue":{"value":"1339.68243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293311$8D839416-A3FD-4C71-9946-7C60BA3FFDB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d928d3cfa0dc54818d5128f0978aa83e258f845","datavalue":{"value":"10.1016/S0020-0190(98)00084-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293311$3F365727-D0BF-4FEF-A2D3-8A9303EB3A54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecde3ddf4f96a8da457aeb906b2979614b354694","datavalue":{"value":{"entity-type":"item","numeric-id":293310,"id":"Q293310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293311$082F031E-6987-4E11-AE13-7307B299CB46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293311$07F12F9A-8699-4118-B974-76B7E83DF46A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38536433ca3187d3c315e3ccb89d3160798fa7b","datavalue":{"value":{"time":"+2016-06-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":"Q293311$D0A13C01-3C82-45A7-95C7-964B160C5DCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63edc05f5688770624c05903c747f4fb224d59b7","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0020019098000842?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q293311$04A1D353-6E17-465D-B119-A47DBBA1EE71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293311$9804F2E3-B54C-4AE4-A024-B5452670340D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293311$CAE8B764-6DBE-4DDB-ACB7-E7A1F72C7D33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5a0ae003cb80e36c0583d14201346e8dcc0f25b","datavalue":{"value":"6590723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293311$25D1BBAC-623C-4C72-BA02-8468440F4591","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q293311$DAFD3C15-FD6B-4A39-923E-115B05B42C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q293311$AD9BBEFF-E394-4775-8609-4F56E7F82323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q293311$F579E16A-AD30-4BCA-AE87-5CA09CDEE626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb8f1855a6bc647aac85e82cefa06b418c04fa4c","datavalue":{"value":"abelian monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q293311$34EDB5A3-04BC-4A04-8F6E-C8F258AB387D","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":"Q293311$CA08C91F-E3CB-4058-88D8-5AC0C6EC61D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f756b9197ed68879663f9ba58f4a875c32dd2b","datavalue":{"value":{"entity-type":"item","numeric-id":5055710,"id":"Q5055710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293311$128DF5EA-E789-42EE-B86A-2C49FDF013C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293311$B9872969-8241-425F-BE5B-15286C585E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa20f798a3508bb9cf8013d406acf12a82136ef","datavalue":{"value":{"entity-type":"item","numeric-id":4647536,"id":"Q4647536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293311$E71AE6C2-ABF0-4074-814A-4EA365BE62D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d15513196ac5812dda4740f218d50ad21eb90c","datavalue":{"value":{"entity-type":"item","numeric-id":1199927,"id":"Q1199927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293311$A5CF80A6-9781-4621-BD8C-F51F48E97089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d0777e830433e0900baf8da5e83b789312b8e0","datavalue":{"value":{"entity-type":"item","numeric-id":2563692,"id":"Q2563692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293311$95152840-D3DF-476F-971F-D540E3832D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33b3c686850867dba523f25352988532c0df7b98","datavalue":{"value":{"entity-type":"item","numeric-id":4647535,"id":"Q4647535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293311$818FAA24-BFF8-43AE-9108-09F28C9C8B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293311$087C2603-FCCF-4926-B700-82EA6BB3E85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5c67cd171b1f95dc3609eb1897130bbe25b548","datavalue":{"value":{"entity-type":"item","numeric-id":5055850,"id":"Q5055850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293311$A1B8AC62-DB41-4150-AA48-BBC7E85381DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1724c6370b61ce9a49060e5ba63f4ced0a24d562","datavalue":{"value":{"entity-type":"item","numeric-id":1864899,"id":"Q1864899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293311$8F2C20C1-0949-47BA-BFD0-5E779D02AAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50b2a66f661d583355130e48334b74efaaf1f7d","datavalue":{"value":{"entity-type":"item","numeric-id":4249895,"id":"Q4249895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293311$73BB3F86-79B4-4549-85FB-A5D9C5DC14EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e7f798e8d249680e44ed58992bb22438aad92f5","datavalue":{"value":{"entity-type":"item","numeric-id":1808564,"id":"Q1808564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b5297b3c6296a3dbd2d85df47467a81fe66632","datavalue":{"value":{"amount":"+0.8665005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293311$C70F62C2-DD7B-492F-B975-A2BB82637CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beca6760a7b759c510972b838153cae4f330f78c","datavalue":{"value":{"entity-type":"item","numeric-id":5055819,"id":"Q5055819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b5297b3c6296a3dbd2d85df47467a81fe66632","datavalue":{"value":{"amount":"+0.8665005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293311$1C42F261-27FD-4873-BBE1-0709B88FE950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d253e9e936bf23eae9d445d2a82c7ce17c22ae5","datavalue":{"value":{"entity-type":"item","numeric-id":1198005,"id":"Q1198005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feb1d06c7302c2c489cb2b12b0e0b8d31f0d4bcc","datavalue":{"value":{"amount":"+0.86590195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293311$28D71651-763A-46C1-9EDA-72BD05BBC239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4dfd60752e5a526f819ef0a629d7320e9888273","datavalue":{"value":{"entity-type":"item","numeric-id":5055737,"id":"Q5055737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087015f45e3c568da66bb61002053bd2906db56a","datavalue":{"value":{"amount":"+0.854504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293311$42F1238E-917C-4C68-8786-7F283E17DCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90eba00a0e38e067627c942fd82a2ce1e15148f","datavalue":{"value":{"entity-type":"item","numeric-id":5096208,"id":"Q5096208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d5ed051412b62d3341b5aa21a2797da732244f","datavalue":{"value":{"amount":"+0.84314406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293311$6D748541-FC20-45B8-BC9A-AD2A4534A170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c2edba6983ba234bf851e9fefefae2e677271f6","datavalue":{"value":{"entity-type":"item","numeric-id":1209613,"id":"Q1209613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1261b260446ea041dcb9109157181989fe37c7a","datavalue":{"value":{"amount":"+0.8383548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293311$4665326B-B5CD-47CA-9C88-D1EA85D7D001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f723a7dcaa1877bf57d0f7d2e3218d3dc2f5acf8","datavalue":{"value":{"entity-type":"item","numeric-id":5055752,"id":"Q5055752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1261b260446ea041dcb9109157181989fe37c7a","datavalue":{"value":{"amount":"+0.8383548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293311$A47D5303-B82D-4D79-9BF1-8E617E403B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40aec1641e710bfa39b26d84f7da0298e348ae2","datavalue":{"value":{"entity-type":"item","numeric-id":686479,"id":"Q686479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f97276050d759706b03069e780f59fa509efab","datavalue":{"value":{"amount":"+0.83506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293311$C82AD2A1-8546-4209-B332-05A9A6CFD2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e0b04b6d8660ce535a00a4539c6c682a4a0476","datavalue":{"value":{"entity-type":"item","numeric-id":3741335,"id":"Q3741335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc96d5ecb53be1d13d24bb70df3d2495e4fc9326","datavalue":{"value":{"amount":"+0.83378416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293311$B7E14B9F-BB9C-4367-954D-5E1AE62A342B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90876a4dccaf3458c2fc1c0199e90fd643a98046","datavalue":{"value":{"entity-type":"item","numeric-id":2956685,"id":"Q2956685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccff2b0e94b1fb925b30ef727b6492c346225a38","datavalue":{"value":{"amount":"+0.83214223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q293311$A6BB84C6-0B74-4A40-9852-CA4AF899761B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:293311","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:293311"}}}}}