{"entities":{"Q3700871":{"pageid":5730777,"ns":120,"title":"Item:Q3700871","lastrevid":50384297,"modified":"2026-01-13T22:48:19Z","type":"item","id":"Q3700871","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3926285"}},"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":"Q3700871$351EA0B4-5CEE-4473-888B-915F19269D0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83201f15a2b0e8642e79b8a36776a61051fd0b63","datavalue":{"value":"0578.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700871$AA739D1F-CC42-4A08-9F9E-2724401B91D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9ec420612a063f059cbe6ea0649d56ebd8db08","datavalue":{"value":{"entity-type":"item","numeric-id":242601,"id":"Q242601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700871$BF547150-9D89-4A15-BEDD-E30AEAA1DD6B","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":"Q3700871$46C1BF6B-CB3E-48C6-A268-6CB4B0230403","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700871$71D6A253-AD1F-4967-A72D-401FFBA63986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700871$6625FBA6-A4F8-4FFD-BE66-31EACFB4656D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700871$7B15A4E4-8400-4D75-A4FC-887A1D6C1B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d4b1ab32d1aa73a8d63da3a6ffaf30d190a47f5","datavalue":{"value":"14-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700871$D5F0126D-FF50-403F-B378-9600AEFA81F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67279db749f77e8ba7509f8ca375cfdbc79b3134","datavalue":{"value":"3926285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700871$F41391D2-4749-453D-BAB5-AF108068D9C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700871$C773DA5C-BA90-4744-BA68-44989C86A8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb71cc518f84064881cd5cd4cf306cfce0251acb","datavalue":{"value":"polynomial equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700871$CE1AEC06-AD37-41C0-BA69-F7C706CDF462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"035ab4f7bd2cc0ce30ba1ef510b929a747bde4a7","datavalue":{"value":"expert system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700871$00EF7AD6-B46D-4907-894D-E4172D717ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89cd6f82c94f708c09d8bba35dd5e8213ea371f2","datavalue":{"value":"PASCAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700871$B1A943C5-4076-4119-AD3B-41E3F83994C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc4cfe904abdded47d09b6833d77ed54f85869a","datavalue":{"value":"MACSYMA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700871$32ADC43C-C377-47BF-B357-A604F6BFA037","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73344fec5a3e7672fdf15a995958e245a1dfa4ba","datavalue":{"value":{"entity-type":"item","numeric-id":13950,"id":"Q13950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700871$70BF3466-71D1-423C-A1DC-6CB470D5698B","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":"Q3700871$37253062-170C-4CF5-8990-6A0747496C7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2556a49c571b088eb4778b9a55bda1898ff545ef","datavalue":{"value":{"entity-type":"item","numeric-id":3772181,"id":"Q3772181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59634584586419164d1ad5a883fa11680472aa2","datavalue":{"value":{"amount":"+0.8872715830802917","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":"Q3700871$5513C3BF-30F6-4E32-92CD-22B2ACFAF253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a68f59ae32b2681c35c7ea8f212502168273b26","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58fd4a864dd6eed9e75605d71910b4d082e8d1f","datavalue":{"value":{"amount":"+0.8718883991241455","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":"Q3700871$42F04F48-A893-4781-B88B-E2A150DE70BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b4cacf4e9a5a8df4019bc35435dd797390e377e","datavalue":{"value":{"entity-type":"item","numeric-id":3491012,"id":"Q3491012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b1ffbb0e15a759806ea87c976e385d47e2d070","datavalue":{"value":{"amount":"+0.8384259343147278","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":"Q3700871$4E714DA1-FEB9-480C-9983-16E302E9EBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d56fd5f71423e20181a19c4ba4b24357809235f","datavalue":{"value":{"entity-type":"item","numeric-id":3700870,"id":"Q3700870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8817cf17ee76b8e1bc03ae5b96d716e0ce6e4eb6","datavalue":{"value":{"amount":"+0.8326236605644226","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":"Q3700871$BD8D779F-C42D-49F4-B567-33CE1F63A51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74d4978fbdaa445a42b61071f8a738b4eabb1e6","datavalue":{"value":{"entity-type":"item","numeric-id":1115642,"id":"Q1115642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d950ea2bbb4bf5073429410eb15827b2a9c1a840","datavalue":{"value":{"amount":"+0.8224762678146362","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":"Q3700871$84E06349-2D46-44A2-BCCC-91F1619B3080","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3700871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3700871"}}}}}