{"entities":{"Q6976573":{"pageid":21362484,"ns":120,"title":"Item:Q6976573","lastrevid":76240410,"modified":"2026-04-23T09:04:48Z","type":"item","id":"Q6976573","labels":{"en":{"language":"en","value":"On formalization styles and SAD system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8048005"}},"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":"Q6976573$5E8BE749-5EE2-47BA-9C80-6780DC534506","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f745aacab139b9a669653d0425a2758233dd6a08","datavalue":{"value":{"text":"On formalization styles and SAD system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6976573$0A38CB77-8929-40D8-9BE0-0B7F8EA9C700","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cb56396f3e52efdbbde1b2ea455e8b953c559eb","datavalue":{"value":"1566.68315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976573$454609FA-2187-4897-ABF5-9F038142FBE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3baa85547fd531de7a5ad0a47f954b54157ef91e","datavalue":{"value":{"entity-type":"item","numeric-id":865651,"id":"Q865651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976573$6D5AA2D7-E25F-4D60-BB19-0AFE09EFD801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d31c175cfe8d796b2271b831e51d81c17b025c7","datavalue":{"value":{"entity-type":"item","numeric-id":1650329,"id":"Q1650329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976573$A7ABF8AF-88BA-48AF-9FE6-7592D975CCDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1d287cb8d96589c2cc587d8d419d31e18e77b38","datavalue":{"value":{"time":"+2025-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6976573$6729FD4C-CE98-42FC-983F-94964AB6810D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976573$A2BCBC3C-F893-440F-99B8-6AB4B8E0E316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976573$F45114FF-AADF-4D05-A08E-E35951BB1F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c276f6bcfe480cdd0a7a976933d6fd851c1b746","datavalue":{"value":"68V30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976573$620B2EBA-EE07-480F-8639-9C97D4FF7B6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b31858c37e077976dc26edd633445ae3d4fe21f","datavalue":{"value":"8048005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976573$325C8C76-F869-4B99-8F48-0F35E4ADE5DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eab9f903ad58df1fac7bfdb173928ca850d81489","datavalue":{"value":"style of mathematical knowledge formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6976573$C20501A1-0F02-486A-BC28-D565F81F126E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51ca0b8a75adecd32b4f4511557733ca7df43fdb","datavalue":{"value":"automated reasoning system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6976573$D93DADCB-C733-45B2-B0E2-37F6D45CA324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f68693120a1b1e8dd8a82b64dd27c0dbc4ed6e4","datavalue":{"value":"English SAD system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6976573$A822017B-4214-42A9-848D-9C04BFCEA362","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":"Q6976573$45387EAF-A162-459E-8300-340135D84B56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On formalization styles and SAD system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_formalization_styles_and_SAD_system"}}}}}