{"entities":{"Q5752028":{"pageid":7781579,"ns":120,"title":"Item:Q5752028","lastrevid":49462837,"modified":"2026-01-07T05:06:52Z","type":"item","id":"Q5752028","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4187179"}},"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":"Q5752028$7CD00025-A423-4FFC-AB9E-A76BE138CF9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b7350e23e8a495d2f658aa7b3a31b729ca26c7a","datavalue":{"value":"0719.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752028$39E169BE-067A-489A-9C1F-77638CDF975A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ae902fbbb59027155ba7121eda25b22ef342eb","datavalue":{"value":{"entity-type":"item","numeric-id":5752027,"id":"Q5752027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752028$EFE0848C-8570-4785-A8E7-CD9643F6F991","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5752028$8D13FA08-063E-48CA-A21C-F94668CB7E12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752028$B67275B8-3922-4FE2-A06A-6EEE3F3D20C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752028$7AEBBEF7-94A3-4CCA-863E-B84A0118234F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752028$CB38D50F-EFF5-446A-843A-74993C2277F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752028$43736AB2-5C0E-4BD7-9C2E-72D335415D8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02a01205c7c947f7165b06b83395423384fa4200","datavalue":{"value":"4187179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752028$2DA78E63-73B9-4338-A6BE-0233C1DEB56E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752028$71BB6661-9D91-48D5-A7E1-7F8FC1DDBA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c976e2b08c5e6dbb0f3a574deea5a4f98cc3b0d","datavalue":{"value":"programming environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752028$07D79249-1FA4-45BF-A22E-E79C154C1B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bef81487c235fb93960d3747a1ea458873239384","datavalue":{"value":"geometric objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752028$5EB3A62E-853F-4662-9B04-B0826F20A8A0","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":"Q5752028$1ECB906A-E1C8-4A87-8A42-E71A77BC8F74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d2e078a253980ab448f3a708bdf868fd8cae7a7","datavalue":{"value":{"entity-type":"item","numeric-id":2765707,"id":"Q2765707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf669b3a9cc9f8057d98a4b2d4f16ecc4d83be82","datavalue":{"value":{"amount":"+0.8051639795303345","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":"Q5752028$40AF4FF8-6394-488C-96F5-F2A9622DF45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc9ad487a75bc5d79c80f13531f1143c25f6086","datavalue":{"value":{"entity-type":"item","numeric-id":3399727,"id":"Q3399727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ebc6105589c8747941340938fa19c2f23d7aaa0","datavalue":{"value":{"amount":"+0.7748015522956848","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":"Q5752028$90D43520-BFF2-484B-89DC-1EF2BA348A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0466f0e97a7f528d946a3133a1541df41fd259f3","datavalue":{"value":{"entity-type":"item","numeric-id":4857780,"id":"Q4857780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38799374d3c445e628be952c7c44858e3f065903","datavalue":{"value":{"amount":"+0.7642297148704529","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":"Q5752028$EDA90264-3FC6-41DA-AF97-E788CD546710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7b60e1605e7f42178b8d7d7d5e757e69e556cd","datavalue":{"value":{"entity-type":"item","numeric-id":1855223,"id":"Q1855223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b1e1b629d242fedc276aa11f664b80b94444be9","datavalue":{"value":{"amount":"+0.7634240388870239","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":"Q5752028$7C818745-CB90-458B-8E3D-1BC7321182C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d3c44cd7689fc401358e3f89e1f02efc69493e","datavalue":{"value":{"entity-type":"item","numeric-id":1101255,"id":"Q1101255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f7a79fee7ce02680cb677f5557a4b4d6754ebf","datavalue":{"value":{"amount":"+0.7623580098152161","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":"Q5752028$375BB6C3-B77F-4C44-BB53-A7C4DEBCAE9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5752028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5752028"}}}}}