{"entities":{"Q3719783":{"pageid":5749689,"ns":120,"title":"Item:Q3719783","lastrevid":50666759,"modified":"2026-01-14T18:02:37Z","type":"item","id":"Q3719783","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3949667"}},"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":"Q3719783$524EBE80-D471-430B-A554-8B4602235A43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f4896cf08096d21a1902b305ff4e5669ef4d137","datavalue":{"value":"0591.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719783$CA3C04B1-EA61-4490-AD0E-3B9AB9A9099D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87201105ab9aadf571db6479712327a7fc2e406d","datavalue":{"value":{"entity-type":"item","numeric-id":287253,"id":"Q287253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719783$F9637217-4E01-4BBA-B1AC-B58DC04BE62E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3719783$468F9994-5520-480B-9986-321229ABFCA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719783$C20F02A6-0D1F-417C-A396-9FCAB906BB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719783$674D9D8B-883B-42BE-924F-7229ED6AF770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719783$738864CC-B196-463E-B34D-F1B384D81C98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"792b651b1646885f504754aa6a97aeb8b4d54cec","datavalue":{"value":"3949667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719783$05A7FE59-0D28-4E1E-A811-AE8519754CB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719783$6A18131F-7DB2-41B7-BB71-96FEAAE83711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719783$85035CA3-87DB-4A92-B89F-17472251A27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719783$E532124A-39DC-4D98-B0C2-10DE574DB602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"235d9f1ea5bfa248691c100bdc7ea768eaf09bf9","datavalue":{"value":"control","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719783$C3D34F6F-5F44-455F-93FF-940661EBBBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6152e434a72882b8eef2cae2c1c4925f13f3144","datavalue":{"value":"structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719783$D3983636-808C-432C-9E12-27E5C1C2FED9","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":"Q3719783$10CC89B2-5E24-448D-9818-15DD6701C3BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3719783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3719783"}}}}}