{"entities":{"Q5956791":{"pageid":8133593,"ns":120,"title":"Item:Q5956791","lastrevid":47751007,"modified":"2026-01-02T14:41:15Z","type":"item","id":"Q5956791","labels":{"en":{"language":"en","value":"The satisfiability problem for probabilistic ordered branching programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1713326"}},"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":"Q5956791$4B4CD1A4-6476-4584-8EED-A8CE0B3723BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f8c9abb8c4c0c675cefd26d164ecb6bee2a4d64","datavalue":{"value":{"text":"The satisfiability problem for probabilistic ordered branching programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5956791$37F37DCD-BB8D-493E-877D-B6CCFA972B54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5844aea1f910b19a31aa2b5f6ac448d74863c0e","datavalue":{"value":"1009.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956791$242DEACE-3E68-4810-A091-103C1B22DA8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e49099c29476e7ee2ac9e3add1f59858abe2cb0f","datavalue":{"value":{"entity-type":"item","numeric-id":619895,"id":"Q619895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956791$8BD8DC43-93D4-4DDB-A9B6-B7AAE7291F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87145c4b0ea14a3f1935e728ddf5825e0127466d","datavalue":{"value":{"entity-type":"item","numeric-id":503454,"id":"Q503454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956791$5E052957-9E9A-4A76-8BA7-D1BA749DBA39","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":"Q5956791$B58647E0-86A4-4380-9226-ED40A396423C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31707e7a13da914b31b6dd6f84fd3adca471dd41","datavalue":{"value":{"time":"+2002-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5956791$7139F59A-C791-45B1-AF08-BDD9ABE46626","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956791$2F905787-4793-4B7D-B2A7-7B33F3591506","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0f290b5fb384c6ae48874e26d76358e2b22165c","datavalue":{"value":"1713326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956791$E4BF33CD-678D-4B8F-9410-FE65B2F352CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956791$DB7E4F2F-42ED-41F3-B553-F7751500A1E8","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":"Q5956791$83EE705E-FC41-4D17-ABF4-256873799C50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cf004f6d3e39d2aab7613aea50dbae597287284","datavalue":{"value":"https://doi.org/10.1007/s00224-001-1011-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5956791$C3EAFF89-E8B9-4E94-B2FD-5C03C6FD5FED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"137686149e9495b82f169bb220dbdcd84273725b","datavalue":{"value":"W3101224878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956791$1B062800-FBFC-4E2E-97E2-B9C99434093B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e73e85682dcc4b235480019fbe8bc20c48fe2552","datavalue":{"value":"10.1007/S00224-001-1011-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956791$0A82B933-A1E9-4A59-A3EB-DAD157BB42A2","rank":"normal"}],"P1643":[{"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":"c89fdc3153601ae8c7c44d4f2a5624b991cbf351","datavalue":{"value":{"amount":"+0.9980493187904358","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":"Q5956791$ED5B1149-E021-4FFE-9918-74170C914AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0d8f0005bd239dca15c7977a3d150ff006b025","datavalue":{"value":{"entity-type":"item","numeric-id":1104751,"id":"Q1104751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da699551253027e0c0342cc1660d05aa1c299563","datavalue":{"value":{"amount":"+0.8048126101493835","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":"Q5956791$876621EF-984C-4FB4-AE39-96A475488157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1237131b87798a30d98b98023d1d4fdb505b7601","datavalue":{"value":{"entity-type":"item","numeric-id":2032296,"id":"Q2032296"},"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":"Q5956791$BE7A7D11-EC31-4798-805A-5938B280E404","rank":"normal"},{"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":"3d91998a2924c5da086db69867527c88bb05bacb","datavalue":{"value":{"amount":"+0.7771233320236206","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":"Q5956791$DF9D0EA7-BF88-408B-9B37-A1978CD17084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49075fa60d643316b5dad196b105c43e8dae388e","datavalue":{"value":{"entity-type":"item","numeric-id":1744442,"id":"Q1744442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"432f8fad1f5e751da20f4356e2ecf2fca174d721","datavalue":{"value":{"amount":"+0.7732060551643372","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":"Q5956791$6EC40D4D-9B35-4234-8E20-5DEAB52878A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5956791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5956791"}}}}}