{"entities":{"Q3347863":{"pageid":3358571,"ns":120,"title":"Item:Q3347863","lastrevid":48787573,"modified":"2026-01-05T20:54:49Z","type":"item","id":"Q3347863","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3891336"}},"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":"Q3347863$CDDD491D-0575-4830-A041-DEA788319138","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"557851c3bfd94fe87b5929f64ea5af52e2d3a811","datavalue":{"value":"0559.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347863$6A7FABEF-D344-4601-9907-EB0D930DB04B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3347863$7E54E1FF-5AD8-424E-A94B-F704CA29BDF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347863$6ECF9D95-FC00-405A-8E5D-8FE4226CF66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347863$C8A7775A-7F71-46E6-A1C3-3917937CDD45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68021a8dba7e4db26030a5f31f1f59267523b1b3","datavalue":{"value":"3891336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347863$89158CBE-5B47-46DE-867B-337E4F412E6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bd0b3510521c5e6560fe69da7c6ed54d7ee3350","datavalue":{"value":"inductive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347863$3344203E-A2F9-40D3-AE80-667414193200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7304c238a5b6620358b588242510b983d6f7ecb8","datavalue":{"value":"simplification of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347863$C5496C5B-895F-44F1-A765-3EE01CD27AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347863$8D4771D3-C311-4CA7-A6D3-937EE6CC71A4","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":"Q3347863$83C78162-E235-4FAD-A033-A5B277AC4BEB","rank":"normal"}],"P1643":[{"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":"bad5be32b5e78df296752e1cb2d6b9ed1f231fdd","datavalue":{"value":{"amount":"+0.8778528571128845","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":"Q3347863$F48D8478-51F7-4BB1-ADBC-7CAE6104BAE8","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":"b28b5b22a9400d93cf480be79d708c06ee627591","datavalue":{"value":{"amount":"+0.861033022403717","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":"Q3347863$EE4EDA58-7174-4764-A196-F8A82079E89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2567d3171f195e96f5fadcb5959ec11af9eb761a","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48852a73b0550422802510525e74d996e2d0e91","datavalue":{"value":{"amount":"+0.8340963125228882","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":"Q3347863$19DB9B8D-2548-4E82-ACEB-6D4DC5E468D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99aed25df6cc93ea2ca523ca9a8585bcac4deb3e","datavalue":{"value":{"entity-type":"item","numeric-id":1824381,"id":"Q1824381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128cac21625dc4136cfd649e56a98a1f1e8d771c","datavalue":{"value":{"amount":"+0.8301702737808228","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":"Q3347863$87D9A9E1-6925-4B72-839B-E0F428C77551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab53ef36dc210a48dcdf00c31cd9e5e8fbc817f5","datavalue":{"value":{"entity-type":"item","numeric-id":3783519,"id":"Q3783519"},"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":"Q3347863$7F460659-4703-4A24-A8BF-B4F2B5C7861B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3347863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3347863"}}}}}