{"entities":{"Q5900718":{"pageid":8007009,"ns":120,"title":"Item:Q5900718","lastrevid":50958545,"modified":"2026-01-15T22:40:44Z","type":"item","id":"Q5900718","labels":{"en":{"language":"en","value":"Superposition modulo a Shostak theory."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695400"}},"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":"Q5900718$DF4FB37B-139D-466E-9E85-06FE8B6BA5E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7c3f040a8feb248e6dc29a1def291c92088958","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-19","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900718$5DC7F615-C3DF-4B84-88EB-1B48D8AB1027","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81d74051ae35c0dfdda15d3c23313ea942bd3019","datavalue":{"value":"1278.68260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900718$97F4540D-F63A-44D0-9BF1-2F2A6E533143","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900718$7E333AE1-00A0-402E-9FE9-A7C72846D5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"044a615c642dd548eb33b509f509dab0216e096b","datavalue":{"value":{"entity-type":"item","numeric-id":1404985,"id":"Q1404985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900718$485B21FE-E22E-4D3C-AF47-C78BCDF2C273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecde3ddf4f96a8da457aeb906b2979614b354694","datavalue":{"value":{"entity-type":"item","numeric-id":293310,"id":"Q293310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900718$F9EC7316-A2DD-4D86-AEE3-5CEC2797FE19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900718$99E24D3D-4A9F-41B7-8CAC-E08D89EA81CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-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":"Q5900718$6C51E701-1922-4BC1-8D7F-FC8100E75E1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900718$ACD80350-5080-47A5-B55D-1209E39273B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900718$8C1387F2-6318-42EF-A254-19EC9A4BC1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900718$3D23C308-F5A8-445C-91BF-955C73CFC968","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f184c3d8a5aef831bb4eb3ea671d3474902867ea","datavalue":{"value":"5695400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900718$A92F36F6-D58F-4F1E-B1FF-A1538A4C31DD","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":"Q5900718$EC4BD48A-6B89-4CF1-85B7-749FC0ECFA37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c668ddb4fae172b1931ef73496e5bcbc0e7e0c","datavalue":{"value":"https://doi.org/10.1007/b11829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900718$934598DE-C67E-4F9D-A0D2-49C34041FEAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900718$5DB9EC76-26AD-43E1-A08A-E80F7BFD1EE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900718$357F53D9-7489-4954-9D86-C96711DBE227","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bad6694bc84bc7db2a7b91bbc531be7915baee7d","datavalue":{"value":{"entity-type":"item","numeric-id":3655193,"id":"Q3655193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3fa5271db37bf7e67f5bf88f65d54bce40fd2d2","datavalue":{"value":{"amount":"+0.7846011519432068","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":"Q5900718$764A3794-41F0-4759-BA4C-F6F31D2FFA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3d9387720d02a5f4c6be8cf1634bae6ddde0a2","datavalue":{"value":{"entity-type":"item","numeric-id":3540186,"id":"Q3540186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79f558d7c6cc429f74a03c9642188edc5765bb6","datavalue":{"value":{"amount":"+0.781376302242279","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":"Q5900718$D00F28C3-64E6-46A1-8798-F86CBCE8BE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e4d62e777a9d8738c3c76352fa17d1d347af0c8","datavalue":{"value":{"entity-type":"item","numeric-id":2946615,"id":"Q2946615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"430e6781216f1e214948d8f099a6c175f4eed8c7","datavalue":{"value":{"amount":"+0.7812327146530151","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":"Q5900718$AF99A090-E3DD-4E5B-9122-76042774AB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8be640bd51e2586ca3b20a0e4d806fcaf3893ad","datavalue":{"value":{"entity-type":"item","numeric-id":5395131,"id":"Q5395131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c65fa6297d83759c6195872fb35b4b01600036","datavalue":{"value":{"amount":"+0.7726067900657654","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":"Q5900718$72A4D42B-9167-4A05-B334-6468263EF5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f68fb871a62dac9fa2ab6b30e906869c06a8dc","datavalue":{"value":{"entity-type":"item","numeric-id":2432764,"id":"Q2432764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fed15937d53077ff78919621f05e991b6b1a4522","datavalue":{"value":{"amount":"+0.7701652646064758","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":"Q5900718$09CB6245-3791-465F-98B9-6B34B28330CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900718"}}}}}