{"entities":{"Q5916291":{"pageid":8032824,"ns":120,"title":"Item:Q5916291","lastrevid":102075959,"modified":"2026-06-06T03:25:56Z","type":"item","id":"Q5916291","labels":{"en":{"language":"en","value":"Constructive decision via redundancy-free proof-search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958114"}},"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":"Q5916291$72EF5777-02B2-438A-AEC2-C408F79247EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55ee5de75f7ad49b6c895f0d0b3880ff94557f10","datavalue":{"value":{"text":"Constructive decision via redundancy-free proof-search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5916291$82340AAE-83D4-46AB-9596-AD873B7363FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67b61dd8fb4007e2ce5230851ce183308cda652d","datavalue":{"value":"1468.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916291$9DC7C9AF-0966-4530-BE4A-6C11BBDA599A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5c10999fce62bb2d7376f3587974bcf09eaef18","datavalue":{"value":"10.1007/978-3-319-94205-6_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916291$5F4B581C-8B20-4BCB-BB0F-81443434E9F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa467ab0fb5921a8aef55b984db7a2882bc4957f","datavalue":{"value":{"entity-type":"item","numeric-id":877885,"id":"Q877885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916291$213D5D5A-FC3A-49DF-8104-9F89B023A1CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916291$22966F6C-C783-4A72-B54A-7699D72BC8C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5916291$C6524197-54CC-4240-A2A9-203168EC99ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916291$974E6152-0723-419D-BBED-CDBD73198F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916291$18E4456F-9459-46BB-852B-E5FA20D76E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916291$4C5AB535-E691-4598-BDCD-167A22C75693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916291$EBDB94F3-843F-4AD6-8043-7910755525FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916291$B27D8A9C-CD99-42F6-A197-17CE0F5AB20C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3621bbeb7ffb081d2c2894a5c5c1a34c4f790b41","datavalue":{"value":"6958114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916291$DB9B1152-F75E-48A0-AD45-CF083DCA7777","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c8e8f309ee6107ff7c08672be9f1d9a9cacb6bd","datavalue":{"value":"constructive decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5916291$31F8F6D4-B390-4A19-8A85-BCF25FD14AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5916291$86BD2B85-DAC8-436E-85A8-2455942F6D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5fcc57f1bd03fddc1ac571cc55b844c2a5f3c29","datavalue":{"value":"redundancy-free proof-search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5916291$33726AFA-96EA-4DD1-9051-74C53A519288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5930e8b62f0ce86a1dfbd0d9b94da4380ec90b98","datavalue":{"value":"almost full relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5916291$A03E5B40-2FFE-4BED-8CFB-B0994F51FAAD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916291$CDCBA001-BC1E-41D9-99A1-8EF82A7E6945","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":"Q5916291$D5F5C459-E91E-45F5-ACF1-8F0F8ACDCC5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68518a5ba09c679c23b3cd3fdbd16b366f60e1d6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94205-6_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5916291$78B623BE-7AA8-4FB3-AE24-C3072EEB680F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ace5eea38e7581c29a939b49e4c2fa10c975e147","datavalue":{"value":"W2811017412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916291$9C978255-02CE-4E1F-AF54-F2C55734399F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320d9ebc7d73e9335f687d11eb1828895a940670","datavalue":{"value":{"entity-type":"item","numeric-id":5919012,"id":"Q5919012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bccbc65f14c985f27253b90b0be3137bb6152bf","datavalue":{"value":{"amount":"+1.0000007","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":"Q5916291$4F1F4A93-2AD6-4BAF-8C34-04BCB40CA45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88952958967e3879620dfc2a126d4c63fd648c1a","datavalue":{"value":{"amount":"+0.84674627","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":"Q5916291$741FF764-C985-486B-BB88-7C5778553079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b449a0bd0229c951dfc5833888215831e1c36d6","datavalue":{"value":{"entity-type":"item","numeric-id":5899156,"id":"Q5899156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a139a12ace639a1d50b55edf401658fb51f863c9","datavalue":{"value":{"amount":"+0.8427908","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":"Q5916291$6A3236CA-9A28-4C51-B585-99166EFE796F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f3bd1ff5d06e991c5abb002d27b63e47835d85","datavalue":{"value":{"entity-type":"item","numeric-id":4992896,"id":"Q4992896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9297f9ee506fd277570bf7579c9f96aee08c3d","datavalue":{"value":{"amount":"+0.8416991","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":"Q5916291$81412220-172A-4675-BC21-7E0CFBEBB4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46ec990cd9a3ce6cac4ee58ba574342be6bfc13","datavalue":{"value":{"entity-type":"item","numeric-id":651313,"id":"Q651313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa5c2999030e9beaef14c10cadb78622f988e38","datavalue":{"value":{"amount":"+0.8413315","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":"Q5916291$0CBACD7E-62E1-4A7A-80FB-2BFE24A6FFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03cc6980bbaf3d84b36c7b9d9d6b242a7760b1b0","datavalue":{"value":{"entity-type":"item","numeric-id":4829322,"id":"Q4829322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc96ff3a7a1073d5c246b09d397277f293224e5d","datavalue":{"value":{"amount":"+0.83790684","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":"Q5916291$1419AFE3-45AF-48B4-B323-1D44C450E896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a8122640eb70d1e880812195786a742162af73a","datavalue":{"value":{"entity-type":"item","numeric-id":779163,"id":"Q779163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7180232d6ee62ecee003c0328e38a1c123120a97","datavalue":{"value":{"amount":"+0.83678997","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":"Q5916291$F1FC2166-3FB2-4B50-BA9B-C5A6E8060990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac1d76b40a96cc2e1d4b76b743c86c899826733","datavalue":{"value":{"entity-type":"item","numeric-id":3608422,"id":"Q3608422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37cffd85cc5759ec3db24b99a4071fcfa9128576","datavalue":{"value":{"amount":"+0.83579874","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":"Q5916291$0AFB6898-920B-4010-A79C-7D309704BA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3225641f01c2d8218483865e04de412376b91f5","datavalue":{"value":{"entity-type":"item","numeric-id":843219,"id":"Q843219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61145ead15304ab3be080bc453805e3446e9966","datavalue":{"value":{"amount":"+0.83300686","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":"Q5916291$AFFE8F06-D54D-4BD0-98DD-DB475D50EFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f7881f86f308faed7549e24ff0faacd18739f7","datavalue":{"value":{"entity-type":"item","numeric-id":3758805,"id":"Q3758805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8b45be505b541b11ae52fb334322d039004d936","datavalue":{"value":{"amount":"+0.83247113","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":"Q5916291$587D9B26-54BC-46FE-95FE-5E5DF28735EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive decision via redundancy-free proof-search (scientific article; zbMATH DE number 6958114)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_decision_via_redundancy-free_proof-search_(scientific_article;_zbMATH_DE_number_6958114)"}}}}}