{"entities":{"Q5900707":{"pageid":8006986,"ns":120,"title":"Item:Q5900707","lastrevid":50958521,"modified":"2026-01-15T22:40:43Z","type":"item","id":"Q5900707","labels":{"en":{"language":"en","value":"Deciding inductive validity of equations."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695388"}},"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":"Q5900707$E49F0944-23B0-45A5-BD51-A41C5BF57C89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7c3f040a8feb248e6dc29a1def291c92088958","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-19","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900707$41F0FCF3-328E-4E3E-B33F-2324ADD66DE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ace047d896189fde12af0f6246f31a9f8a7699b1","datavalue":{"value":"1278.68262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900707$01CF4045-01ED-4F26-9989-2664FEB17954","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900707$D7C8B096-B47E-44E4-994A-35AD5875E639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900707$C0D91E62-D157-4DE5-9A82-4E01E8C8698A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900707$11E0F7DA-E4ED-40C4-A4B2-0F6A206EDFEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900707$3067ADC8-FEF3-44B7-99B5-FF9DAA1824C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900707$7B2075EC-4A44-469A-BA4A-84AA84CA8825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900707$E4A2BDA9-F8C8-4443-92BD-74EA6F07202F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c75f7528d9ca99bf6dbe6412d43c5cafc805f9f","datavalue":{"value":"5695388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900707$73CDC36C-7D9A-4290-A4D0-4594441B1EA4","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":"Q5900707$95CF3218-0518-44BF-9F6F-C1C7F717EFB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c668ddb4fae172b1931ef73496e5bcbc0e7e0c","datavalue":{"value":"https://doi.org/10.1007/b11829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900707$452D036F-9B40-45D1-9815-15F7E8B07D44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900707$29BEDC06-9CA1-4E4C-AE98-B82635230AD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900707$A496AECF-E05F-4A3A-9F1D-F40C221BCBB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a2fd3f79023f6659ae94a662c81407b52a991a","datavalue":{"value":{"entity-type":"item","numeric-id":4539635,"id":"Q4539635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8287439c51e32b8108053363f575e70c2e5b5bc4","datavalue":{"value":{"amount":"+0.8722739815711975","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":"Q5900707$7E359421-0645-4451-A98F-643244451A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ab0aa214b373e70eae6fb54b8e991b024b24b8","datavalue":{"value":{"entity-type":"item","numeric-id":758216,"id":"Q758216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8287439c51e32b8108053363f575e70c2e5b5bc4","datavalue":{"value":{"amount":"+0.8722739815711975","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":"Q5900707$1783FDB2-935F-4B98-B6AA-5BEF278718B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4acd3fa3f3bdc0687f761d59bb22ea5724db5aa","datavalue":{"value":{"entity-type":"item","numeric-id":5387883,"id":"Q5387883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae0f07684cdc713a2a2c00a21a2f4705f76ff92","datavalue":{"value":{"amount":"+0.7927874326705933","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":"Q5900707$F8E7F1CB-A964-4608-B4E0-50BF094B7EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c23463ce18af4c444365a390b715c4475749158","datavalue":{"value":{"entity-type":"item","numeric-id":2723430,"id":"Q2723430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8ae430767a0f72fce3640a69aa8a16409f13e1","datavalue":{"value":{"amount":"+0.7787804007530212","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":"Q5900707$D530F506-516E-4125-8237-D13994F3CEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ca45c803917ea740855b6c448b851f7463e911","datavalue":{"value":{"entity-type":"item","numeric-id":1854445,"id":"Q1854445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8ae430767a0f72fce3640a69aa8a16409f13e1","datavalue":{"value":{"amount":"+0.7787804007530212","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":"Q5900707$36646D26-4E56-46B7-8E2A-188E82EFA85A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900707","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900707"}}}}}