{"entities":{"Q3698310":{"pageid":5728216,"ns":120,"title":"Item:Q3698310","lastrevid":50340974,"modified":"2026-01-13T20:44:48Z","type":"item","id":"Q3698310","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3924139"}},"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":"Q3698310$90610FAB-82C7-48D4-B97B-7341E36982B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b24dfd7ecda25c33398f601b5c45f7778683f498","datavalue":{"value":"0577.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698310$181CFA17-F92B-43EA-AFDC-2C7443DD9E7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3698310$DBBF2F5F-A296-4300-B4AD-17F37593F835","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698310$583592B9-80C5-490E-A534-B127D2D40527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698310$91D97B13-72F2-4AAE-BDC7-A211A7A12B29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae0f20c0531832e2404b8dada8f954a8ddc4e73b","datavalue":{"value":"3924139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3698310$1DE47EED-7E03-492D-9E8E-0CCBE1A2E724","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f2fbdd681c5b3dfc9e0a7d1ce346ec64865f747","datavalue":{"value":"non-equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698310$281896BA-B82B-4CD0-B654-293688E83254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"284f72c80fe7bab62940c7befdda78f79fbf98e1","datavalue":{"value":"completeness property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698310$406572F2-7734-493D-9009-78C8F4FD6F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc2c64a3e4d8ba5424f4d46d795a15777d58aa74","datavalue":{"value":"proof by induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698310$D1CC55C3-41CE-4598-AC2E-BD2804405A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"435ffea6b4cda281d7fb4530f3e5542d1c4e069c","datavalue":{"value":"completion algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698310$97BBF1F0-BD2D-41EC-A5AF-4B7CCB6E4B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e1818376d90a6809a12139b6bdf97a2cd4d00f","datavalue":{"value":"universally quantified formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3698310$B7CE23F8-9405-402C-8C12-1E8C805E22BF","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":"Q3698310$4500E7E5-A241-42DF-9029-44394226D69E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710d404b1f7eddfa543075d27999e3ebcc49af7d","datavalue":{"value":{"entity-type":"item","numeric-id":1085152,"id":"Q1085152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19edfb5cfe7ed64d3a2837340ec7798a45689ce2","datavalue":{"value":{"amount":"+0.9500386714935304","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":"Q3698310$309781C6-423E-4C45-9FCC-045CFCCA6385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e22139889fe6a0c06c71328055c35a5e40949a3","datavalue":{"value":{"entity-type":"item","numeric-id":3818295,"id":"Q3818295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90786fb99bc6eb6be92783e990c1a2f0e9d67844","datavalue":{"value":{"amount":"+0.8546718955039978","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":"Q3698310$C05EA27B-9DA5-48CC-A87A-7589F643BD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319e919e54ae19af5725b0d7ca2380a762f4acbd","datavalue":{"value":{"entity-type":"item","numeric-id":1182107,"id":"Q1182107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909a1496b08664e97369faa862010f7fa222c5e0","datavalue":{"value":{"amount":"+0.8458327054977417","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":"Q3698310$73C30B71-589E-4852-8956-A19AF3BD0D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf56b202a92a35163646cc31fe57791a6a63a51","datavalue":{"value":{"entity-type":"item","numeric-id":4012174,"id":"Q4012174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04152d00312ecdf064595c741f526a2424cd138f","datavalue":{"value":{"amount":"+0.8448073267936707","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":"Q3698310$01E31EDD-D21B-415B-AE63-6FC9BA97447D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39835574666932a9f226413e82925155b1598e01","datavalue":{"value":{"entity-type":"item","numeric-id":3338214,"id":"Q3338214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb0a2ac0b02d7baeb7cc58e91d1a9e76d54c35a","datavalue":{"value":{"amount":"+0.8209257125854492","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":"Q3698310$C12A4CEB-890A-47A0-AED0-66A38F2591AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3698310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3698310"}}}}}