{"entities":{"Q5151271":{"pageid":7180842,"ns":120,"title":"Item:Q5151271","lastrevid":94356653,"modified":"2026-06-05T06:36:04Z","type":"item","id":"Q5151271","labels":{"en":{"language":"en","value":"Decidability of the restricted theories of a class of partial orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7311663"}},"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":"Q5151271$3B9899BB-B819-4091-A797-EAF907A4D915","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"866e1963eb3d4d36f313147c2c714aad2a5ecb47","datavalue":{"value":{"text":"DECIDABILITY OF THE RESTRICTED THEORIES OF A CLASS OF PARTIAL ORDERS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5151271$03F3DECD-8770-4437-B88D-FCA2327378C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b98ffaae421b883758ea6d620e6d37a8ca7042d5","datavalue":{"value":"1461.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151271$14B029FA-245D-46AD-B750-51413CCA8EF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17660f4897e83a444e1caef9ad11d25a8356156f","datavalue":{"value":"10.17223/20710410/45/1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151271$2D69FBDD-F9AD-43D9-9BAA-711013B062C1","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":"Q5151271$730937D5-D817-4AF2-9F45-040B546CC808","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d976dc20de49560288a9859d1288a2384daafb3c","datavalue":{"value":{"entity-type":"item","numeric-id":4986233,"id":"Q4986233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151271$17A02FEC-B871-43DA-A153-162013EC7E1D","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":"Q5151271$AAC98E49-CFC2-4A20-9C5E-B840DB4AFE16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eac6d32c7448e529bab459e478693df39f14a202","datavalue":{"value":"http://mathnet.ru/eng/pdm666","type":"string"},"datatype":"url"},"type":"statement","id":"Q5151271$39023D95-5A14-4F8B-866D-46AF0A5137FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151271$58B91707-D90C-486B-815F-B0CF3ACBF76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151271$B993C5D4-192C-4995-A388-51126AE82C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151271$D6EFA40F-A47A-41A2-9FBC-C43046CD8DD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68b914b63deb919653d90c449679810b0cdfb7c8","datavalue":{"value":"7311663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151271$DD379A2B-A7DB-4F82-80CC-2281A58082BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da0f5147540e5ff9abe1a7fedfdb0d575bb38f3","datavalue":{"value":"partially ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151271$0B37F50F-A849-4B49-AE58-C23214821A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762a112ef0429a3655234c3e246a242461dca9bf","datavalue":{"value":"poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151271$9AA8CE1C-122B-4327-8E7B-F03EF64489A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abfbb1cdd59152508962c15152dc67d38dbf034f","datavalue":{"value":"decidability of universal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151271$4121D83E-6C1C-41DE-9500-A2EE878F1233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"987f1ab8142801b8c868042764bc18d70e4988b7","datavalue":{"value":"decidability of existential theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151271$AD26D37E-AA7A-4FDC-A35B-F224F99D17AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a80461612cf6ef24b2f55963313502f5239ddefa","datavalue":{"value":"classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151271$A2DD431A-258F-456F-9EED-7E82313208FE","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":"Q5151271$E1BD7D46-8CF4-44D6-9B41-47C7B3C0B87C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3da129138fb50c6694f5a559daf6bc429f51a51a","datavalue":{"value":"W2983077088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151271$93B1EEA7-6862-4713-B34C-FF867D0A0981","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae33960bab6ec4a03ebf92d61093f13a7632fb7a","datavalue":{"value":{"entity-type":"item","numeric-id":655638,"id":"Q655638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151271$E64D1908-F53F-4990-B513-FFB143A7AD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151271$17FBF42E-0592-417D-A4C2-41F2E3CCE2A7","rank":"normal"},{"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":"Q5151271$679E006B-D42E-4186-AC3A-E35BF8070593","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":"Q5151271$182B85A8-6223-4395-9FED-A943EAF74091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21ef5432ed196611148c5f14bec3dbcc2de4788","datavalue":{"value":{"entity-type":"item","numeric-id":5151206,"id":"Q5151206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151271$C0ADF157-37BD-4541-A68D-13A7AA767006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38af94e85d3150b56596cccfd2f262da6745dec7","datavalue":{"value":{"entity-type":"item","numeric-id":2539067,"id":"Q2539067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151271$A5FC7EEE-E930-4316-8269-34E833590D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9293e7731d50631175e47d5a8b7595a5a6a427e3","datavalue":{"value":{"entity-type":"item","numeric-id":5596794,"id":"Q5596794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151271$55266C6E-1966-4F62-A4EB-C3F4EC51A73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418821fe58bdb4e8ca7702edf4fa623914f51248","datavalue":{"value":{"entity-type":"item","numeric-id":4399900,"id":"Q4399900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151271$7A35E165-D1A2-44FA-B9CB-802645A292B5","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":"Q5151271$394BD0DE-FB5D-4F0D-8943-8897833A7BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151271$3F21968A-9DAA-43DD-9ACF-ABB6DCFBBA84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215e9bf2805e1686d0fbaf2f339fc57f56f53ad2","datavalue":{"value":{"entity-type":"item","numeric-id":5151206,"id":"Q5151206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a0816f1bb472498d1a6047fe9234624dbdf17f","datavalue":{"value":{"amount":"+0.7635363340377808","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":"Q5151271$7301E07F-0E14-4372-82B0-89C0D0E469EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f7881f86f308faed7549e24ff0faacd18739f7","datavalue":{"value":{"entity-type":"item","numeric-id":3758805,"id":"Q3758805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bec12f468566d16efdfadc0ccdac7799ce9edf4","datavalue":{"value":{"amount":"+0.7566559314727783","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":"Q5151271$673B81DC-961A-40E1-AF5A-62DE984A82AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c68a051a97067cb8a9a0785a81426dab81c239b","datavalue":{"value":{"entity-type":"item","numeric-id":4249357,"id":"Q4249357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"872e5fb0d8d0ee2ac51701e11e1f81d9d7037cd4","datavalue":{"value":{"amount":"+0.7432270050048828","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":"Q5151271$B1C28D4C-1085-4BD7-9463-67CC1A0CE458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efd22ba1e96bb3ac79320f58e62a4d359fed74c3","datavalue":{"value":{"entity-type":"item","numeric-id":4807234,"id":"Q4807234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1633b997e1c0ca85b468dd5b3761502168214bd2","datavalue":{"value":{"amount":"+0.7340755462646484","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":"Q5151271$0A376041-0A74-4376-AA4D-44E3D49D930F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2068324215f6e102457966470bcf5053f23a95a3","datavalue":{"value":{"entity-type":"item","numeric-id":5151279,"id":"Q5151279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1b3f4f36aa96286964b9a346936f10ae273c8a6","datavalue":{"value":{"amount":"+0.7281347513198853","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":"Q5151271$1409D209-B682-45DC-A592-DB2284081F2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of the restricted theories of a class of partial orders","badges":[]}}}}}