{"entities":{"Q5111240":{"pageid":7140814,"ns":120,"title":"Item:Q5111240","lastrevid":53740481,"modified":"2026-01-25T15:42:08Z","type":"item","id":"Q5111240","labels":{"en":{"language":"en","value":"Satisfiable Tseitin formulas are hard for nondeterministic read-once branching programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204360"}},"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":"Q5111240$5E0897A8-0982-4D9D-8A97-950437219D72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f3cd69f6087eff48af321571f1b7acda7873c87","datavalue":{"value":"1441.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111240$012F6BC5-B6DA-46A2-884C-6827042DA821","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2b7504cfac7ecdb10c8e36afadb8e9f3eeb06e7","datavalue":{"value":{"entity-type":"item","numeric-id":2043883,"id":"Q2043883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111240$2AD4197D-EF11-4536-A35C-2D47AAE196AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9dd58384b41cd0e0a1a2a3006084e0e7c07e0e8","datavalue":{"value":{"entity-type":"item","numeric-id":413275,"id":"Q413275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111240$560BF5AB-15E0-4EB5-8984-3C65A608824C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111240$DAB1DACF-3D92-464E-8AE1-C3ECF4F0328C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111240$4D423E94-C146-4A13-8A4A-85F741A597ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111240$A6146F76-3B61-4602-9BAD-4F48050C758A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111240$9AF493E2-DE90-44D2-9CC6-9487B3D749D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111240$4AAC4CE6-33C0-4BBE-992A-76531F6BF2CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93a9eec90d208f6a7b6071361336b320939e600e","datavalue":{"value":"7204360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111240$649ADB7D-E46E-472D-8B32-3D1945C07D53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f522319ed294a2a58954bcaeb2c8415fcccf84d","datavalue":{"value":"Tseitin formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111240$6CE6B20E-3504-4186-B892-D02F879BD75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad37d71a040074748b834ec8d9584eea5880ccb0","datavalue":{"value":"read-once branching program","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111240$7106FEC8-9E11-4E89-BFE4-2783685EF94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527fd9bb73202f3ccbc2e98a6043eb9ea7b5dd2e","datavalue":{"value":"expander","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111240$3D624F62-33F9-474D-B42F-3AE7AE45484A","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":"Q5111240$AC819176-9A64-4C51-93F9-C5896569C7CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69eda47405b17d40c87e3adee3f3ae723ec10fff","datavalue":{"value":{"entity-type":"item","numeric-id":2498004,"id":"Q2498004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111240$3338E62F-1FF4-4549-AEDF-2373BF73456C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c31e8d2807d1ce4f8ab6661996ea0ee3ab237a","datavalue":{"value":{"entity-type":"item","numeric-id":1107323,"id":"Q1107323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111240$AA0226A1-3D52-4F40-9730-D6423FAEB6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e365d48a3bbbc62a71043c5a0e515d1906a90296","datavalue":{"value":{"entity-type":"item","numeric-id":3579189,"id":"Q3579189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111240$7346A805-5EA0-4C55-AEDC-A24585C83B6E","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":"Q5111240$EBC03422-2D6D-4424-B402-177E3FCBB760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e07a86ac8a4147f4de4bb1b8e5c31b34b9184f5","datavalue":{"value":{"entity-type":"item","numeric-id":5614192,"id":"Q5614192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111240$4A8CDC80-EF57-4772-8641-71B5A1882A91","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":"Q5111240$F8A5829E-C0FE-49DE-A530-5AFF4C780B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9579c8803fb53b27a71a5b479e41fe7d6cff68f3","datavalue":{"value":{"entity-type":"item","numeric-id":1886038,"id":"Q1886038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111240$1BB57F8D-ACEF-4221-A90B-FBD8650B254B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab5dba2713648d2bb7aed059337b5d1d19a0925","datavalue":{"value":{"entity-type":"item","numeric-id":3444802,"id":"Q3444802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111240$402F46A2-3489-4E50-A1FF-3EDD8318D020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f126b7612c28e196203420c13ffa3709805388","datavalue":{"value":{"entity-type":"item","numeric-id":4636642,"id":"Q4636642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111240$AAD4F8EE-45DF-4E6B-A6D4-2F4560C68583","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":"Q5111240$E6D4BE68-67BE-467E-B0CB-21B1C16B1518","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":"Q5111240$1BB3F253-00DC-4CAB-A48D-5C4D71E4890D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bde4b025fbab0e314d967e2b84c5779cb3c464d","datavalue":{"value":{"entity-type":"item","numeric-id":4764348,"id":"Q4764348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111240$5FB45500-A8B6-4A5A-A180-251A5D1FA893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ccf4d42c4757827ddea695c7555934bd0854b7","datavalue":{"value":{"entity-type":"item","numeric-id":1112836,"id":"Q1112836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111240$CAA7D908-6C55-4AC7-B148-2C799CE4A837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6422b7a975edbc5da8e346b2346b057177d7617f","datavalue":{"value":{"entity-type":"item","numeric-id":5361868,"id":"Q5361868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111240$193BE627-110D-497F-A08A-4B175B31B7A0","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":"Q5111240$675082FC-ACB3-4BE3-B299-4389E5EECB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111240$AAE46100-074C-456C-B5D9-2AAA8C7253BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111240$25143527-337E-4B98-BCFC-DA9FB5CA9213","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"709f4ac9d39e0b10ca08fae1e2796235c6a73205","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.MFCS.2017.26","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111240$AF14C573-11A3-4AB8-A4FE-22BC529A72B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e010826ec5b44f6f5c5bce6ffe7d34816c94603a","datavalue":{"value":"W2771167559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111240$B399AA6A-68E3-4048-8E1A-AB7020732721","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5490b74b07ab5475589b7fc494342e77463d8fc2","datavalue":{"value":{"text":"Satisfiable Tseitin Formulas Are Hard for Nondeterministic Read-Once Branching Programs.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111240$3FC97C06-001B-46DB-AD71-4BE87EFF7783","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb6146e7da45d140cc437a60cea7e77dfc4a88f6","datavalue":{"value":"10.4230/LIPICS.MFCS.2017.26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111240$2EFA48FD-2A7B-42B7-977A-E7B8E16D0D61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512c7d73521495f6c28f8bb23ab51ac0e7cb0c30","datavalue":{"value":{"entity-type":"item","numeric-id":2043884,"id":"Q2043884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4c08b289ee48d458e74bb3442a011dc2aefc19","datavalue":{"value":{"amount":"+0.8683604001998901","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":"Q5111240$827C9C6C-9F99-4679-89A5-7FC9DE0041A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0446609fbf51d84f72179960efae06213341b5d1","datavalue":{"value":{"entity-type":"item","numeric-id":2330557,"id":"Q2330557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27adf423f744c32eafbe553ec803b6e210d0a0ed","datavalue":{"value":{"amount":"+0.8681376576423645","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":"Q5111240$5A985899-6D02-49EF-93A8-A315E3D8F4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b84c71f0d4e493bc7f5a362f69439942e3a46c41","datavalue":{"value":{"entity-type":"item","numeric-id":2946031,"id":"Q2946031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5949ca6ac523ed466eae4a30e9832be94b0899b1","datavalue":{"value":{"amount":"+0.7724713683128357","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":"Q5111240$5DC6049B-9310-4DCC-BFE3-D2C99E542CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8361b86ea858c692159e5238a9f0fe78f3c9e3b2","datavalue":{"value":{"entity-type":"item","numeric-id":1983330,"id":"Q1983330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455154d8d25b24eb4449a95f56a70002bf7c3362","datavalue":{"value":{"amount":"+0.7698214650154114","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":"Q5111240$DE30F8B9-41DE-413B-A74F-7900670646EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73e244f358b2e7951a14c546829e3f1de5cf9fd6","datavalue":{"value":{"entity-type":"item","numeric-id":309788,"id":"Q309788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306b7c9141901b5e2443113e71feaa1b343f5c4c","datavalue":{"value":{"amount":"+0.7635663747787476","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":"Q5111240$F341C785-23DB-4881-9B83-CE55D4C08A36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111240"}}}}}