{"entities":{"Q5055821":{"pageid":7085398,"ns":120,"title":"Item:Q5055821","lastrevid":47785966,"modified":"2026-01-02T16:50:04Z","type":"item","id":"Q5055821","labels":{"en":{"language":"en","value":"Towards an efficient construction of test sets for deciding ground reducibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631242"}},"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":"Q5055821$17916C1B-94FE-400E-B2CE-7331609811E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0593dfe1d0c24739ade5e8cd45bce07a83874841","datavalue":{"value":{"text":"Towards an efficient construction of test sets for deciding ground reducibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055821$F95537BE-7D88-432D-AD96-F45048B5C5A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfca84f3c63ddcead1bd5d48f234baf8bbe9e94e","datavalue":{"value":"1503.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055821$653FA516-3AC3-4ADA-8154-F8939DB38DF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e9df3e90071a38890fe83eeacf076ca656a9964","datavalue":{"value":"10.1007/3-540-59200-8_49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055821$93FD090C-2949-430A-816B-54D906EE4961","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"432029429e00106d4975a90b7a16d8d7ad672435","datavalue":{"value":{"entity-type":"item","numeric-id":2522627,"id":"Q2522627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055821$3A19E4BF-54CB-4E6C-ACC8-9E77D796502A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6133d6e22c8a0c50700cc6fbaa99b58fb93eb956","datavalue":{"value":{"entity-type":"item","numeric-id":5055820,"id":"Q5055820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055821$3ABF3082-EB51-489B-A5B7-64AE026D239A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055821$9648728A-F94E-4E91-B641-732DC1A4F19E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-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":"Q5055821$647DC1A0-C9CD-4822-B447-D27E54D2689C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055821$394916EC-CF61-4633-975F-B28E916F4BB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84c5b2ff275c91c21994fd9033e1bf044506f2b7","datavalue":{"value":"7631242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055821$769E7DE8-5A0D-44E1-B7D0-3DA766A0B42B","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":"Q5055821$37D4D8F8-E8DF-4898-8CDC-46A566F83066","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9f2994a73f7ef2d79e54460dbc67ebe9bd67156","datavalue":{"value":"https://doi.org/10.1007/3-540-59200-8_49","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055821$BE195A8C-0884-4580-85CA-0EC4C92F12B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3baf2b91e059dc399281284519eebb3685b482c","datavalue":{"value":"W1510724501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055821$99306E8B-D767-448F-8CBE-BF9EA0D8A62F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"147d95748fc6218e5d9397f8fa462fbfb99be2ba","datavalue":{"value":{"entity-type":"item","numeric-id":5096779,"id":"Q5096779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055821$6C3E522A-4686-44F5-91F0-1157765AD94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824912308d4d984be3a0bf4cfee41dce5e0411c1","datavalue":{"value":{"entity-type":"item","numeric-id":4237373,"id":"Q4237373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055821$64770492-75FE-416A-A741-F15F027DA07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e6541565e61c7c04b1ecea6dc57283706c32cc","datavalue":{"value":{"entity-type":"item","numeric-id":4942651,"id":"Q4942651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055821$24674C7A-521F-4E01-9C1E-5D9E2BB71A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ad064fde7b4ac14829e7ebd920d2c935ccfa38","datavalue":{"value":{"entity-type":"item","numeric-id":3970984,"id":"Q3970984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055821$000588CD-DC70-4868-95EA-5A3DADF50DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3bc7f7b1ada9047dcaf5db1ffaa7831a76d111","datavalue":{"value":{"entity-type":"item","numeric-id":1332338,"id":"Q1332338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055821$909EA3BF-874A-465E-B871-0C9C138BDD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5bfb17208f024589c23d81de3c137cadf1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055821$630F229A-3B5A-4555-85CB-799FFDD4D897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055821$DBC18993-2903-436F-8ED9-360C7ADA7D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03daacb77e78cc082b4e44225e4d269536dd1b94","datavalue":{"value":{"entity-type":"item","numeric-id":758216,"id":"Q758216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055821$0A8E86FE-FB8D-48E4-8379-062AA41855C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a0a8c6b08ba432aeaaeea926b3c5744fd805f0","datavalue":{"value":{"entity-type":"item","numeric-id":4027631,"id":"Q4027631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055821$BB6E8330-C982-4ABA-B345-FFB1BCFA8F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f28bd12adf4f08b88e1bc9b70377dc99daeb17","datavalue":{"value":{"entity-type":"item","numeric-id":685352,"id":"Q685352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055821$DF999F8F-088F-41F4-8FDA-8173ED4BC896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b7f440e058e0ee22c7a94ee12acfae059d57fc","datavalue":{"value":{"entity-type":"item","numeric-id":5881191,"id":"Q5881191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055821$D93EA8E1-FAF6-42E0-97A4-91C839BE7B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d03a1c424bcaeb63f633ac851296a587c7c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3732980,"id":"Q3732980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055821$1311F0E0-B1F5-4644-B07C-948199B72D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"555000e3f3dcedc83687cc2dc3c962fb55c950cf","datavalue":{"value":{"entity-type":"item","numeric-id":4431392,"id":"Q4431392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055821$8D02778C-FCA7-455E-AC6F-C05C59314735","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f115c0f769483659495a9432673d125ab659e333","datavalue":{"value":{"entity-type":"item","numeric-id":685352,"id":"Q685352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c9e2617afc3a4f38946914347724a78fcefa11","datavalue":{"value":{"amount":"+0.8072450757026672","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":"Q5055821$DAEC285F-3BD1-4D2F-B556-69C4EDD36C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"163acce2d16b0e9c9f4a423021ac63e5bd5116b3","datavalue":{"value":{"entity-type":"item","numeric-id":4027631,"id":"Q4027631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c9e2617afc3a4f38946914347724a78fcefa11","datavalue":{"value":{"amount":"+0.8072450757026672","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":"Q5055821$65E4F792-FEC6-494C-91AB-03A5F128A528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7132a01dc3f4041cf9da9249f0550f82e398c2a3","datavalue":{"value":{"entity-type":"item","numeric-id":5055712,"id":"Q5055712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7322f07f4b42915e608bd5748052f62f2bf541e0","datavalue":{"value":{"amount":"+0.7899138927459717","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":"Q5055821$7AC10105-16BF-4DE8-8DF4-8FC18925AF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac81fa959a72ee6e31357caf2149f286f808d5c3","datavalue":{"value":{"entity-type":"item","numeric-id":1288435,"id":"Q1288435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75623a0b11856bb963ed6d70ddae55d995ba0ab6","datavalue":{"value":{"amount":"+0.7848963141441345","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":"Q5055821$2CBB6886-FDB4-40B3-AD79-85755B06750B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d57eabca7efc862d86ffa26b47e4be4e107eaa2","datavalue":{"value":{"entity-type":"item","numeric-id":1332338,"id":"Q1332338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9dcfb11b28650b9b2cc59517b21d92d5a0052e","datavalue":{"value":{"amount":"+0.7721320390701294","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":"Q5055821$7DD7E073-A930-4C51-AB9C-49C6543748B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055821","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055821"}}}}}