{"entities":{"Q6488551":{"pageid":14067320,"ns":120,"title":"Item:Q6488551","lastrevid":47845681,"modified":"2026-01-02T20:57:16Z","type":"item","id":"Q6488551","labels":{"en":{"language":"en","value":"Hyper resolution and equality axioms without function substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680826"}},"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":"Q6488551$266765CE-5339-4156-8E0A-545A9EF652FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5788527bd26e6c8a7f7ece293ddd038cc1b802f3","datavalue":{"value":{"text":"Hyper resolution and equality axioms without function substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488551$ABB3D0B5-CE2E-4FEE-88BB-AAB50629D9E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e10964cb077d044576a7a06ce2f4e414c501a389","datavalue":{"value":"1509.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488551$EBDD3409-11BC-40B7-82DC-05395549FEFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e172495fd65c61008bdbe55ee1ed1a699735be8","datavalue":{"value":"10.1007/3-540-52885-7_107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488551$8F254B99-B572-4E04-AEE7-98E741C4B7F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"499e46cfc8f8c4df18992d755de5f16f306e9b59","datavalue":{"value":{"entity-type":"item","numeric-id":1015282,"id":"Q1015282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488551$20988541-003C-4461-9996-1FA703D48309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"237e66ed3a5f704af046532209ece27c956c02ff","datavalue":{"value":{"entity-type":"item","numeric-id":685470,"id":"Q685470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488551$0A1A9A1C-7A1D-4682-BA24-735A5A522D30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488551$C554AD7B-EBD8-40A6-BA00-B419A76F1A7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488551$5BB8BC2B-8A83-4E8B-9EC4-F75716A8ADC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488551$E2C13505-133C-4DF5-AD5A-3EA741368527","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06e73f2cce3b3c10a95f3aeffd542e01db15031b","datavalue":{"value":"7680826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488551$2F9CB33B-C825-4761-9012-BD0D92EBB063","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":"Q6488551$E1A7CF5E-CDC6-4785-9145-18F19298CFD6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488551$D70B21B4-39D1-42DE-AA8D-29B3D4341899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef75b4b5ae4f1119c1ac9bfdcf91039dbf37c93","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488551$6F1221A4-C1BA-4F28-B49F-F38A4F592E84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c472abef49929d0b20715a57a81f3674e910c8c","datavalue":{"value":{"entity-type":"item","numeric-id":2931391,"id":"Q2931391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d8fc46f69f23c658b47cb6fc7d72fe311c289c","datavalue":{"value":{"amount":"+0.7447941899299622","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":"Q6488551$8349E65B-C994-4F8E-BA26-20ED703119CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82df25510a7e9b0f188ad169284324e8878a81fc","datavalue":{"value":{"entity-type":"item","numeric-id":480810,"id":"Q480810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd742c34745854c1a9ddc1388f0ee6c11101ce6","datavalue":{"value":{"amount":"+0.7417449951171875","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":"Q6488551$5C588FA4-2C6D-44EA-AA64-829567873C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e359458776ffa15f8893603122682abb10b924c5","datavalue":{"value":{"entity-type":"item","numeric-id":5397730,"id":"Q5397730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6236f888843530e6875bd0d2c6e0c1c2e15229f","datavalue":{"value":{"amount":"+0.7343225479125977","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":"Q6488551$9EF33081-C066-4924-8148-0F6513472EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff298c7893ab17d5bc66a2fcefc59d6bc176634","datavalue":{"value":{"entity-type":"item","numeric-id":3055893,"id":"Q3055893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1777aabd302461e03a94389d2f27ca143bd0591","datavalue":{"value":{"amount":"+0.7269387245178223","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":"Q6488551$03286BE5-8B2D-4AEE-884D-26A8EF14F59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71b36275bac684f608e0596816b0138fdcfebfdc","datavalue":{"value":{"entity-type":"item","numeric-id":4737228,"id":"Q4737228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9948cbb2b80c9a62681b1438980e1421457781","datavalue":{"value":{"amount":"+0.7241831421852112","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":"Q6488551$AD72CC05-7AD7-486E-A5F6-4649E5A0C55C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488551","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488551"}}}}}