{"entities":{"Q2895477":{"pageid":2906202,"ns":120,"title":"Item:Q2895477","lastrevid":79524662,"modified":"2026-05-06T14:06:59Z","type":"item","id":"Q2895477","labels":{"en":{"language":"en","value":"Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6052253"}},"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":"Q2895477$C05E09B2-2CAF-46F0-A87D-74E7A55CD9A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"207694767c05d3d4f70a95b4a259b8f2a8f62414","datavalue":{"value":"1242.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895477$0B8D12CE-CEB4-46B1-883C-B2946DA15E59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f30e353ee28493b74897866c941c96863cc3f609","datavalue":{"value":"10.2168/LMCS-8(2:16)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895477$30C11D7D-E2C1-4031-A595-C3647432D716","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"018b85db19ecd3a912145159db4a3476bdaf0189","datavalue":{"value":{"entity-type":"item","numeric-id":547914,"id":"Q547914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895477$190763DD-7DC8-4F02-AC6F-A8F5FBF5C3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a014e6ba9fde789e090c1a340d6af73ab4b427b1","datavalue":{"value":{"entity-type":"item","numeric-id":394331,"id":"Q394331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895477$43F44A72-4407-47C3-AACA-D5C4F65552D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895477$5ECC9A73-C20A-4F6D-895F-107FCE3F7297","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ba0036895bc96d003b4a03286285e72e8ca4bd","datavalue":{"value":{"time":"+2012-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2895477$FF29FAC7-26B4-4882-BA09-BDB90980DEAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69707c218466804df23abcc4635c530dd47ed7fc","datavalue":{"value":"https://arxiv.org/abs/1206.4444","type":"string"},"datatype":"url"},"type":"statement","id":"Q2895477$743A986C-E38A-484C-9DDF-2ACFB98C2DA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895477$31DDC92F-A897-41E3-9C6B-E292665E1458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895477$CA93F545-C6F4-4B59-9A36-C3757DCF5BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895477$B544A576-546D-4DDD-8A99-810BB3685812","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40d14ddb89fa36dbb9085072818a209035abffd1","datavalue":{"value":"6052253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895477$185367BF-06AA-4494-B1ED-2B4184CEC081","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f59cb6c69fd0ca2e68bdd753ef09cbef0b2c72f","datavalue":{"value":"stochastic Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895477$F0A3218D-AE92-4F61-A88F-4E98091A5975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895477$9959F3C9-DB92-462D-B78E-3110D4762C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75c2cd916a1743a8c6217bb2f58788e6411a98d1","datavalue":{"value":"probabilistic state reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895477$E8140B6E-5B31-48DD-8BF0-64EF64D41864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3733fdd64d724e1913f8903b4f9dfe05448b796a","datavalue":{"value":"probabilistic region stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895477$BF095560-D90D-4618-9B21-0A10DB9EC859","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895477$B4562314-6C30-4FBC-A19D-E7CE4F5D8BF0","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":"Q2895477$6DD41DDA-5EC1-4E1A-9832-B2F5B778ECA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7aac84164401890b9eacb3253914fbdc49342b7c","datavalue":{"value":"W2007138421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895477$E5A28652-5104-4425-AFA1-E52F9CACAE65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85221589b3f3b8040ea632492d25148ac7faa17d","datavalue":{"value":{"text":"Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2895477$834939E5-E004-4DA3-B5F6-DF9216216379","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea804024f7ccd7c2da167d9c6c945e02ffdf072","datavalue":{"value":{"entity-type":"item","numeric-id":3000643,"id":"Q3000643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e522afcf8fb5fe07ba0c59172b5ac4251ff8f0e1","datavalue":{"value":{"amount":"+0.9460210204124452","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":"Q2895477$03F4C765-837A-4AA8-AB3B-5A4139BAC37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a0ec5b971ba7424e52b2aa8060ab76c42d476d","datavalue":{"value":{"entity-type":"item","numeric-id":3447707,"id":"Q3447707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"727df8f2dd6fed38767e3485720dc410ad216712","datavalue":{"value":{"amount":"+0.8934324979782104","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":"Q2895477$260F88AE-E8EE-41FB-8F49-BC5B36102386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a655929a3f9bec1c0a2dac90f181cf53308035e5","datavalue":{"value":{"entity-type":"item","numeric-id":4933336,"id":"Q4933336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e560128f12182324b2a927864194816575a73f","datavalue":{"value":{"amount":"+0.8145876526832581","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":"Q2895477$F12B6E17-57C9-4148-B4A9-AD64A9F0A69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f7492f12c16dc00b1c5e146f356eb243934e60c","datavalue":{"value":{"entity-type":"item","numeric-id":2751046,"id":"Q2751046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9001838462524047089957dda52dee9872a891ed","datavalue":{"value":{"amount":"+0.745367705821991","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":"Q2895477$826121E6-631C-441C-A6A9-32DB824A9D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb253fb55714f511287e3fb7db3bf54cfc2f7066","datavalue":{"value":{"entity-type":"item","numeric-id":5311270,"id":"Q5311270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76047ea55edaaecf668aa41b2b9494d6203bfbd","datavalue":{"value":{"amount":"+0.74423748254776","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":"Q2895477$034946C1-C444-457D-A340-72318BBED64B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_Craig_interpolation_for_stochastic_Boolean_satisfiability_problems_with_applications_to_probabilistic_state_reachability_and_region_stability"}}}}}