{"entities":{"Q5151206":{"pageid":7180777,"ns":120,"title":"Item:Q5151206","lastrevid":94356104,"modified":"2026-06-05T06:35:59Z","type":"item","id":"Q5151206","labels":{"en":{"language":"en","value":"On complexity of the satisfiability problem of systems over finite posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7311610"}},"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":"Q5151206$0BDC322F-89C8-4AE6-85E6-8302B3942CAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f826a27eef56134b66595acb10aaa6b01b1ed0f5","datavalue":{"value":{"text":"ON COMPLEXITY OF THE SATISFIABILITY PROBLEM OF SYSTEMS OVER FINITE POSETS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5151206$45248685-6436-41CC-A165-E8634D51C8DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf16119a1659dbe3aed48d46d0abccc645743171","datavalue":{"value":"10.17223/20710410/39/8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151206$D1A6AD77-1907-44DC-8207-F84E6E3EA6D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cdfbaebf5e2dd7c4866a9cde7f143727c3bb807","datavalue":{"value":{"entity-type":"item","numeric-id":5151205,"id":"Q5151205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151206$1042A795-DE3D-4D0D-954B-572E3FC9ACAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"131a03240a96d8a43afa3dc4fe75ccf4a3545045","datavalue":{"value":{"entity-type":"item","numeric-id":285910,"id":"Q285910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151206$F3E8892E-6658-470A-8A93-9E6EE4321348","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f6a5faaa9863e222bb23e3ff648def082b216d1","datavalue":{"value":{"entity-type":"item","numeric-id":5150719,"id":"Q5150719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151206$3E32E13B-67F0-47C9-8BF8-10346DAE059E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"103ae1223110bc14f3808579ff7835e1b3e9dfe2","datavalue":{"value":{"time":"+2021-02-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":"Q5151206$DDACCD5F-FB60-47D2-95B7-0F5B73083694","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93cfbecc4b03a5f7b33004c0d46dea1737239483","datavalue":{"value":"http://mathnet.ru/eng/pdm614","type":"string"},"datatype":"url"},"type":"statement","id":"Q5151206$DACEDA5A-3BF8-423C-9704-D61C480BE92F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151206$34150F45-49CC-4450-B1B1-C51CC416696E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51d647e27b28911428d1e10e901ad03eba3d6a07","datavalue":{"value":"65-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151206$1443564A-6443-44CF-95BB-47F9D7FF4DFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0db75664bd375dd6fecf874ccfbc09a25a20c78f","datavalue":{"value":"7311610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151206$EC8E5405-B85C-48BC-A1F8-E535F20184CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedf903784eeba0fa13d8545c010927ac8abaf15","datavalue":{"value":"partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151206$AF1D4C0D-9105-40F5-AAE0-BB6B0015BBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6402e4ac8f155e2c21fac31a5f154cea814983c9","datavalue":{"value":"systems of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151206$F226095B-F924-4701-BEAE-C79422C7A441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151206$419A4A8D-E837-48EB-A7DA-40BF968C4941","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":"Q5151206$5C1A18B3-1BC4-4BAD-B28F-CE1FA671BA73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb0168284a1a591362ae3df6f15ebf546026dff1","datavalue":{"value":"W2800052199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151206$69DA4B1C-1523-47E5-8FE6-0C33CB0B3424","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8272a2eed684dcc743719a6651c947badf1e2","datavalue":{"value":{"entity-type":"item","numeric-id":1836661,"id":"Q1836661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151206$4F7B66A6-DB84-4323-B40D-00D569FB467B","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":"Q5151206$CC914A83-E682-4679-B72D-95BE6ADC5B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbfdb43a88f85353696632ddb5f39e85048b63ca","datavalue":{"value":{"entity-type":"item","numeric-id":1930229,"id":"Q1930229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151206$2137CAEE-6745-42D5-8968-7E93521B3933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88392e2d96e6b20b42940bf56c1735eaf4e5420","datavalue":{"value":{"entity-type":"item","numeric-id":3291034,"id":"Q3291034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151206$D2640351-EDED-4D0D-A0AA-A6CDD19FDEB2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2b14a93c59bc8799ec1e7277c797308ff4485c2f","datavalue":{"value":"Q129835230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151206$77EEF5DF-2024-4B7B-983D-278E4C3097A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9afb024e39224c0be1395ec9a94a17a985b352","datavalue":{"value":{"entity-type":"item","numeric-id":4729350,"id":"Q4729350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec9382c754804b05f3316c9c63f55afdd646a55","datavalue":{"value":{"amount":"+0.8037522435188293","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":"Q5151206$807EF047-459F-46C9-A597-E842F7F85F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91638dc3b9d68080abf4a9393099333ab24e5e18","datavalue":{"value":{"entity-type":"item","numeric-id":5483456,"id":"Q5483456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d02b2ee2f7934183248abce549f04abaeef1392","datavalue":{"value":{"amount":"+0.7933700680732727","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":"Q5151206$BCC95022-FEDA-4891-8FB9-1D38953CA6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258b96905574a09944e6bd50929c5edf076019a8","datavalue":{"value":{"entity-type":"item","numeric-id":539980,"id":"Q539980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f735db77a2fd56a03a0adcd308e0c26c19a3fd04","datavalue":{"value":{"amount":"+0.7892759442329407","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":"Q5151206$2CD6A3FA-BC16-41FB-8662-9212462B26AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457814893bb46a11eaeef4127481b4de596737e8","datavalue":{"value":{"entity-type":"item","numeric-id":3067781,"id":"Q3067781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd35bfc4bd7abb817f5942229a3cd9f6b0848df","datavalue":{"value":{"amount":"+0.7661454081535339","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":"Q5151206$3C790AAE-0C5A-41D0-988F-31D99024FCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2bd97db4a9be291cae3686b20c39b8bf3253158","datavalue":{"value":{"entity-type":"item","numeric-id":3575998,"id":"Q3575998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9409e2e667523facd9a33cad3fec1d1a61397f","datavalue":{"value":{"amount":"+0.7659685611724854","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":"Q5151206$DBBCF5E4-9DAC-4EEB-80CA-2B956768BF74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On complexity of the satisfiability problem of systems over finite posets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_complexity_of_the_satisfiability_problem_of_systems_over_finite_posets"}}}}}