{"entities":{"Q4217954":{"pageid":6247555,"ns":120,"title":"Item:Q4217954","lastrevid":46693929,"modified":"2025-12-25T10:12:28Z","type":"item","id":"Q4217954","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1222429"}},"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":"Q4217954$26989AEA-BB60-4FD6-9371-33B10B6DE1AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bdece039c8090176498b2b141cc75374b5e0adb","datavalue":{"value":"0914.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4217954$250153A9-4CCB-4C5A-981F-B4433A199DEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8326a4933f193e395482366e1d18548b5af9fc42","datavalue":{"value":{"entity-type":"item","numeric-id":3838780,"id":"Q3838780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4217954$B4B07C2F-8C5F-487F-B9D3-07B4203869C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"445e6c271797bbd4e969d752f3f62229db781b70","datavalue":{"value":{"entity-type":"item","numeric-id":215659,"id":"Q215659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4217954$3F2FF644-3BAD-4DD2-9C4A-3C1DBBDBE709","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"874b84f4e4c3d1120a3f15a09b668720ffcef7e9","datavalue":{"value":{"time":"+1998-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4217954$8F7D07BF-3270-4277-8F23-8EE279CB12B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4217954$39BB42F4-B17B-42CF-842C-EE465BE7BA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4217954$64F47E05-433D-4DB4-BF42-997DF71DA8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4217954$A3A37E60-5140-42EA-A762-DFEA1C1D68C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4217954$576C0D5E-870D-413F-A68F-6F0F97B28A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4217954$7AD8BF6A-F86C-4201-9FCC-107C16B45377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f12b5fb12c4f2e696bed25057bd1db0f82624a0","datavalue":{"value":"53-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4217954$1B8AD4F6-93E3-4CA2-9B8D-535EB1DC6ABA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2987b1cae8a639bd5e6aa9691a8eb2136bffcae6","datavalue":{"value":"1222429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4217954$6FA5D9CE-552A-4E8E-BDA4-B7F534CA164E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4217954$3745D9CE-E1E7-4F1F-83F2-2353105D8785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97258ef9b74c1bda27336092f34b1b6202d266d9","datavalue":{"value":"algebraic computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4217954$9991E48A-5A39-4758-ADF9-8D8F78C55AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e62a60518465f7bb44a163681aecd44c7753e6","datavalue":{"value":"term-rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4217954$1EE8C6F5-79D4-4044-B265-EAE0238E5194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7164fb1a146782fc3fc30b688b30936e08cdee92","datavalue":{"value":"geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4217954$C3D36F5C-481A-456C-AE7C-70759F9CB33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d364c565391915fea2344ac7561a8a6fee14ceca","datavalue":{"value":"Clifford algebraic reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4217954$36C87C22-C336-4F08-8331-9E2ED5D953EC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4217954$DC402433-8081-417E-A1F1-8A6676F0F6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4217954$BB508F78-88EC-4FF6-97D2-CBBEAAE429BB","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":"Q4217954$4662F70E-382A-4B81-B0A0-B6165C3FC25A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ff9991137bf3d627ca9a41d2cb54cc272b82a41","datavalue":{"value":{"entity-type":"item","numeric-id":4934142,"id":"Q4934142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8382468eee81961dafc598a0381b97758e83c684","datavalue":{"value":{"amount":"+0.9404147267341614","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":"Q4217954$90E0719F-2EE6-4DB4-AFB0-B5217AA55AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b5553698cf44865bda3d6c75d05aa2117ed8b6","datavalue":{"value":{"entity-type":"item","numeric-id":4249890,"id":"Q4249890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c305b462d7dc93f3e9f1a91070a3a119891dc156","datavalue":{"value":{"amount":"+0.8357838988304138","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":"Q4217954$EFF6AEEE-B657-43B5-B5AF-404EA408F235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b30aa1708da29b08e3b9abfd5d122aaf654415","datavalue":{"value":{"entity-type":"item","numeric-id":4946081,"id":"Q4946081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"505b456bebc800ff8f17678593a3146b6222a466","datavalue":{"value":{"amount":"+0.8323257565498352","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":"Q4217954$8CD413CB-6F97-4524-ABB4-21D13E4B54EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c5e7849e22b1cceab9e5813888dbad99caf919","datavalue":{"value":{"entity-type":"item","numeric-id":3155101,"id":"Q3155101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb580f3457b92890a4851c155306350fc5fef9ec","datavalue":{"value":{"amount":"+0.7962511777877808","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":"Q4217954$0B1E2082-79C7-41D7-93BD-EF75E14C41CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3edca2a20a77469c98ea451e3f79012c73bc94","datavalue":{"value":{"entity-type":"item","numeric-id":4946080,"id":"Q4946080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18dd4714c2f597678e0b9a2525d3f792e2d95d0a","datavalue":{"value":{"amount":"+0.7896959185600281","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":"Q4217954$9C0B8903-2A77-494A-8471-7B71C377E5CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4217954","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4217954"}}}}}