{"entities":{"Q2881073":{"pageid":2891793,"ns":120,"title":"Item:Q2881073","lastrevid":83976779,"modified":"2026-05-07T15:25:55Z","type":"item","id":"Q2881073","labels":{"en":{"language":"en","value":"Ground interpolation for the theory of equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021323"}},"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":"Q2881073$5447422C-7F53-43B2-8328-C5F70AFDD7E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5794e300827f653442d7d0e7ba4edcbe90842de6","datavalue":{"value":{"text":"Ground interpolation for the theory of equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881073$AF14C6F6-F81C-4177-9181-8B2BC8706E30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e178186a426bf3914bdd657458e480d5949c905","datavalue":{"value":"1239.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881073$3DF7CFE9-6A85-4D1F-BB1C-E0ED8C8861E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c8f0e6e3f76b169bfb93d7127a790a60a700770","datavalue":{"value":"10.2168/LMCS-8(1:6)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881073$DB1219EA-E017-40C5-B8E3-49092E1ADCB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdbc6771ac2ea422001c187c0d91d02309cb09b0","datavalue":{"value":{"entity-type":"item","numeric-id":1006732,"id":"Q1006732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881073$94AD762A-F462-4DE4-B46E-C6D2580F0EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ded5d73a1c3090755c930487a8f09176d403299b","datavalue":{"value":{"entity-type":"item","numeric-id":2881072,"id":"Q2881072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881073$DE8A4E26-F572-443A-B18C-7043B35C46BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c86e6d71ff75c4160b75b01d9b253cef23cffe4","datavalue":{"value":{"entity-type":"item","numeric-id":1267032,"id":"Q1267032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881073$2734DED2-CBEF-4205-A6E6-8213FF671CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4553da8c1048cfe4c8999aaeff5b09130cfe2ff7","datavalue":{"value":{"entity-type":"item","numeric-id":1064406,"id":"Q1064406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881073$506EC04C-50DE-494C-8743-AE46B6034B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881073$CA7B0921-5960-42F1-9ADC-E69FA4099DA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881073$41FA4D9C-2E4C-4698-87C0-496B5397CA39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881073$C721CDA6-20D5-4571-8BCB-78C9F49CD75E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881073$F385A122-FD36-4757-972B-429B895C4EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881073$F64B0E1D-A2DA-41FC-8DBE-BC0AD260AE0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"670c03af9118f4952fed79c0b2725496c509df80","datavalue":{"value":"6021323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881073$36DA1A9A-5243-488F-BBC8-B2914ABFBF8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7423a7fd31478a6048caba0f52c5df67e07fc0b0","datavalue":{"value":"logical interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881073$3B77DDF0-1E0E-4A62-990B-5A403F762369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881073$9D92897D-CB80-43AF-A6C5-2933DF05D04D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881073$EA19DBC6-6B5A-40E9-8E14-BD9A1AC2588E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881073$E485452B-825F-4FF1-BE65-0D3F37747A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881073$75F69479-91D6-4367-8A85-4722969059DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"71844b33bb0dedf8413e40660d0beaf63b2dcd4f","datavalue":{"value":{"entity-type":"item","numeric-id":39939,"id":"Q39939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881073$1C407B1F-610D-40B8-A5A0-724C7B442033","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":"Q2881073$8A33357B-F07A-4885-8C4A-FB4F3FB6AE82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec9e77a129ac0ce790872efb3ea5a347aafec7c9","datavalue":{"value":"https://doi.org/10.2168/lmcs-8(1:6)2012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881073$BB90AFB4-B2B1-4BF7-AF58-F78CBE0CF303","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e41ce867ab3fd589a74d89ee97f8dfbf9f159525","datavalue":{"value":"W1972614792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881073$0EA1841B-EE88-4F63-B740-035126B0E39D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f69dfe0a017ee11297871743e55fed23c2e7f073","datavalue":{"value":{"entity-type":"item","numeric-id":3617772,"id":"Q3617772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64925289e98861bd56eea9724ce720f21f40658","datavalue":{"value":{"amount":"+0.966440200805664","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":"Q2881073$8763EBF5-CED0-4D26-901A-A454B8954ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1177ad7c25250cff82e36272822ccd3beb0e0400","datavalue":{"value":{"entity-type":"item","numeric-id":3622999,"id":"Q3622999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61fe971152637fb0f3457c88c8be51af74357d4","datavalue":{"value":{"amount":"+0.8288248181343079","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":"Q2881073$2ED579CD-5F46-40A8-A58E-AAC5B7BF11EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2da048e2bbbcb6e30f3c598cf71a8110eb110b1","datavalue":{"value":{"entity-type":"item","numeric-id":5191102,"id":"Q5191102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84438e34570d6c967913952a708f8d8d41336b5e","datavalue":{"value":{"amount":"+0.8104640245437622","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":"Q2881073$1F5A2D8C-0DF8-4D14-A022-8F51E9576664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d051599a92a778760c32010d66f8e2784220f6f0","datavalue":{"value":{"entity-type":"item","numeric-id":2352502,"id":"Q2352502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8076cea0a13223a50c27f97566a3fe26eca96876","datavalue":{"value":{"amount":"+0.8052342534065247","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":"Q2881073$6E722468-EDFF-4547-83F8-895433554776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6082005cb838151ec2f536065030af8f23f991cc","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b2d11829386e7f3b224371e3be60a980c5846fb","datavalue":{"value":{"amount":"+0.804078996181488","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":"Q2881073$3DB65A9A-2803-4228-BF8C-3C9F3A868EC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ground interpolation for the theory of equality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ground_interpolation_for_the_theory_of_equality"}}}}}