{"entities":{"Q4658725":{"pageid":6688306,"ns":120,"title":"Item:Q4658725","lastrevid":48440299,"modified":"2026-01-04T19:56:02Z","type":"item","id":"Q4658725","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2147039"}},"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":"Q4658725$87FF7E59-2E8B-4A2D-9ECD-578257575230","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1dba4a7e49ed7a7bb188c24db6e8c81beb74785a","datavalue":{"value":"1088.68775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4658725$07D8C1B3-E145-4527-BAFD-07767F7C9593","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e856c25c4990adf20dbbc5d2568f80065725ff2","datavalue":{"value":{"entity-type":"item","numeric-id":1047209,"id":"Q1047209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4658725$89B8F100-CD42-4A71-9706-0699DABCE4E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69a2dee591b691cf3c88b48b9ce34a65dcec4b51","datavalue":{"value":{"time":"+2005-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4658725$4071E383-B449-4FDF-BFA0-7F9EE325DE9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4658725$BF1C72FB-FAC2-4062-9393-8620CF2A4B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4658725$3CD0D8F0-6725-4046-8A00-2FCEDE770CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4658725$9C3F8885-CBE2-49BC-B0F4-22D6319BC1CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83fc6d758391f44c64ba2af120f2f5b235f5172a","datavalue":{"value":"2147039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4658725$A0407F9A-3602-4D86-B485-F8A8BC651DA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4658725$C4AEE4D1-EC2A-42D1-B3D9-108F400C744B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a49d2691740729e2dd9c1c611233c1d06693479","datavalue":{"value":"stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4658725$AA78AE24-E4AC-4C78-876B-ECC10DF8AB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0468870cc87a0db49fd1b8c94f3700d1f9e2e05","datavalue":{"value":"refinement tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q4658725$B9A49A73-E91C-4631-B7E2-E2C0421D57A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4658725$F2DDC81C-F0C3-45ED-8FFC-E6450FBF3B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4658725$90273358-DC8D-4A83-A5B2-E92DDC5A37B8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4658725$2B5F3F16-EE63-4D9F-9F4A-43B8441F8B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90bfdd1a1f860255fb4bb8fdc7c84fcb47630c66","datavalue":{"value":{"entity-type":"item","numeric-id":14460,"id":"Q14460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4658725$B281F868-B719-4D0C-BEFA-E19BB1DAB060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"acd0a7f965bd7a2eea8391d50182b3fc185bc6de","datavalue":{"value":{"entity-type":"item","numeric-id":19144,"id":"Q19144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4658725$9E9408D3-1211-4F68-A66E-3F1C10961FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4658725$85F2E14A-BAF8-4A08-B6D5-75F34F68CC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c271564990b51b3fdbf68356ca04e9947a77eba1","datavalue":{"value":{"entity-type":"item","numeric-id":17051,"id":"Q17051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4658725$333DDC32-D1C3-4695-B951-9F9D93E30096","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":"Q4658725$C7B406FB-E068-4AF3-8C79-DA2A3526149F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd9ab8c310ddee87ca8c7a05da1dfe575663ebc","datavalue":{"value":{"entity-type":"item","numeric-id":706509,"id":"Q706509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372f326fce186320ed09137f8a7b886c20c15f98","datavalue":{"value":{"amount":"+0.7601985335350037","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":"Q4658725$3196754B-4CE5-42F9-8255-4A4E5FE612B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012c23954d4f438873067eae5f473ad4270bcc00","datavalue":{"value":{"entity-type":"item","numeric-id":4370252,"id":"Q4370252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83bd0c73ca22846b792735d89a8a31c30241fd0","datavalue":{"value":{"amount":"+0.7335636019706726","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":"Q4658725$6DD073F2-4389-4237-B8FC-FC9B70625D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e5d7e7453c38101fbdd643b7946eacbda0be85","datavalue":{"value":{"entity-type":"item","numeric-id":4363124,"id":"Q4363124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ace787e9779f1fe6be9e7e3d3136e7028fb65b","datavalue":{"value":{"amount":"+0.7333051562309265","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":"Q4658725$43EEDE0B-C2EE-4EB5-AFD8-14A537584223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47ed8c6640cfbed4c7cfb81bb0ae7e9c460f6a05","datavalue":{"value":{"entity-type":"item","numeric-id":4370285,"id":"Q4370285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c05e82181484a6a5e87fc7d74af789ce2f8efac","datavalue":{"value":{"amount":"+0.7200788855552673","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":"Q4658725$56C12FDD-5CDD-42A8-80FD-1BACE9391056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70704ebd21171ba998db59f14159fc664cd1d07","datavalue":{"value":{"entity-type":"item","numeric-id":4028369,"id":"Q4028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c05e82181484a6a5e87fc7d74af789ce2f8efac","datavalue":{"value":{"amount":"+0.7200788855552673","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":"Q4658725$42A0668D-B724-49B6-972A-7CD4386C2188","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4658725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4658725"}}}}}