{"entities":{"Q646722":{"pageid":648571,"ns":120,"title":"Item:Q646722","lastrevid":78247484,"modified":"2026-05-06T11:08:25Z","type":"item","id":"Q646722","labels":{"en":{"language":"en","value":"Optimization and probabilistic satisfiability on nested and co-nested formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5973874"}},"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":"Q646722$5A2A9FC7-A0A9-42BF-BB8C-6575501DAAFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d50252dd2e599e58971ceb9361313231d8ad6c6","datavalue":{"value":{"text":"Optimization and probabilistic satisfiability on nested and co-nested formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q646722$109BDF39-A9BB-4153-90AE-4BB9BD5E87A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05eebe03b2edd6b6b4a343e4322ed1e8eee82b11","datavalue":{"value":"1225.90149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q646722$C9E578E6-C962-484A-9341-D0C58BDBA15F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e1a293a9ce82b4253e6b403cab38fbc131fcb98","datavalue":{"value":{"entity-type":"item","numeric-id":613475,"id":"Q613475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646722$589A3D0B-7BE2-4942-A538-29A790372106","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f57d1123ebbbd10d621b3552a672e7729202712","datavalue":{"value":{"entity-type":"item","numeric-id":59875,"id":"Q59875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646722$866CAB7C-9537-44DC-8EB9-0394B3EB0EF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1de4d5189d735af130e8614af261551c3cb44d44","datavalue":{"value":{"time":"+2011-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q646722$BD64AF22-5185-4C84-AF73-68A5065BA43F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2d4f4e28fa9ca38421c473fcb6ba728a44de59a","datavalue":{"value":"90C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q646722$95936AC7-4E12-4F6C-A140-190D129D985B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dade3bc82a2f7e555fdd92f6a7aa24c002fcafaf","datavalue":{"value":"90C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q646722$5FFC96BF-F5AB-4851-8115-67E3F0E380AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4663305845b2411b05f4b8caf7a08fcce309181","datavalue":{"value":"5973874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q646722$1FE5A3BF-54CD-49DB-8C4F-4FE1FE62A9CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q646722$75265181-4A88-4AC1-BB98-F56B7E94D755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0317477367ae79331429816cdf41fc9d8aa5557","datavalue":{"value":"probabilistic satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q646722$4CD9BABE-BD52-4349-B19A-3769CBB02925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d876a6148dc41da2c698eb90726a71716905d27","datavalue":{"value":"nested and co-nested formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q646722$064D2728-DFB7-4BF1-AE6E-7D65AD832667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3fe4fabbe15c374b3531ed45dc9baf54b0bb77c","datavalue":{"value":"outerplanar graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q646722$78254CEE-974A-4356-B709-5978343F6D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q646722$6DDD1822-1F4C-4C19-9689-EBD7AFAD6064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecba626527cec7149dee3c23afeef97ade924e6c","datavalue":{"value":"polynomially solvable classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q646722$25FE1598-D3F7-4573-A532-74B42E64D05D","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":"Q646722$87E95C93-9663-46D1-AA8D-50A01064D1B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1972ddfc73abf3e5acc11924987c8410e19f629a","datavalue":{"value":"https://doi.org/10.1007/s10479-008-0502-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q646722$784F024F-98AC-4468-98B2-0C6616E5356C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7090433fe473dbb2f52646f270efed222b86bf00","datavalue":{"value":"W2020252026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q646722$8025D04F-9C4A-4CA4-A221-16B8A2394CAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"beafd09c79dfa9f43f527c7e484481f6934843d2","datavalue":{"value":{"entity-type":"item","numeric-id":3056948,"id":"Q3056948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646722$98DC84A4-4F74-42D3-A085-695CE0387747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d7d0b11f9a90ac327af3129ef20e51c62acb447","datavalue":{"value":{"entity-type":"item","numeric-id":2349813,"id":"Q2349813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646722$1C208837-E6B4-4290-8762-FEBA69ED9A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09e827f8023a00efe761704fcf72275edb22957","datavalue":{"value":{"entity-type":"item","numeric-id":1601897,"id":"Q1601897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646722$4C4E08A7-8B30-47AE-B3B0-FF1192225627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc76312ff380de47de6b8e5da423dc731f0d670","datavalue":{"value":{"entity-type":"item","numeric-id":3069694,"id":"Q3069694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646722$6032F68F-18D2-4D1E-A1DC-C4C6AF53B75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c54e968ea0ab80beb7b8d2392690f45dccef249","datavalue":{"value":{"entity-type":"item","numeric-id":4369892,"id":"Q4369892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646722$BAAA754A-C88E-482F-B5D6-7921262D3223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cab5c96ff7a3c803c1f0ad8febefb4ee699db866","datavalue":{"value":{"entity-type":"item","numeric-id":2277139,"id":"Q2277139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646722$1B3169CD-77DE-4E2D-B755-5195AF0DDC15","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":"Q646722$60A97015-5F5C-4FF2-AB8E-5230AB00B0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf29858de9c5759c79a7755f47ba146a7d048c6","datavalue":{"value":{"entity-type":"item","numeric-id":1087535,"id":"Q1087535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646722$9DD7EE11-F255-4BFF-919E-988981C99B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b396e412145b289a0f2d560cd4986a112360175","datavalue":{"value":{"entity-type":"item","numeric-id":582905,"id":"Q582905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646722$124824BD-9B14-4A0C-9472-8FEE01306C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"452a1757325c42d76be633a4e28ced2cd1d88a30","datavalue":{"value":{"entity-type":"item","numeric-id":1323332,"id":"Q1323332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646722$1981841A-8349-4D4C-8613-7F186FFB7D84","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":"Q646722$4B078EEF-3C2C-477E-BE6F-08311623C456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e13e7e8b92b61970123197d4841c31d2cc8144","datavalue":{"value":{"entity-type":"item","numeric-id":5325876,"id":"Q5325876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646722$2D2CF79B-160D-4524-921B-6DE8595D405F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94daf2babd19ae4e4af6dbbbda96c89725cf839c","datavalue":{"value":{"entity-type":"item","numeric-id":1777404,"id":"Q1777404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646722$F6A64D94-A66F-4BAE-AC1E-5D02407B0070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb459093684ac610dff8611dc9d159f242cb8477","datavalue":{"value":{"entity-type":"item","numeric-id":5623536,"id":"Q5623536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646722$3E368C47-8F0D-462A-96ED-4B5ACF4DE5BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"857fda64ec8a24f729604dfb531782f517c9ab6e","datavalue":{"value":"10.1007/S10479-008-0502-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q646722$54B6E0C9-EE8E-42BC-A728-9C42CD5D4EF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec842c2d308234152e050e7702692de7debc5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1323332,"id":"Q1323332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61ce96c6f96481d0a85edf7ebeac0cfd698ca44","datavalue":{"value":{"amount":"+0.8406897783279419","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":"Q646722$06927B14-E1DE-471F-B695-F5D014D50D3B","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":"9977e1b795b1c949b998f3ce2e26fce9697fdba6","datavalue":{"value":{"amount":"+0.8391933441162109","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":"Q646722$DF27FE5D-EE94-49E8-8751-C2392C66CB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404bc6db8b25274eecfd8f39e60d62a620f47b44","datavalue":{"value":{"entity-type":"item","numeric-id":1777404,"id":"Q1777404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06af48bca7e67d2168c7ec24f61cbf78ab67862f","datavalue":{"value":{"amount":"+0.7678755521774292","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":"Q646722$D627371B-BC0E-433D-92A3-9249C51B032B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e31b408ad70d783f76d95dcce1ac38ab1926cf3","datavalue":{"value":{"entity-type":"item","numeric-id":2843323,"id":"Q2843323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509c28cb12da6ef9d274a3d7b6a65cb3be754a46","datavalue":{"value":{"amount":"+0.7631102800369263","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":"Q646722$26F504AA-C42D-4F45-BE65-99D7DD70D3BF","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":"db660277d82aff2175bea94f936a068a8d057a3b","datavalue":{"value":{"amount":"+0.7553357481956482","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":"Q646722$148FB85D-F456-4616-AE90-5CE551C2A5B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimization and probabilistic satisfiability on nested and co-nested formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Optimization_and_probabilistic_satisfiability_on_nested_and_co-nested_formulas"}}}}}