{"entities":{"Q2870128":{"pageid":2880848,"ns":120,"title":"Item:Q2870128","lastrevid":83845574,"modified":"2026-05-07T12:43:06Z","type":"item","id":"Q2870128","labels":{"en":{"language":"en","value":"Revisiting the equivalence of shininess and politeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247437"}},"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":"Q2870128$C58B999C-01DD-4BE4-91C5-587FF9C9C958","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd674bf92534dba07187653324e44a527812a275","datavalue":{"value":{"text":"Revisiting the Equivalence of Shininess and Politeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870128$BE58E8C3-D359-4706-82D9-66DB1485B69A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a9d92bc2bf7e141370a4644c4a036ee1d47bc0e","datavalue":{"value":"1433.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870128$70997BD2-A131-4184-AC6E-573729580357","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d2c25ce9347decc73641278a573b7efd54c3325","datavalue":{"value":"10.1007/978-3-642-45221-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870128$228473E9-3F35-474A-990E-DD6941300295","rank":"normal"}],"P16":[{"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":"Q2870128$610267F6-A4DD-4CCF-865E-A96015AEAA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd81c74e9dd6a65228b7fc9755a82f62eef19851","datavalue":{"value":{"entity-type":"item","numeric-id":682379,"id":"Q682379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870128$B1FAB190-8BF2-42D3-BFDB-A336AB0C878B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870128$C60FD563-8F81-46DE-A4DA-6EBADEB38AFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-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":"Q2870128$955ADD76-1B4B-43D9-B64A-D443A195B73C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870128$2AC62D14-015E-4B80-B660-356D61041504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870128$ED438D2F-8982-4544-AD59-CA80B91FD78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870128$5B7F199E-1AFF-40EF-9DA5-DE6AB3DD647F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"beb818ac34f5bc346217b8f566b6d88571902c0d","datavalue":{"value":"6247437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870128$37D94380-5809-475A-971D-42381652C689","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"279779f05502f6e088584762a3eda6a41a96f8a6","datavalue":{"value":"Nelson-Oppen method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870128$9B1F1C8A-934D-4BE7-93CC-4B0F18F72B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5db7d9c618d5514417c59100c74ae063644c699f","datavalue":{"value":"combination of satisfiability procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870128$5E9D50E8-CF69-4E9F-BB99-89125577B456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52d8651d90d2b539c39324f5a1d5189d748fcaaf","datavalue":{"value":"polite theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870128$7525C0A1-8232-4EB8-94B5-3DA8FF686E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e06f9321b0f714cde91c4ec09331c9a9ce352ca","datavalue":{"value":"strongly polite theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870128$F2B16F90-71BD-41C2-BC79-47D5205609AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a87cb9773c152e429059321d7c47811bbcfa6d5","datavalue":{"value":"shiny theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870128$9061CE73-01CD-430C-BACC-454986C918FC","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":"Q2870128$B0F651E2-46B3-4C00-B2EF-DF4816E38139","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b15a93bfd0ceefb22ccba753738ed9055b87c51","datavalue":{"value":"https://doi.org/10.1007/978-3-642-45221-5_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870128$3D5892DD-7EDD-4483-B48E-2C39ABFA1910","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21aead9df33fe6e54933052dedb570e5dd529d5c","datavalue":{"value":"W103385263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870128$6870636D-A208-467C-ACE3-776ABF6D0148","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a8fc51d9f663cea9e377587f70f34d24a73ff18","datavalue":{"value":{"entity-type":"item","numeric-id":682380,"id":"Q682380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c76a70678e52aaa7f65aeb9bd2b0eab1b973323","datavalue":{"value":{"amount":"+0.8403103351593018","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":"Q2870128$0CF25B7F-5379-4AF1-AB4E-1CCF2A3A8CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3cd9ce0af33079d47a79e6937224e1c0a3e7130","datavalue":{"value":{"entity-type":"item","numeric-id":4916220,"id":"Q4916220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a448726aaf684b6d7947586504edf5c11fdb9d72","datavalue":{"value":{"amount":"+0.834399402141571","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":"Q2870128$D2D9295B-EFD7-4C5E-B603-8151186B6A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9427e51f2461ff1144741b786b8cb2c8b102c3","datavalue":{"value":{"entity-type":"item","numeric-id":4933320,"id":"Q4933320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494240d2fc414e77e723c8e60965f02204dc3bed","datavalue":{"value":{"amount":"+0.8277674913406372","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":"Q2870128$028F6C74-F8B7-4A8A-87E6-EF242844355E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc6e21c5a8cd0259b6f92ef6724c36bf6e6585a3","datavalue":{"value":{"entity-type":"item","numeric-id":2303236,"id":"Q2303236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"339cb78890b9a1c6c10dd3a094ce145b91b08754","datavalue":{"value":{"amount":"+0.78547203540802","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":"Q2870128$64F2166F-45FC-4F6D-BE08-EF289B1A2DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8157259c03a3a2f5168075e41add92e458d02026","datavalue":{"value":{"entity-type":"item","numeric-id":3454111,"id":"Q3454111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ac68f0f1b2414ac76af4d794014d56705f3508","datavalue":{"value":{"amount":"+0.7696859240531921","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":"Q2870128$80C77338-ABF4-4294-A092-036A62CDC5E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Revisiting the equivalence of shininess and politeness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Revisiting_the_equivalence_of_shininess_and_politeness"}}}}}