{"entities":{"Q4530465":{"pageid":6560057,"ns":120,"title":"Item:Q4530465","lastrevid":47921725,"modified":"2026-01-03T02:26:54Z","type":"item","id":"Q4530465","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1748580"}},"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":"Q4530465$AD6AD21E-B3BD-4F92-857C-A2D1DCBE7A7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f12f9022d5947abd39e35b7c50e0fbd2d9587fd","datavalue":{"value":"0996.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530465$2621E59B-0140-4E14-8F5E-7E7BD77C6BFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530465$549F33FB-1A46-4A4C-BD57-7FF91DE5903E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d00c1197e57bdc49c1c8779be1049cb4d10dbd","datavalue":{"value":{"entity-type":"item","numeric-id":877896,"id":"Q877896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530465$96BEF0AF-11FB-4364-AAA7-B38FF5D7B180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79124b11e1fe5bc59a11a739fe63a4a20df1773d","datavalue":{"value":{"entity-type":"item","numeric-id":1854381,"id":"Q1854381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530465$D162BA1B-67B5-4221-BDD2-C62D831255BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530465$85EC5CE9-2C0C-4605-B6AC-2118CDA4F2AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89979698039692d8b30dd476805176a82a96347c","datavalue":{"value":{"time":"+2002-06-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":"Q4530465$73DBE952-566C-409E-91B9-3FB2950DC7CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530465$14732729-6B03-43F0-B17C-CF1A5658E096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530465$F70668C1-10DE-4F69-A8EE-53B7559247EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530465$F1495361-D2D2-4EC3-860A-3D76E78A5950","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f77c38a4a2186169a3d0ff84df899b0735cf039","datavalue":{"value":"1748580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530465$1DCC72D4-4C30-4DCD-969A-C775C9BFA9E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6796b2693ac25dd963bf63cb82f6d12145cfb366","datavalue":{"value":"matrix methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530465$66791C59-3BAF-469F-86EA-6C65DFD39B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dc0b14de655bf2677faeaad58c76c98f5bd5457","datavalue":{"value":"constructive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530465$F778DBEF-7CDA-42A2-9B97-F3F1698A0533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dcd23f1ac15738884d4f597ff06d742c7a60a96","datavalue":{"value":"rippling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530465$139AC2B6-BAE5-45A4-A833-DCF13936DB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530465$0A49EC66-C828-4DA3-B246-72A7437B1F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9766ea21e04bbb663ab057ef2e9635b0fd3090d5","datavalue":{"value":"connection method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530465$E352D440-EEED-4F9A-913D-70FD5C66DAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530465$78B18C8C-D3BC-489A-8A3E-01368D1046B6","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":"Q4530465$6E5FE306-30B9-40E3-B662-15F01D198D35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c619a0cf2c367ad503fee3443960d53a51d72da","datavalue":{"value":{"entity-type":"item","numeric-id":2721203,"id":"Q2721203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7edaf427950d937e860f9ee0a25797cf33eb7854","datavalue":{"value":{"amount":"+0.8633659482002258","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":"Q4530465$DB913B72-690A-4813-AC55-3F8F06E4ED26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fac03fc28094dc9e2c5577fcf6cb715a2dca930","datavalue":{"value":{"entity-type":"item","numeric-id":5955618,"id":"Q5955618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2900a155c0d239770baf198cd3046939748cdce4","datavalue":{"value":{"amount":"+0.818354606628418","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":"Q4530465$0DFC6478-FFFF-464C-A7F8-035D1A71E8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e44078a550853f38aa1f793c9c359d6abdbdba","datavalue":{"value":{"entity-type":"item","numeric-id":5406130,"id":"Q5406130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e666151a458e5542467a54410a0f29605d89bfa","datavalue":{"value":{"amount":"+0.7899242639541626","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":"Q4530465$61CB7C0C-6313-4185-97EC-C5CC02768A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e476e8b83f9585570206cefe1255d6663a8fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3745826,"id":"Q3745826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc1ad0d452336054c28e30c6ecae056627f21af","datavalue":{"value":{"amount":"+0.7612773180007935","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":"Q4530465$F3E27076-BFE0-4D0A-B553-D7F16252AE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e78ec1e57d28eb396bb763c08542878c4afd6e","datavalue":{"value":{"entity-type":"item","numeric-id":3838818,"id":"Q3838818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fed79a7177c767b7a7dfdc444903c0026959ebc0","datavalue":{"value":{"amount":"+0.7532814741134644","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":"Q4530465$911C8676-9BFB-47E0-B7AC-EA6243EF4C36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4530465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4530465"}}}}}