{"entities":{"Q2287193":{"pageid":2297936,"ns":120,"title":"Item:Q2287193","lastrevid":71768877,"modified":"2026-04-14T00:25:20Z","type":"item","id":"Q2287193","labels":{"en":{"language":"en","value":"Probabilistic sentence satisfiability: an approach to PSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7153705"}},"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":"Q2287193$D6851F17-041E-4B2D-9513-6D0E141FF248","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb66ac5eebfca62141552e275e70b59864631133","datavalue":{"value":{"text":"Probabilistic sentence satisfiability: an approach to PSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287193$7EE4B1EA-395A-4ED8-A381-82650EC0DB65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3379be54cabbe2c0856c09e948e5099e595fe0a5","datavalue":{"value":"1478.68322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287193$044BFD7F-8ED9-4F87-91C6-0697A407EF21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$06797B6C-74C3-474F-BCB1-741BFAA0B5F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$399A0A89-093C-492C-9C83-D3F27E4D08DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1edc8f8d7871fd6125d8f3ee3a75e4a85cf754ac","datavalue":{"value":{"time":"+2020-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2287193$7B4FCBB9-2EE8-4AE7-A0CF-8DBDB3260B76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8bc853f85cc6b4c8702390fdddcabc7a474ceff","datavalue":{"value":"https://cronfa.swan.ac.uk/Record/cronfa52818","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287193$B928FDE3-A67C-4BF9-8E13-9ACCF1BAEB82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287193$01E45CC3-CA25-4C13-8CE8-A62299C73FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287193$EC67EDC0-6C42-4E59-97D4-6DBA424EBA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287193$43828BC9-D346-414D-9CED-D8708A50748E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90ef3ed3a6567cebc7d1418b17162fa9e0d01304","datavalue":{"value":"7153705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287193$131816C9-0B3A-4C0C-9A4B-F74C3B75EED1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10040252e584636332cd77b26b70faed5bf19710","datavalue":{"value":"PSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287193$D4074557-767E-4109-A6EF-4437920E6421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a41292ff00c4d626779408fc86beea71256a7c5","datavalue":{"value":"probabilistic knowledge base","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287193$FC4FE857-4C05-4D6C-A5BF-D64A15F455CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4651fae9d12e26bb456e8184d8837c6e4544d5e","datavalue":{"value":"nonlinear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287193$75A0428A-5BCA-41FD-A7C1-331E8B18125E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b833ea6223fb30cdc1b6b163586e0e695ea18289","datavalue":{"value":{"entity-type":"item","numeric-id":43419,"id":"Q43419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$1937487B-E38F-4EBA-89F7-942BCF45C850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"775c31c3978425be2cb6fdd5e855fea9349383d7","datavalue":{"value":{"entity-type":"item","numeric-id":33822,"id":"Q33822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$67C2660D-94D3-49E3-A6A4-A6DCE75F6D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"923a89874ed46a1781b7cc0d3b7aa93a70403c6b","datavalue":{"value":{"entity-type":"item","numeric-id":35770,"id":"Q35770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$F037BE22-4F76-40F7-AC14-4400C0A2FFFE","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":"Q2287193$E964C039-CBB4-42FE-9A1C-A412316775F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bda72aea3d11284a147bca05210559735cf9f0a8","datavalue":{"value":"W2987239078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287193$1B28F4FE-6ECE-4239-ADA0-CC74520A8CD2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$DD7A67EA-E63D-49E9-AB8B-836C2A6CD47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110f3666bd1ca4779dcee15ea4bd0f09a4e46719","datavalue":{"value":{"entity-type":"item","numeric-id":2270380,"id":"Q2270380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$2A4D5958-330C-44E4-9FF8-9BE80B4303BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c089c4c1bd7133d306454b18bbe2c9f00e5e0636","datavalue":{"value":{"entity-type":"item","numeric-id":757340,"id":"Q757340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$78B0DAE7-1BED-4211-A1DB-81AA3B73440F","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":"Q2287193$51850845-8D2D-4BC9-8EE2-C9ABAE11FE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47f6d8e9994f8dcd04a3f58005d05ce9989a1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5341341,"id":"Q5341341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$381214E0-D5BE-41EB-8DBC-448547288935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0863fe5c701d88620a62ed281e0b45e7e5df58","datavalue":{"value":{"entity-type":"item","numeric-id":798650,"id":"Q798650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$371C2550-3EFF-4520-8070-989AF34DD50A","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":"Q2287193$9FE62DF4-A6E4-4988-876B-7A96329CBDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a82eb3d75d9d3dbafc0bccac6431071c963d4aad","datavalue":{"value":{"entity-type":"item","numeric-id":4337968,"id":"Q4337968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$AF54D8D1-1134-4FD9-B735-03C2A65E816B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b986f531a76b51b0af4fb1f0351ee33f04b2bb3e","datavalue":{"value":{"entity-type":"item","numeric-id":1235692,"id":"Q1235692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$C7F11DBA-44F2-4210-BBBC-59D852429C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"006e9108963dd240af39bc9c364ba6322b042ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4368723,"id":"Q4368723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$FE3D45BC-620F-488C-B7F0-E26E0A49149E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa59aebd10be72746e425f90d51db9b8e243737","datavalue":{"value":{"entity-type":"item","numeric-id":2375344,"id":"Q2375344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$D997C487-AF82-46BE-ABC0-6C143B780784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b89614af00bed4f96a6581d849d56f2d25f687","datavalue":{"value":{"entity-type":"item","numeric-id":1583250,"id":"Q1583250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$7DF942E6-346B-41B5-B37E-19DFFA68E4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede61bbf47dfc5f96e9420622c0600314318cdac","datavalue":{"value":{"entity-type":"item","numeric-id":1327387,"id":"Q1327387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$C9BA05A0-A862-4C64-9AA1-1FCE3CB29EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b93fc871a033f66a63843f78136fb736af8646","datavalue":{"value":{"entity-type":"item","numeric-id":1606305,"id":"Q1606305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$E52C9253-2284-4F09-A1F0-57543F8EC407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9382fd3f9c93e003339d076e8d3ce4bc603b9420","datavalue":{"value":{"entity-type":"item","numeric-id":4592983,"id":"Q4592983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$FD57A179-54EB-4C60-B0B6-FD464E477FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e287b03dbe62fe3988cf2468774fed7be938b9ef","datavalue":{"value":{"entity-type":"item","numeric-id":2389636,"id":"Q2389636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$B3538B67-3A23-4373-95DE-119EDCD46B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52aa670414d4f6fec55d4a91be050421f173db46","datavalue":{"value":{"entity-type":"item","numeric-id":2674206,"id":"Q2674206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$21A78D21-5362-42F8-932C-62EB19EF0679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$3E66F5EC-6C3C-4691-BC9D-D522E05C36BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf788c02aa92ee81c5be73120081b161f7ecc281","datavalue":{"value":{"entity-type":"item","numeric-id":3510469,"id":"Q3510469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$CC6EEB40-A7F9-4768-AE2A-D5E704C6398F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063a55deb0fc57c77a6bd8d0198e2cb2d90dacef","datavalue":{"value":{"entity-type":"item","numeric-id":3655273,"id":"Q3655273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$251F161A-9940-40A4-A3CE-5DF1B82EC810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2616ef39c973ecf459a7e8cc94c7de4d25707bde","datavalue":{"value":{"entity-type":"item","numeric-id":3575744,"id":"Q3575744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$1213F72A-3531-40F3-8F7A-0E4D59FAEE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4cecc6bb27e5efdb1d8e33494bea211652049e","datavalue":{"value":{"entity-type":"item","numeric-id":3455611,"id":"Q3455611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$0DD071B6-2BB7-4C35-8739-66DD4D7C1464","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":"Q2287193$D6222BBB-AF35-4BDB-AAF8-EFA5BE68CAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fb6df109dcabea74649037e2888a8185c0f6302","datavalue":{"value":{"entity-type":"item","numeric-id":1744442,"id":"Q1744442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$E4B0F754-D7FF-47F8-8817-A00D05554FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a82a95367d8190826bf18570d26f2e59f266fb7","datavalue":{"value":{"entity-type":"item","numeric-id":1230355,"id":"Q1230355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287193$47CE7CB1-4B13-46DE-A612-F37D74D021D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a37f6f46682d5513009bafb6f5c51890ee28bd6","datavalue":{"value":"10.1016/J.ARTINT.2019.103199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287193$DA941378-3B8B-4E15-A5F6-16ECD0A10263","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607bf7058e6a368aac5e69f87b046b93aaa555d9","datavalue":{"value":{"entity-type":"item","numeric-id":2752129,"id":"Q2752129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47331c7d86f9e6721892a255e5171ad6994c7049","datavalue":{"value":{"amount":"+0.7865505814552307","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":"Q2287193$0BD44B86-8664-4CC4-B089-50F42DC127BF","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":"47331c7d86f9e6721892a255e5171ad6994c7049","datavalue":{"value":{"amount":"+0.7865505814552307","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":"Q2287193$B9027488-DB95-4058-9BCD-8FF1635AC77B","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":"f8409ada7b4fa47a016883c9106119e6b0291b52","datavalue":{"value":{"amount":"+0.7755363583564758","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":"Q2287193$888160E3-13F4-43D4-825A-5983B70A562A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28d61122d40d643a4916fc427b06bf06475e3805","datavalue":{"value":{"entity-type":"item","numeric-id":2446673,"id":"Q2446673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebbb2f881ecccad9660da08ac3170141f831375f","datavalue":{"value":{"amount":"+0.7682352662086487","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":"Q2287193$372A5DD4-19AC-4D24-B637-F5357EDD5D0C","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":"ca6d9de426e2f26b36e16033c71ec063e412c283","datavalue":{"value":{"amount":"+0.7669979929924011","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":"Q2287193$ED3F1814-B457-447B-8DD1-C66F2FF12A63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic sentence satisfiability: an approach to PSAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_sentence_satisfiability:_an_approach_to_PSAT"}}}}}