{"entities":{"Q4263084":{"pageid":6292685,"ns":120,"title":"Item:Q4263084","lastrevid":46664649,"modified":"2025-12-25T08:58:42Z","type":"item","id":"Q4263084","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341542"}},"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":"Q4263084$AA2542B2-0DF9-49C0-B4BD-22723A47E726","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75aa9d7011d4b5a4b98fbc6b1b77965ff459013c","datavalue":{"value":"0934.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263084$EE686A76-2316-4F86-8AC3-823C635705ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263084$3F7AA99D-E1FE-4637-8250-9564DE5F399B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"455bae95859b37c76b307ba0c2ccbe1537e6ac0a","datavalue":{"value":{"entity-type":"item","numeric-id":220708,"id":"Q220708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263084$4AD61026-3175-4FCD-A509-EC43881CBA48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4602bfe2ce2cb25d86312a0cba8d02883ac98d9b","datavalue":{"value":{"time":"+2000-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263084$97FBCEA5-BE78-496B-A73C-FFAD086F8487","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263084$E53B8A7B-8A5E-4D75-A4E1-557D66C57804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263084$7E102E8F-D429-4431-8218-BD61EA0F512C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263084$BE0225C9-5B3D-4C96-9CD9-9F9EB3095662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263084$96633879-5843-4A34-821C-C5A271AA4775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263084$B397449F-38E3-4626-91C2-EA6E26679D2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5daaef226e7e9189f29f68c967fc0672eaa69498","datavalue":{"value":"1341542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263084$CAD5DCF4-7D98-4DD6-8429-E94470C92DED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1135dfd165c1e44c43a246eb193f879196ba40","datavalue":{"value":"mathematical vernacular","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263084$D436E623-60C5-49D5-9B10-52BC95CB08A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca2438f3eff24257344742ef2d769ccb981f3fe2","datavalue":{"value":"computer-assisted formal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263084$490C43A6-635B-4B90-B334-07E9B92D5BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263084$359A4B82-D89C-4D8A-A235-E68CF86CCA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7165fec9115f05c93be2e6750db8f2bb02167cc","datavalue":{"value":"coercive subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263084$C86BB7C5-D144-441A-A4C9-BBBCBBAABDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0afc3b0fcfd12f6a938308e05c69442b5a05b85","datavalue":{"value":"natural language suitable for interactive development of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263084$C3E9CCCD-873A-4EDD-A7E6-80515AE720A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9097f5d131906574058554916f9f2c70fb78657f","datavalue":{"value":"theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263084$A064CBE3-6EDE-4F7E-A721-5722B01757E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1989b0eb67c18fb3e46e56547c782966ceabafbf","datavalue":{"value":"semantic well-formedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263084$6B8252D6-1727-4854-B1C3-92DD74F1CE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f79ac01b4a4f2c633d3e12adfec7852c2a8f447","datavalue":{"value":"conceptual category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263084$29E6AD3F-7C3F-4B71-A9C0-ACAFEDB3A601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263084$D904B5D1-C338-4247-A6E5-D1D660A1D5FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263084$73032359-1670-43E9-820C-3C7BFA57EC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"508550ebaab26f61bce028d9d0c98cfa1d6470f5","datavalue":{"value":{"entity-type":"item","numeric-id":25581,"id":"Q25581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263084$50735157-6DE4-450D-9200-1E28DDD46356","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":"Q4263084$7E30424C-2B2F-432B-909A-901778A6736A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ae194caf9448ff0c89f584d753cdc604b874b19","datavalue":{"value":{"entity-type":"item","numeric-id":5756753,"id":"Q5756753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7287b61f9dd2ac238ca0ab4c1190ce1cbe23e71","datavalue":{"value":{"amount":"+0.7035883069038391","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":"Q4263084$3E7DF5E7-34E8-40D0-80DD-569C77769504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a0516b83857d5a31dab7e6b9a69ef9c6093e12","datavalue":{"value":{"entity-type":"item","numeric-id":1876109,"id":"Q1876109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91f89af8f09ee7510f66679df65e172ffc86912","datavalue":{"value":{"amount":"+0.7022726535797119","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":"Q4263084$651DD156-FB2E-4190-8836-7B62D09C1107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251caf1878a3e0306162ac017fdb5ecef03cb89c","datavalue":{"value":{"entity-type":"item","numeric-id":2847398,"id":"Q2847398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5397436f57a9a8017728038d3ee130d06d8fb9d9","datavalue":{"value":{"amount":"+0.6998679637908936","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":"Q4263084$AD262E63-569E-488F-9673-4A962C4481C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdc61a9e675f748fa3522ac4245406c056647e5c","datavalue":{"value":{"entity-type":"item","numeric-id":1940486,"id":"Q1940486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc96a05338dfcbc5e63d33ecbe39a8aaeddad33","datavalue":{"value":{"amount":"+0.6924017667770386","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":"Q4263084$696D3CA3-83FC-4603-A976-1E259D8CF07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06925428341638a5c999f88271ecb576e59ce21b","datavalue":{"value":{"entity-type":"item","numeric-id":5313075,"id":"Q5313075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc8569c2b968cebdbe5b81fc83ab98bcc98829f0","datavalue":{"value":{"amount":"+0.6873106360435486","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":"Q4263084$42E78AA7-5214-4823-972A-28E1F0B23DC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263084","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263084"}}}}}