{"entities":{"Q2032296":{"pageid":2043038,"ns":120,"title":"Item:Q2032296","lastrevid":72457467,"modified":"2026-04-14T05:02:04Z","type":"item","id":"Q2032296","labels":{"en":{"language":"en","value":"Satisfiability algorithm for syntactic read-\\(k\\)-times branching programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7357730"}},"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":"Q2032296$94D45B30-AEA9-4B50-882F-A8AF23204771","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55b9d6e616855f5bec292247d0d5ffbdb67d3578","datavalue":{"value":{"text":"Satisfiability algorithm for syntactic read-\\(k\\)-times branching programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2032296$6A4AC7FC-54FA-4D13-817C-328BFDFAD0E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cd3442daa30fb1fdde42d491a57345f968b8d88","datavalue":{"value":"1506.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032296$373A1F53-922F-4C42-8174-4C0F4EC6948A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31fbe4cce131fccba1ccdfe6e89ac12420b07ddc","datavalue":{"value":{"entity-type":"item","numeric-id":722516,"id":"Q722516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$1A5ED150-FE31-490C-923B-995181CB8BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7818cb23a1bb748e287bed7600ee230497de88d","datavalue":{"value":{"entity-type":"item","numeric-id":354653,"id":"Q354653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$0BCCD185-BDD2-464A-B989-89701BF0041A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c3ca709a8055e24df1ec821564d1fb97a85eb2","datavalue":{"value":{"entity-type":"item","numeric-id":714864,"id":"Q714864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$25D2F446-B2D6-4485-BF55-E925A1532225","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$DBE26DEE-3FB8-4A00-9E88-F5348E2B0F66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4eafe39f38e7460c1c34b97e7350c2b7ff1f734","datavalue":{"value":{"time":"+2021-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2032296$04CE61D5-5F4D-4319-88EC-31045C058A26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032296$759E9713-A852-45DC-9AD8-4371AD52CAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032296$1B465B56-0B24-4D81-9EFA-5E8DD79F6CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032296$0619252B-C2C9-4B82-B24F-B36250AC8D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032296$8C453281-523D-4BF1-9B84-E4796C682FAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b077695f18ea4a1d31c431f84168051a90d9eab","datavalue":{"value":"7357730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032296$694174FC-C33C-4574-ACF8-542FC1EF93DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bf1c8d33f6fc76ac2e221ea69999b4912603564","datavalue":{"value":"branching program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032296$76EEF48A-56FD-48E6-B63E-86F1A38B2503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee46f1af42519c85ad6234618b7023b67fb9fcd5","datavalue":{"value":"read-\\(k\\)-times","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032296$1BCAD8E7-D633-48ED-8676-56483FC616B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032296$7005083F-EF6A-4944-B62A-4E121DE8D2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a551d1810e841ab46e8ca10b0debc7610358aca","datavalue":{"value":"moderately exponential time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032296$BC2D7B34-B66F-48E9-9672-18E4499CCEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f48f92ff0b29adb938dd74e93c94c7ffbb091bf4","datavalue":{"value":"polynomial space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032296$C8B59B27-8AC9-489C-AA53-91FF4BA168B2","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":"Q2032296$353CCA43-2C87-452B-9415-6204FC5CA7C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f584635d98d01caaba44c7943fe19828b74f7c29","datavalue":{"value":"https://doi.org/10.1007/s00224-020-09996-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2032296$B879037E-8DDA-4BB2-8D78-0A9C5B87730D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76ed86a815f3486f517a49469e89b2bd55bb76ab","datavalue":{"value":"W3044773971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032296$8182D2A5-7B97-4D8C-8F7E-8287D3D062A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49e6ab2d8acfa914ff18591de59648648d94f3d","datavalue":{"value":{"entity-type":"item","numeric-id":5361845,"id":"Q5361845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$23D18A4D-8805-482E-B1FD-1487A2CE082C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85332f45c574807884e55f6488cd3b450f276a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1117696,"id":"Q1117696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$2E2751D5-4B69-4C32-A5C7-26ACD512CA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e829ea50318f576a76deefc5f66e35383fc7395","datavalue":{"value":{"entity-type":"item","numeric-id":1604208,"id":"Q1604208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$CE545452-86B4-47F9-846A-08A81760C070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d351ae6c2156438a7cf2ef1e070f6ff81014314b","datavalue":{"value":{"entity-type":"item","numeric-id":1275068,"id":"Q1275068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$17F41503-2A0F-4044-A68A-950E6A344A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f4150d4584eafb8457c578c72e61f86894bc805","datavalue":{"value":{"entity-type":"item","numeric-id":2366719,"id":"Q2366719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$059C460D-9C0C-41D4-945B-9D3199F81469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70009dfc8f09fcb3a3435bd0a77374e4e087449a","datavalue":{"value":{"entity-type":"item","numeric-id":2351392,"id":"Q2351392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$671564A7-9FC0-4193-9001-A402B969F1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66b82a5c9158d9a09f7466aa0ec74eec8c5ccd1","datavalue":{"value":{"entity-type":"item","numeric-id":4598173,"id":"Q4598173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$51E03DEB-D6C8-4C8F-885E-D5BE367C11E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b13b685ebea75fca73a69c0d8054a0ad9bcc269","datavalue":{"value":{"entity-type":"item","numeric-id":4388862,"id":"Q4388862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$25F6D03B-ADE5-4CDA-BFD5-A57DA7D0E74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351fcf8547cbdfeeae47fd4ed591a61bf10131f0","datavalue":{"value":{"entity-type":"item","numeric-id":5743451,"id":"Q5743451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$FC07DC56-33E1-4200-A6E8-9CB2781A37B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c959b34df4e4ce5a3dcb3c44885ef547d04acf","datavalue":{"value":{"entity-type":"item","numeric-id":4362278,"id":"Q4362278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$4A6016CC-BFDC-4666-A709-78F148FBDC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef63b26fba9f61aa70c98e61373621876bbf50d1","datavalue":{"value":{"entity-type":"item","numeric-id":976097,"id":"Q976097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$A349E1C7-492F-457D-A64C-2EB9A1B2CB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c342a5822fd64b48c47a22fdf64d1346aa6e0622","datavalue":{"value":{"entity-type":"item","numeric-id":3449853,"id":"Q3449853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$AEA40E35-9B20-4CC1-91AC-DFCF094AE293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bebba68dc7dfbaf1caac8cb5c43ad35be909acd","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$3C672D58-5082-4B10-B481-29A93EA6B107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0867e5b8e568040593883afe89ddea2141d6360","datavalue":{"value":{"entity-type":"item","numeric-id":3281059,"id":"Q3281059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$886B9A72-17FC-4F9B-BD14-2A3F4D5A2E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c4125497f2218907cf62cd27810e71c18d00ab","datavalue":{"value":{"entity-type":"item","numeric-id":4542589,"id":"Q4542589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$CFCDBD1B-B2F7-4926-B44E-C3733F9D8EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c781337e93f50cfcff52b43f4e06243fa301e132","datavalue":{"value":{"entity-type":"item","numeric-id":2848219,"id":"Q2848219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032296$09EDFB9E-1B2E-42CC-937A-6D47BB05AC61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb0acc01f824811be14131a35f77b112a8eb7e50","datavalue":{"value":"10.1007/S00224-020-09996-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032296$632AE673-7170-4C39-9883-15D23459E137","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5793f574ae5507fc166fe9f02a89221a55bb35af","datavalue":{"value":{"entity-type":"item","numeric-id":5136279,"id":"Q5136279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6833a38743b0f9313da491b74b5d489372ef6a4","datavalue":{"value":{"amount":"+0.9822880625724792","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":"Q2032296$071062BA-D7B8-485B-B6E1-3FBB799CBF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77df406c66710d2387ea1933c1422407ef2da619","datavalue":{"value":{"entity-type":"item","numeric-id":4362278,"id":"Q4362278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c630601c979c2b3fca3f4b2f2e5c268925fe5b","datavalue":{"value":{"amount":"+0.8181995749473572","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":"Q2032296$85EB53F1-7B67-4DB5-99E3-9ED9BC40BABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495dbfb770b79668e0ea527569cb62377f83edef","datavalue":{"value":{"entity-type":"item","numeric-id":5956791,"id":"Q5956791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fbfad2c2591f057139675b4c1fdfae2d688f682","datavalue":{"value":{"amount":"+0.7862787246704102","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":"Q2032296$8A6A50C1-6545-4BC3-BE88-96AB72A0A4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df57f68849a56254d23d92239f68e6bf388f38a8","datavalue":{"value":{"entity-type":"item","numeric-id":4258573,"id":"Q4258573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4e4d097e345c3a54ece0bbe7251bf2a216ee0e","datavalue":{"value":{"amount":"+0.7856637835502625","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":"Q2032296$B4223BE1-3B22-4120-B12D-2B0FD6576DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2923c2a3469009ed693fa6c3f12e346f7fa48f54","datavalue":{"value":{"entity-type":"item","numeric-id":5946705,"id":"Q5946705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4acec646f5bffc801f434e12f629068d98a9e7","datavalue":{"value":{"amount":"+0.7743213772773743","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":"Q2032296$54546192-6067-42FF-ABC4-D45B94E28DE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability algorithm for syntactic read-\\(k\\)-times branching programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_algorithm_for_syntactic_read-%5C(k%5C)-times_branching_programs"}}}}}