{"entities":{"Q3783519":{"pageid":5813425,"ns":120,"title":"Item:Q3783519","lastrevid":52537085,"modified":"2026-01-22T22:01:32Z","type":"item","id":"Q3783519","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047063"}},"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":"Q3783519$CB097BE8-7012-47AF-AE40-364C8D6AF962","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba15d57b629e839dd7783abb00bdd525a4f9f396","datavalue":{"value":"0642.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783519$DC2C3FB2-BBD4-42BF-A5BB-E8376DE790C3","rank":"normal"}],"P16":[{"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":"Q3783519$46383C49-6D30-43F3-A97D-15AE8CC6F3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783519$ADBBE0D3-8A76-4174-832D-925438E6FA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b168abea7db04055f6cf4c99009d9572497bb1","datavalue":{"value":{"entity-type":"item","numeric-id":1617008,"id":"Q1617008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783519$76881F2D-F280-4FD2-A133-AEA9379DE318","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3783519$80D92594-4776-4326-9FA0-13AEA19843EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783519$2FACCCE1-01E0-4AD1-AE13-CE3F52A23D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783519$6BC7C537-F565-4244-B045-0B7922643AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783519$315B048C-5272-402B-95EF-F30075444A44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7148205a80af56d08ce903ecbcc3de653a9ba32","datavalue":{"value":"4047063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783519$D22F2DF3-8DF6-4BD6-8F47-DDB6D3F27D01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc2c64a3e4d8ba5424f4d46d795a15777d58aa74","datavalue":{"value":"proof by induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783519$2BB56081-2E64-497D-A310-C9322F88E603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783519$D11EA61E-6456-4772-99A7-D09D25F4AF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"481815163701791b963eaa4b035fc822f4cd6368","datavalue":{"value":"Knuth-Bendix completion procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783519$59626FDA-25F3-49F5-B91E-3A0BC4BDD35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783519$DF19FB1B-CBD0-47F7-8435-B7CD2451D102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338a0fbf1321309eb519d204c050cb5e89adf9b3","datavalue":{"value":"inductionless induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783519$623DF85A-A71C-4930-AE18-AA5062AA0683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20f77172978f8da45d11681f8288dd3fdf1a1985","datavalue":{"value":"sufficient completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783519$6257F252-1F33-4B2F-8B0F-8FFB905DE480","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ebf2accc5d6c6b3c7a81ee7493fd53a6bf250","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783519$18D08B32-ECFF-40E9-9338-A45B591593B2","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":"Q3783519$353B482D-FFE5-4704-BD08-70B712564787","rank":"normal"}],"P1643":[{"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":"21f8a69c3d1e847f1cb16aa97645ef333cf1fe42","datavalue":{"value":{"amount":"+0.9072884321212769","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":"Q3783519$4023B7E6-6879-4C33-BF94-9B5B5490AFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58fd391857709a1825aaf51abf8d91be995f87d0","datavalue":{"value":{"entity-type":"item","numeric-id":3347863,"id":"Q3347863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0433f73d4426489445d0da49501be0d0a937693","datavalue":{"value":{"amount":"+0.8234857320785522","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":"Q3783519$97F70440-6B0D-4E17-9AB5-A7CBF43BA07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4baa166647374ce26227c8ae876aaeeb41de44f6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9084b68104dd5466944495e67891ac158421dfc","datavalue":{"value":{"amount":"+0.8194118142127991","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":"Q3783519$6402AAE7-C81C-4966-A03A-FE48134D3B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7d1c79c5d9622e1eeadc1aaf2b3855954e4971","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b01dced7a7e11119cd7b903ad47c44237b4d82dc","datavalue":{"value":{"amount":"+0.8078448176383972","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":"Q3783519$5DB05B5E-ECE6-455D-8DD6-60EA31905782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95624fd48ac22c1d1a10022afeb19a857a2d7c86","datavalue":{"value":{"entity-type":"item","numeric-id":4712663,"id":"Q4712663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a78fccd3cdf16f7188c7bad9c75e7d8e8222d5c","datavalue":{"value":{"amount":"+0.7996183633804321","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":"Q3783519$F8507D26-88CB-4DFC-A6F8-393659BD0A88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3783519","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3783519"}}}}}