{"entities":{"Q4279075":{"pageid":6308676,"ns":120,"title":"Item:Q4279075","lastrevid":47230246,"modified":"2026-01-01T02:04:34Z","type":"item","id":"Q4279075","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 500942"}},"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":"Q4279075$F5B0D96D-0871-4A93-B68E-EE3CEFE3FC1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b762a84c4e902ee0eaacab2a52edec15dc0f3d72","datavalue":{"value":"0788.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279075$D822B9F0-4423-44F2-9D31-A008ABDD5927","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef8d9904a40baa08e6f0a10240e7a4f7764dfa82","datavalue":{"value":{"entity-type":"item","numeric-id":167062,"id":"Q167062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279075$C9C98256-4DA2-49D3-8E4B-014CC2D20450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc9b5e0eb0c5b58b2ea53314f3760c8f93867fab","datavalue":{"value":{"entity-type":"item","numeric-id":687152,"id":"Q687152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279075$6B3AD51E-4503-4DA8-97F4-6C010A17CA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de61a30031ada83def5fe35c26b2a988eda26b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1198234,"id":"Q1198234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279075$94DC10C0-AEFF-4F9E-8C43-C4C6E2FEB6FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87ddefd6c83e22cbdb85f95663ace293dcff1d10","datavalue":{"value":{"time":"+1994-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4279075$275C4D9E-713D-4ED4-ACC3-ED514080A2DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279075$50B432C3-DC2F-442C-9BC1-BACDA7C82D6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42d0b35dc330adaafafb31c789eff117314aad2c","datavalue":{"value":"500942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279075$704E564C-767F-4AEE-A81A-9383CD0B1FF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e57a10ddb7275a960e2f75b542271c70ba33079f","datavalue":{"value":"graphic proof editor","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279075$3A41C501-F0F4-4A99-B646-08C42264959C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f919e36990701a930981d27f0afa02b1b94a8392","datavalue":{"value":"user-oriented theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279075$4DAA3865-22F7-4811-BA1C-99F525A12A69","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":"Q4279075$ADBDB714-BF96-4692-A206-00EC8ABC72A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"affc731301a98995ff1a41409c66c6e0e2ca05f8","datavalue":{"value":{"entity-type":"item","numeric-id":1895412,"id":"Q1895412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3641f6299a4ebdf8b2f1abe9c5181e530757044","datavalue":{"value":{"amount":"+0.8508453965187073","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":"Q4279075$2A6B13F9-2B29-44A0-8D6E-A6D2B5733655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66339c795d505f780406e18e20e0f95f8bd017d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7fc2e23f345611eb31f1ac9cc0413eb81bb0819","datavalue":{"value":{"amount":"+0.8479509949684143","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":"Q4279075$37BD1C70-0D9E-479E-8885-98D1693CEBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ad20c823504330711c7e03204434544d918e40","datavalue":{"value":{"entity-type":"item","numeric-id":2462636,"id":"Q2462636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0befee3a762642a813caf6c71e3cca8ffa6dc3aa","datavalue":{"value":{"amount":"+0.731323778629303","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":"Q4279075$4209CDA3-801B-4259-9C92-809164B57899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbcf6ac7b922960650d85d7ae515431b7d8a054","datavalue":{"value":{"entity-type":"item","numeric-id":4267722,"id":"Q4267722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5de922896502fc999f2dd75fac3435f76e3c7aa7","datavalue":{"value":{"amount":"+0.720894455909729","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":"Q4279075$AF6FBC2A-05CC-48EA-B7C8-E01DD02C6996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7893a816b9643408e6b180342ee23324a7c66668","datavalue":{"value":{"entity-type":"item","numeric-id":5234689,"id":"Q5234689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56aa423c24092f098f6a030147f6907fb8292973","datavalue":{"value":{"amount":"+0.7199398875236511","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":"Q4279075$A165EBD7-66E6-4D90-88F4-F3CCBD8ED283","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4279075","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4279075"}}}}}