{"entities":{"Q3758805":{"pageid":5788711,"ns":120,"title":"Item:Q3758805","lastrevid":51771071,"modified":"2026-01-19T23:04:29Z","type":"item","id":"Q3758805","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4008363"}},"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":"Q3758805$BF2A67F8-CF45-46AC-AC4A-9E6E277A746E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"432b160028654cca04d410ef29bc3a1879d4d088","datavalue":{"value":"0622.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758805$B066C687-84F9-4DD5-9666-DBA3977186AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb0a29412cf2c248d1a972a393cd5cb0fedc31f","datavalue":{"value":{"entity-type":"item","numeric-id":231497,"id":"Q231497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3758805$98E12254-4B7D-4656-9C7F-067C058919B3","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":"Q3758805$A047EE66-4C49-49AB-A437-B32CB4935405","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758805$9B86AF3C-8EA9-472B-A796-4B504E90B622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758805$794485F4-53E1-4D9F-AEEE-AA9BB783DF7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f39c858392087d0ea1fbbf97ce7b8b1014940510","datavalue":{"value":"4008363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758805$643D9389-F346-43DC-8623-C03953FC51DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2b88efe8773921309f55a0f9141b74ab78ee06","datavalue":{"value":"algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758805$0263312A-8977-4B78-9997-3BE80235887C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b8fa0a4e85b728c6bf1db305e2d9661f2e6ad36","datavalue":{"value":"efficient decision and quantifier elimination procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758805$C6DA6AC8-D560-44F3-AEC4-F8B3A238DCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a9886a18dddd05b53fb03e79524619ed928ff51","datavalue":{"value":"existentially closed models of a locally finite universal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758805$685BC899-0747-4810-972C-D152A0F69AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ab00d8c6d004f508ae7223b0711ed16c3c98cb","datavalue":{"value":"amalgamation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758805$4C01A21D-C649-4022-A910-22C61A0B44E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758805$FAFB53A1-D6BD-497D-9BCC-D5A1667319F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bddffe859796d8418ef6a4c2584314dc7d9528a","datavalue":{"value":"Applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758805$3CA0D58E-366A-4DC6-A096-ACA01FEC3ECE","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":"Q3758805$DF5BC092-7D93-48D9-B4D3-DEA0F4A43128","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe671ad5978b738fc90818c1dc25c659d4f7ba0","datavalue":{"value":{"entity-type":"item","numeric-id":4026903,"id":"Q4026903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc62022893839eb6a3b05ece53e2438c96e0ba8","datavalue":{"value":{"amount":"+0.7743276953697205","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":"Q3758805$A5CB04C1-49BD-4704-9DDB-A327C8DE94E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7d72a3bd86b313a84e59fe9f497f918acc6961","datavalue":{"value":{"entity-type":"item","numeric-id":3749037,"id":"Q3749037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d67fcb7ca1f5554c9e2c853ad97e3d7d6a4d47a","datavalue":{"value":{"amount":"+0.7717265486717224","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":"Q3758805$F7C82EAA-2CDA-49C1-8F6D-CE949EB63275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba1f603b5d91155752e2ea53d4b5acc651a3501","datavalue":{"value":{"entity-type":"item","numeric-id":5151271,"id":"Q5151271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bec12f468566d16efdfadc0ccdac7799ce9edf4","datavalue":{"value":{"amount":"+0.7566559314727783","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":"Q3758805$36E3A9D5-8C02-45C8-B2CB-8C49644C595F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a6aee63a7fb9b54e9b5a1aa02877107628fc66","datavalue":{"value":{"entity-type":"item","numeric-id":4305489,"id":"Q4305489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c0b38ae6baea9e1d6976934a826d386cc4a95c","datavalue":{"value":{"amount":"+0.7562291622161865","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":"Q3758805$258C8C3D-6242-4569-9DFA-CA2A68754448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c8d084fcef94f52eeaad9fcc8f8061e537301a","datavalue":{"value":{"entity-type":"item","numeric-id":4318107,"id":"Q4318107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a129cbc0a624fe6939ab794d46e944a4ddaff9f","datavalue":{"value":{"amount":"+0.7473761439323425","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":"Q3758805$6FF14525-AD90-4149-9E44-773962A41337","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3758805","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3758805"}}}}}