{"entities":{"Q1744442":{"pageid":1755184,"ns":120,"title":"Item:Q1744442","lastrevid":53069789,"modified":"2026-01-24T04:08:41Z","type":"item","id":"Q1744442","labels":{"en":{"language":"en","value":"Generalized probabilistic satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862969"}},"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":"Q1744442$EF37798B-1C32-44AC-B16A-58850DE4EB14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c31490342960efd19fcc40e0ab53bcaf9446a27e","datavalue":{"value":{"text":"Generalized probabilistic satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744442$6ADB8879-8F5D-4088-B035-F3292D433190","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23a05a8fbfba843db8fdd0d46f3df8302a8138c7","datavalue":{"value":"1401.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744442$E3D3DE05-B3BB-4BCF-AB24-F1FC8FE949E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6394a9b799318dddd4fd045f70a89704e53a076","datavalue":{"value":{"entity-type":"item","numeric-id":549721,"id":"Q549721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$303799D2-ED25-4DD5-87E8-189BD8EAF2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10123ee631291b5a24c77f6834ee2ed15960ebc4","datavalue":{"value":{"entity-type":"item","numeric-id":682378,"id":"Q682378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$8E4FF4A5-C9E5-4703-992B-666A82F1CEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"313138ce8793b675f301c60a9d0989af3a7ea123","datavalue":{"value":{"entity-type":"item","numeric-id":1744441,"id":"Q1744441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$4C75B60F-F863-41C1-8C0F-070A66DEA4B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744442$5AAD05A3-9F00-4DC5-B724-46846BC89398","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744442$A6E8A1E5-285B-47AF-84A7-2A74E33FA746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744442$BFBCBDA0-D885-4248-AF91-11040597DAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744442$3583798B-BEDA-4554-8BF3-CF1ED2CFEEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744442$7753439C-D5DD-4497-BE45-EAEC68D5F72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dade3bc82a2f7e555fdd92f6a7aa24c002fcafaf","datavalue":{"value":"90C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744442$1EAED89B-6CED-4A52-9414-275C4186E95A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce5aa60cf060dac966e1b2dda99464a923e6c3da","datavalue":{"value":"6862969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744442$438CA204-5DE4-440A-8528-C9857229F71B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0317477367ae79331429816cdf41fc9d8aa5557","datavalue":{"value":"probabilistic satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744442$D8557DDB-7F9D-43E3-B9A4-8BF5E341C0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c59a8bdff193bc6a905ac4f24f95e19b7c03316b","datavalue":{"value":"GenPSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744442$D5C5D432-F7E2-44EC-80CA-A5E6CAFB0FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fa9089d9f7f5a1b8ff7aefaf14a78f5ae28c62f","datavalue":{"value":"mixed integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744442$CCB2BC5F-01D9-4116-A4A1-B07C92E56FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011292841bfecc5a96af7eefb5f2207525532434","datavalue":{"value":"phase transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744442$6648860D-7FA0-47BB-9025-703CF2F0FDC6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c2ad928ef7e075a5826c42714da18f3ea07be26","datavalue":{"value":{"entity-type":"item","numeric-id":16292,"id":"Q16292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$FBB3A982-5830-4115-BDCD-7A1F0E508AD6","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":"Q1744442$511FE888-09BD-412B-A384-F5AA2407712D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3107950a0cc5b5d1af63a480da30be290198edcf","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2017.04.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744442$C5468E77-5DA8-4220-B627-04850AA91834","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4427d55e6ebc141aaf72042087585b8926dc367","datavalue":{"value":"W2642916709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744442$C01287B3-956A-4237-B64C-2B484C3411DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$D322AB6A-5AEA-464B-BA0B-149F6351F5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd2d94005cf638be560bebea9f4aaaa8555421d","datavalue":{"value":{"entity-type":"item","numeric-id":4255462,"id":"Q4255462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$BF098D63-5AF1-4613-BE57-DC29BF91DF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4bd04b587c0758390f2e0ced121ecf83881a76","datavalue":{"value":{"entity-type":"item","numeric-id":3323698,"id":"Q3323698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$9D8ADBF5-5CE7-49AE-92AA-2BE2A9A3C785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1046d4a0d217d3570779d42e068c59f361f3e0bb","datavalue":{"value":{"entity-type":"item","numeric-id":5326414,"id":"Q5326414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$929A92C0-66F9-4EC2-8DC1-4765D545C670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cf5c188bcce9490a2b63c18bca3c3259df4b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4012216,"id":"Q4012216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$96F8E08D-3190-4DDD-89F9-4519735AD779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$52B72778-8C2C-42CA-B1DF-FAF33C4059E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"915620bfb5bf0e317136a2e3b01d29809f9f7c3f","datavalue":{"value":{"entity-type":"item","numeric-id":905995,"id":"Q905995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$DFCFF66D-CCB1-4D87-946C-71D55D67AB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$4240E07D-3BB3-40C3-909C-571AC4D01C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487c3b72cf5317ad59f2588afc0b3ef4297b1153","datavalue":{"value":{"entity-type":"item","numeric-id":1104751,"id":"Q1104751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$CDA0E8C5-6FC0-4D49-9F4B-57A98A8BD963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$86D66789-23EC-46E0-A64F-89735749635F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad86ed10f9dbc91aef6fdb78e5f6edf0ab2f5e6","datavalue":{"value":{"entity-type":"item","numeric-id":4739657,"id":"Q4739657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$76B09741-895E-4BF0-8EBF-36CBEED81FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e978f83f6032ae723dc1f61df455f64d173bfe72","datavalue":{"value":{"entity-type":"item","numeric-id":3649106,"id":"Q3649106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$50A15C6A-4A06-4DFB-B19D-F0D3745346A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744442$4688CD98-9B5D-4683-A9F1-89AAE286B580","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"efcc98095b08d8285b4f8a6df3a6faceaf29d579","datavalue":{"value":"Q113317597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744442$6BE9140D-61F1-48FF-8F20-0BD0031A3F68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e77dca1e07096ddab3d8fd3c1930dca93f40a6c1","datavalue":{"value":"10.1016/J.ENTCS.2017.04.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744442$9A89F71C-9F20-405A-838A-459803F759E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6540ec5084f3a10fff02423d55d7fe6867b8a514","datavalue":{"value":{"entity-type":"item","numeric-id":2424888,"id":"Q2424888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03976f7788c05fd368d5d144c3944901ed34c93b","datavalue":{"value":{"amount":"+0.8649144172668457","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":"Q1744442$99F37104-6E7F-4C2F-8749-2BBC307CCA15","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":"89be4ad9f9e7aefc86231b527db7a8cc504ca350","datavalue":{"value":{"amount":"+0.8561473488807678","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":"Q1744442$6882337D-A03D-4495-99DB-4B9303A1A366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fedb830012292aad221b3c4e247406ddfe2ca618","datavalue":{"value":{"entity-type":"item","numeric-id":905995,"id":"Q905995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73be1c13e91089d452f3586b92b1c89d709c6397","datavalue":{"value":{"amount":"+0.8237948417663574","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":"Q1744442$6BB2107F-37F8-4DE7-9BA4-B839F80D6E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b508135543a81e05c5e6f3b0d1cf1829b62e99","datavalue":{"value":{"entity-type":"item","numeric-id":2349813,"id":"Q2349813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a31c326cb182e4a8b472eb989cf83e8d490bfd","datavalue":{"value":{"amount":"+0.8168932199478149","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":"Q1744442$97348AC7-B7C0-44C7-AD3C-0C2159F812F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2b58d8c1476b286e54e4bb573ec76f373ca082","datavalue":{"value":{"entity-type":"item","numeric-id":4666424,"id":"Q4666424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45bd60090c0adaf9744e667ae28bed08d8c3efca","datavalue":{"value":{"amount":"+0.814734935760498","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":"Q1744442$3040B7EE-FEB1-485F-AB0D-0AB6FAF58260","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744442","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744442"}}}}}