{"entities":{"Q5357787":{"pageid":7387361,"ns":120,"title":"Item:Q5357787","lastrevid":52898141,"modified":"2026-01-23T18:28:02Z","type":"item","id":"Q5357787","labels":{"en":{"language":"en","value":"Properties and complexity of some superposition choice procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774274"}},"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":"Q5357787$225C367F-CD7E-40CE-830A-88500D5DDF9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85488a78efd7cf6dc29fc698ee466a4bbb5a1bab","datavalue":{"value":{"text":"Properties and Complexity of Some Superposition Choice Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5357787$8D4E839E-56F9-48CA-B0A6-5F61A7F27A72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fe06481d3e4096945dd38b26738a074c7c49212","datavalue":{"value":"1371.91055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357787$C06E2DCB-439D-4AD7-ACF6-3360641CEC3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dc1e4d1932e41b79528aa867dccb3e2f6c2429d","datavalue":{"value":"10.1007/978-3-319-18167-7_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357787$2C39425A-BD0F-4B88-A92C-5215882F3865","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5fef4f6c9032a99d128057742de04d0f6a5fec1","datavalue":{"value":{"entity-type":"item","numeric-id":3133359,"id":"Q3133359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357787$9F105119-B3CE-4B6E-AC99-D3539609C300","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"86c17446e8fbe65d1d4392741fbe04580ac288c8","datavalue":{"value":{"entity-type":"item","numeric-id":267724,"id":"Q267724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357787$E4DB1292-7D2E-4C3E-9848-55F2C3461B21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5357787$EBCD94AC-8649-47C1-AB50-A15D41EFEA61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"824cfdf2b129d72f7287008060b5bf497f3b4f34","datavalue":{"value":"91B14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357787$96951850-19CF-4FA2-9271-1C957B0E2322","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2cba24eaa1dbc15c68d964a7f8a44c627c910d0","datavalue":{"value":"6774274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357787$8D769E21-8B40-4CBC-975A-7E13A717D52B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86a171fa82c1ea15db4e7a7c23402cbb117f3b1","datavalue":{"value":"superposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357787$FF1C8C0F-B7C6-4CDE-8BE9-CE94DFB6433D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e5ad40bb002746ff48bca259fba18fe86a78b1f","datavalue":{"value":"choice problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357787$FB736C4C-370A-4046-B974-D9255804168D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30485828288b19587eae45366f96ec530c75f605","datavalue":{"value":"choice procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357787$EF48A71C-DE91-419E-800A-A0AA6606F44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357787$37DF0FA3-C13E-41D0-9E37-F73D10D8995A","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":"Q5357787$70654031-9C13-4A7F-87EF-3A5297986326","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"428bbbbcf3a1db38d75989a3069eb86bea0e2621","datavalue":{"value":"https://doi.org/10.1007/978-3-319-18167-7_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q5357787$8C1D8135-A2B6-4EAC-BE2A-64F341C4CC9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9071cb74c22a46d263fd29f52ec79c0b32fedb1e","datavalue":{"value":"W757795384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357787$68FEF220-9436-4609-BA0E-F641F42CCB2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade5838abf55b5af926a9ea1bff80fc7d2dfe915","datavalue":{"value":{"entity-type":"item","numeric-id":4382651,"id":"Q4382651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357787$9F66D5BA-DD69-4AF9-BA9C-4893B077EBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"549c40d0e3cd610a8b5734bf9924e00e983c2c4f","datavalue":{"value":{"entity-type":"item","numeric-id":1882190,"id":"Q1882190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357787$B5DEBF0C-63B8-447F-90A2-9010C531A823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d23d2ffa1fefba7b7d729a01f190d355aa00a424","datavalue":{"value":{"entity-type":"item","numeric-id":885843,"id":"Q885843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357787$20CD16A2-3E24-4C27-90B9-D0EDD95F139B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bcaa453b7c36e20aa572939d4a950675a3076f","datavalue":{"value":{"entity-type":"item","numeric-id":708882,"id":"Q708882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357787$3E024897-DA43-41FA-A087-2C0FF84D17B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87f5d65d395219e018ac73460e0b66cf0cd75ed","datavalue":{"value":{"entity-type":"item","numeric-id":1567489,"id":"Q1567489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357787$732A42DD-8CFA-416F-B5C5-CA577BF1B06A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8339f5f49e8a7310bce39162f03fc919ffa04f","datavalue":{"value":{"entity-type":"item","numeric-id":3835247,"id":"Q3835247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a32f96eb6be255c43e6410ff82908a2d8b53054","datavalue":{"value":{"amount":"+0.7368804216384888","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":"Q5357787$FA129557-AFC0-40F8-8B31-97617F2B5556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbcfd52a4fbfee9253cb93fcdc0159bd968b632e","datavalue":{"value":{"entity-type":"item","numeric-id":4586095,"id":"Q4586095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f45187344c03580fc784bb939aff57c92ea6896","datavalue":{"value":{"amount":"+0.7327775359153748","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":"Q5357787$E9338EF9-79EB-45F2-AE1A-A286ADBA539E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fac0fc202082be7a1a70e094c84b05f92464923","datavalue":{"value":{"entity-type":"item","numeric-id":3730298,"id":"Q3730298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a909182f7b1d81dfe07cb7d3c7e5e304b8b97e3","datavalue":{"value":{"amount":"+0.7301068902015686","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":"Q5357787$48C9A1C5-63DD-4A16-9B9C-01A434B1CF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786b0c25e3d905f2a20f3eb57b8918b2d5b5d9f7","datavalue":{"value":{"entity-type":"item","numeric-id":2726410,"id":"Q2726410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"276a55c3390430580f31eeff2f01d2077f1070fa","datavalue":{"value":{"amount":"+0.7299396991729736","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":"Q5357787$21FD2D0C-E43E-4A80-9DAA-6643E2B9EB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff434ece44d58d3131271df11169b2103a04aded","datavalue":{"value":{"entity-type":"item","numeric-id":5150301,"id":"Q5150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb0a3ccf8705afacbff1af8907d8780f31116fe","datavalue":{"value":{"amount":"+0.7277506589889526","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":"Q5357787$1567BA7A-797E-41E0-A5F8-20FDE7FF273F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5357787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5357787"}}}}}