{"entities":{"Q6572038":{"pageid":14183193,"ns":120,"title":"Item:Q6572038","lastrevid":42356122,"modified":"2025-06-12T17:06:20Z","type":"item","id":"Q6572038","labels":{"en":{"language":"en","value":"Quantifier elimination in stochastic Boolean satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7880744"}},"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":"Q6572038$17AC5242-75E6-4F02-B74F-D16B8C76873A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"282e07c3647be8bfa0a71f4a4852fc3505a8cd8c","datavalue":{"value":{"text":"Quantifier elimination in stochastic Boolean satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572038$392F61BE-8893-4422-BC3B-6B5AC8B7ACB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f87463f2611f5a3653ae551cfb664def7b7821","datavalue":{"value":{"entity-type":"item","numeric-id":6572037,"id":"Q6572037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572038$7873C455-597D-4F4F-9DA3-EF7D0D9420E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcd7990ff69e13f55b878f120c07da73f28a7ff3","datavalue":{"value":{"entity-type":"item","numeric-id":3453237,"id":"Q3453237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572038$A897C771-43B5-49F4-B84A-868941209217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d108f2cc75f223419614b9663d463900e39edb7c","datavalue":{"value":{"entity-type":"item","numeric-id":2435314,"id":"Q2435314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572038$29498503-87E1-4F2C-A148-E67AB9EC27D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"618dff94aec38f24478b8597ebb886639eab98cb","datavalue":{"value":{"entity-type":"item","numeric-id":436416,"id":"Q436416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572038$4C36912D-FCA2-48D4-880D-853E35BA54C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4665cf21e28c8d8d6d68e1278341997f9619a61e","datavalue":{"value":{"time":"+2024-07-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":"Q6572038$4D81A6DB-7332-4AB7-AFE2-F43DEE18B458","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572038$AEC635D0-8C7C-41BC-BA53-4FA311D4BEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572038$633738F4-0B11-49E3-9DAA-62A0279CAAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572038$C5A305E9-D5B0-489B-957B-7C22F0A872F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"785c81ed0ae1ed182c90a172c9442af5bb503dc0","datavalue":{"value":"7880744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572038$FE7416A7-6319-4992-BA5C-3B49243223AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f59cb6c69fd0ca2e68bdd753ef09cbef0b2c72f","datavalue":{"value":"stochastic Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572038$D2FD5401-877B-46A7-BEA0-41E727A3FE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572038$6B903DE7-0B7A-473B-8695-AD75A377DAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572038$EE3D4CBD-8792-4182-AB90-BF7682C69227","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":"Q6572038$9D932F1C-CFE5-4D58-B37C-B0A668FC87C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bc1f9d3fc19585100f38298d69a9f244456222b","datavalue":{"value":"10.4230/LIPICS.SAT.2022.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572038$B9B2A8F9-CD9C-4C9C-A962-3C0E0CAD3266","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572038"}}}}}