{"entities":{"Q4520772":{"pageid":6550365,"ns":120,"title":"Item:Q4520772","lastrevid":47548105,"modified":"2026-01-02T01:22:32Z","type":"item","id":"Q4520772","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1543304"}},"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":"Q4520772$08A4CDA6-54EA-4661-ACCD-9CEEE3AEF59D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39e00197cd3042c8d91d3b0c7c197bf630dabf16","datavalue":{"value":"0961.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520772$5A9631D4-EDBF-4419-A192-842B8E140A08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26967b5ff06b8466a9584c7812b8290179ae286a","datavalue":{"value":{"entity-type":"item","numeric-id":219446,"id":"Q219446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520772$95449ADE-47AE-4F9E-8B68-E3D164FE4054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a77033e2212ced1504e737019e89919bbcb2d57a","datavalue":{"value":{"entity-type":"item","numeric-id":4520771,"id":"Q4520771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520772$3EE075BF-8B4B-4DF8-9DE1-1A9AD324D341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ea67c8d09f1f435347bd15af8e3be5999d1847","datavalue":{"value":{"entity-type":"item","numeric-id":3100709,"id":"Q3100709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520772$EDDF5197-691E-4D97-B01A-FCF3B5F8D170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2058e152866416201cc45ced58405f55031245a7","datavalue":{"value":{"entity-type":"item","numeric-id":219445,"id":"Q219445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520772$B30AE7BB-2E6A-439E-BAB2-2354078A9C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae7b209f4f6620b5b1c5d47a6aa15c4f2fbff1de","datavalue":{"value":{"entity-type":"item","numeric-id":862392,"id":"Q862392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520772$D0005E6D-F67A-419D-8126-9C2A41303223","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d02d8cc00f12eca67af7a2b878da9d104452f1b","datavalue":{"value":{"time":"+2001-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4520772$25634D10-C4C8-48EC-AFE6-ED9BE517055C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d095c60a2fa2e2824a67046f2ad164889281b65","datavalue":{"value":"http://www.jucs.org/jucs_5_3/agent_oriented_integration_of","type":"string"},"datatype":"url"},"type":"statement","id":"Q4520772$4E343395-F869-4576-AB0C-D3CDB50D6859","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520772$D41954F6-3710-4435-B6F2-CA3E62C4978C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e46d01dfbd6be9b909b9e92a8f888b05c384f55d","datavalue":{"value":"1543304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520772$27EC9F96-14AF-456B-B3EB-CC774960C2D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520772$FB6A558B-3613-437C-A43F-D2814F74B514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f67dba9e647744798f257bb62efaf1ac556357c0","datavalue":{"value":"MathWeb architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520772$4918C70A-10B6-41F6-B8DB-B4CB185E128A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfe3bcc0009a21918f21df2ce90f46715f021133","datavalue":{"value":{"entity-type":"item","numeric-id":15891,"id":"Q15891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520772$762157E5-421F-4204-B17C-79EB80E0254F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520772$747DF105-FBFA-4E8F-95ED-B536194E823E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520772$6D993630-85A6-4187-BECA-74D33601EA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520772$B54B3BA2-9C36-4C59-AA09-C5D1E576B3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520772$A6C9EE20-E67D-4107-9813-F90721BDD890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ccbbe6930c8e1cc299a9de96016fd336eaa915c","datavalue":{"value":{"entity-type":"item","numeric-id":18874,"id":"Q18874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520772$685A3A0C-1068-4905-886C-A431609E2E08","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":"Q4520772$69941D8C-B8BA-4ACE-8FA3-7C05805CB39A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da9eadc83a0974f6f7e16f4a094195797c5e0c8","datavalue":{"value":{"entity-type":"item","numeric-id":4499162,"id":"Q4499162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d6df3bc4e174e66832d2343d4eede4e1919466b","datavalue":{"value":{"amount":"+0.7673799991607666","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":"Q4520772$BFCD99C0-37CE-44DC-8EA0-8DDB03AB30B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae448735124ab42984a851d3b2968e1b2f997a0f","datavalue":{"value":{"entity-type":"item","numeric-id":4797443,"id":"Q4797443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1026791030a3c209f4a0736468785a90fa47a569","datavalue":{"value":{"amount":"+0.7618266344070435","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":"Q4520772$050C03CF-4F0A-4B74-B202-CDB2EE4BD319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01253069ced2150d5f9b925235cf35e21f92a140","datavalue":{"value":{"entity-type":"item","numeric-id":4809049,"id":"Q4809049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da789066fdfbb5d1ee315866b0d141732d681ad1","datavalue":{"value":{"amount":"+0.731569230556488","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":"Q4520772$B8BEC613-0A09-438A-A034-5D0E982898AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a354c1cd99a15f070f1ed847a08c944e390661fa","datavalue":{"value":{"entity-type":"item","numeric-id":2751535,"id":"Q2751535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70be17698f2c299e2dd0d60c57d9e4b2b3e2f60","datavalue":{"value":{"amount":"+0.7226864695549011","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":"Q4520772$FAAA0B59-7076-4B7F-81DE-ECAD96CF50AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c83d130d404ae2dd6a55cd1050b72149a076ffe","datavalue":{"value":{"entity-type":"item","numeric-id":4645234,"id":"Q4645234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70be17698f2c299e2dd0d60c57d9e4b2b3e2f60","datavalue":{"value":{"amount":"+0.7226864695549011","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":"Q4520772$9F0C460F-48A0-4E77-8D39-32708399D641","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4520772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4520772"}}}}}