{"entities":{"Q4250367":{"pageid":6279968,"ns":120,"title":"Item:Q4250367","lastrevid":46836000,"modified":"2025-12-25T16:53:05Z","type":"item","id":"Q4250367","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303732"}},"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":"Q4250367$55CC004D-786C-4015-8BE6-E5433B00C29B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11846c60b5cdb5ed98586a7cfbcfc50c12dd153f","datavalue":{"value":"0924.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250367$267F5DFE-0D32-4FD5-8579-97107576B777","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f47fb4a743bdd3a41c56a754ea5ff241183d159","datavalue":{"value":{"entity-type":"item","numeric-id":2722022,"id":"Q2722022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250367$FCA806FE-2976-4457-BA3C-1A8B68AB990F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179b40780f93d89d986b6f1110abe8d9772f7f5c","datavalue":{"value":{"time":"+1999-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4250367$0979CD70-DDD4-42B8-AE29-58327603CE82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250367$14CBB640-AF13-4613-AA81-F1153BA9CAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250367$1F79F03E-5FD4-4F41-B5F3-F8852D80A4EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3ceb6e4dd156daaa0ad39b61d5b4bf9fbf2847a","datavalue":{"value":"1303732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250367$BE4197E7-DC5C-4D53-AD20-5B9AC1CE2283","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"168efd5b5ea5201f07981f3c97023441918073bd","datavalue":{"value":"data type specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250367$2DAE9DD7-1E9D-4698-A437-84BF2B232521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21db9edf5868982d1b8008b8f719f5bafae5e7f1","datavalue":{"value":"protective abstraction barrier in proof strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250367$36D77A60-8B0A-4BC1-AB66-271CEA03F0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c68cf5898a5f08f3e3cb0489ed98d482c1b8bf9","datavalue":{"value":"equational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250367$61557009-9914-4C14-A74D-E41B35444951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f6bffd933f57a440c51df3e664f83b0d57b6651","datavalue":{"value":"specification refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250367$4B7750EA-E5EC-4BE8-AA87-DCB5A00A107A","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":"Q4250367$56A9752B-FA1F-417E-96CA-EE4019AEFDCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cdc8422e0eadf0d8cfd9296751428ce474b557","datavalue":{"value":{"entity-type":"item","numeric-id":5370849,"id":"Q5370849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d01e316d30c2b24071159e8500ce3ac0ab785880","datavalue":{"value":{"amount":"+0.6759352087974548","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":"Q4250367$DBB74552-9054-4D89-BC4D-8F24F2F9D67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d50a904c393db010858e31e159280a5c48734c5","datavalue":{"value":{"entity-type":"item","numeric-id":4727398,"id":"Q4727398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1dfcd7fba2fcfe8aacbe2a9f2e6d1a1a7569c4","datavalue":{"value":{"amount":"+0.6757100224494934","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":"Q4250367$037CF890-E09D-46CC-B2EF-3DC4C6EFA32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35f3e048e20c0b152d3e96cae19622e1774d159","datavalue":{"value":{"entity-type":"item","numeric-id":2491212,"id":"Q2491212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffa533c1cb846fda0ab68760105a1820bc1f5eff","datavalue":{"value":{"amount":"+0.6673257946968079","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":"Q4250367$A752DBF5-195B-4624-ACB0-10DC694B9785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bef96e860601ffc69d0b2dca4af0e3cf6f42ca4","datavalue":{"value":{"entity-type":"item","numeric-id":4457454,"id":"Q4457454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109932518f49fbbdebc002ccfed7509bbf897e4a","datavalue":{"value":{"amount":"+0.6645944714546204","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":"Q4250367$6E464144-719D-4B34-B8A1-4C152D0FCF3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4250367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4250367"}}}}}