{"entities":{"Q4524769":{"pageid":6554361,"ns":120,"title":"Item:Q4524769","lastrevid":47558938,"modified":"2026-01-02T02:05:25Z","type":"item","id":"Q4524769","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1552511"}},"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":"Q4524769$DAAB534B-FFE5-4B2B-AA46-40D3BDDF09CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46e90d39680872e5a202d263b484c7ea9b330e88","datavalue":{"value":"0970.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524769$B88A2EB8-F0A4-4742-9407-24089B8F4A17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38294c3226d3792efd0f0a6334adfdf20cdb195e","datavalue":{"value":{"entity-type":"item","numeric-id":1951608,"id":"Q1951608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524769$8B0D9335-DC3A-40C4-A4B3-9A4A7E935DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573cc3758191477e0c4b208110ac7ed93fa98f2b","datavalue":{"value":{"entity-type":"item","numeric-id":229746,"id":"Q229746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524769$E03B6ECA-7B48-4392-8A88-4EF3C812DD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524769$97A92A04-3D1E-4D06-BB70-B53FB0E91997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"104e1fdbf35b38d67a7b46f91b1d3b5ceb1c7085","datavalue":{"value":{"entity-type":"item","numeric-id":234901,"id":"Q234901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524769$404B97F9-F1CA-463E-B399-953157DF3801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dfedb9e8f39a520fe833d6538db6dc39854cff4","datavalue":{"value":{"entity-type":"item","numeric-id":539222,"id":"Q539222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524769$867896A1-98CE-472D-A8A2-AF46A1CD5F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524769$45EC93B2-CFCB-4E33-B631-E5BCE6575913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"924cca174357738b06b9173e0c5b8febd23b6af5","datavalue":{"value":{"entity-type":"item","numeric-id":1202018,"id":"Q1202018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524769$94B06B59-3788-45F8-9095-1B490E5AB214","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df6a2e2d83cd24c9e72d2bfe0bf7d46179db7fd5","datavalue":{"value":{"time":"+2001-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4524769$F87C7B03-0293-4DFF-9E68-BCEF3F2DA6D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524769$2D5CAF1C-5AFA-45B2-9ED1-09C3CD06ABD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0325f08231900e6cecd5b8035021f7e06ee60ece","datavalue":{"value":"1552511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524769$AEF6E5CD-82B2-4016-AA4C-A8267247E76C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524769$AF23D5B4-C07F-4C2A-92DF-40CB7E5ACC2D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524769$1E0085F5-59B9-41BC-9CA3-D7EFC3FC7891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7ae9697ba460da5b1ef21e479b4fde31e616ec3","datavalue":{"value":{"entity-type":"item","numeric-id":33351,"id":"Q33351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524769$965AB479-44B7-479B-B40A-14076DC740CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c55b02aff260c82fbd1211080f1ad48c6d9aaba2","datavalue":{"value":{"entity-type":"item","numeric-id":18502,"id":"Q18502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524769$31538133-1417-4C8B-A421-B0D8ADC65358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6e63feadf3683bc55060637024bebdc7ed55122","datavalue":{"value":{"entity-type":"item","numeric-id":21680,"id":"Q21680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524769$62EA9AF4-3FCE-47D5-BD3F-99BE45ED197C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a68cdd3e97b0168a20493dd016b20595a0a54bc5","datavalue":{"value":{"entity-type":"item","numeric-id":31435,"id":"Q31435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524769$FE948C9A-1D45-4014-945D-96868FED5B34","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":"Q4524769$AB11F8B4-4A5B-458E-8EAB-A3B53B4BAE1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8db65f4a30f1bfae13dbc2dde40a4f8521358003","datavalue":{"value":{"entity-type":"item","numeric-id":2432769,"id":"Q2432769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7231add9e15700d1e2aaf28ce4ab0b3ff96117e","datavalue":{"value":{"amount":"+0.7971956133842468","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":"Q4524769$9C7B64A0-6BA4-4E6E-B304-2F0686182053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc42060a3c506d7dd41e1120918b2d738a6ec64","datavalue":{"value":{"entity-type":"item","numeric-id":1601835,"id":"Q1601835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709f859ce8156dccbf37de942e3b634cbd7c3b09","datavalue":{"value":{"amount":"+0.7955853343009949","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":"Q4524769$D2ED0E65-2526-4A2C-957B-0C61BFF0443C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a601cfde3006cf82c00d658779dadb2e2a7db9b2","datavalue":{"value":{"entity-type":"item","numeric-id":5387852,"id":"Q5387852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c87819dcae629964e89f5209a4b18d2a62a6e5c","datavalue":{"value":{"amount":"+0.7935987114906311","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":"Q4524769$A75CFCB3-A3BF-44C1-BA62-F530138CE3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbca7a24b90f065f1d373a5ca32fd668e0203f3","datavalue":{"value":{"entity-type":"item","numeric-id":5741559,"id":"Q5741559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d5978773cd09283b858c2dce9c18f1a6a9a3330","datavalue":{"value":{"amount":"+0.7905959486961365","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":"Q4524769$163498A4-60A5-4CCE-A87C-0247488F652D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079129d799e86dda18f95b9de265fd95dd23865f","datavalue":{"value":{"entity-type":"item","numeric-id":2702602,"id":"Q2702602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8addce912d09e353ac9ba144ae2092a4dba9e3","datavalue":{"value":{"amount":"+0.7733260989189148","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":"Q4524769$AF7DB6BA-1648-4C64-A02A-C99DBDB47D4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4524769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4524769"}}}}}