{"entities":{"Q3997282":{"pageid":6027115,"ns":120,"title":"Item:Q3997282","lastrevid":55134580,"modified":"2026-02-04T00:00:18Z","type":"item","id":"Q3997282","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 48402"}},"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":"Q3997282$63E964BD-BCC4-4D16-9549-2EF562012F7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a05f07a745b12ef3521b7e598c47013b069a02fa","datavalue":{"value":"0800.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997282$F3C7AA6C-C7F4-47EB-A870-CBBF9AB93014","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3997282$55AB6591-ED08-4297-B3CA-9A7D8A722F0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997282$1DADF7C2-3AEE-4755-99C5-1FED830F683A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997282$AD416704-730D-4945-A8E0-678409389A7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80efae7c515b247299d195c939ec7ef0753559e4","datavalue":{"value":"48402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997282$4C40FA5E-795F-4B8D-A9A3-A249C4712F74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4116005e927b77d4a16a7015680bd5517079c5b9","datavalue":{"value":"Ottawa, Ontario (Canada)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997282$9680C2CF-693B-4E8C-9314-A5D84DC0D011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d72bc4cea3fa435fe90b7d5ed22654f683e2a78","datavalue":{"value":"Protocol specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997282$6346E7F3-FFF5-41BA-AF24-A963B4E6D7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1cfd3516f50b4c0c78b0b606bdd11ce9fb503e","datavalue":{"value":"Testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997282$CDFA0135-52BA-4B39-893D-8CA05690A195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997282$7E2A80EE-245C-46EA-8E57-9BD1DEAE4CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997282$773BEA82-3CBB-46C1-B9DD-0BB377FE4560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997282$5339AB4A-07F7-4154-8B97-4EB790F5C167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"186a9d782e03b546254479f4151ebdf71b7a665f","datavalue":{"value":"Specification and design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997282$8916D68F-CEF0-4CD7-A103-0E13B7531793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5da4bbf1b8d619b5c2a3e867cb95f17b3ce24849","datavalue":{"value":"Protocol testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997282$569CA358-8D31-42CB-90A0-445CF8ACAD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39fcefca1246d0eddac60d392c0f16bb452942c","datavalue":{"value":"Testing and implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997282$404CD9B9-3133-4DE3-B4D3-FE82A29E1535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ac75c22eb08953487939be5c459e7ffdc6c59f7","datavalue":{"value":"Verification and design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997282$5445459A-7CB2-4326-B08D-F8448E42F38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6372882382f4c19c95436f5d75d7fc2775129299","datavalue":{"value":"Algebraic techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997282$6AE46189-86C1-4E4F-9724-AED9AC87417A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c37234f4d6c36157e93c3077e976394ef60e279d","datavalue":{"value":"Logic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997282$CF678019-907A-4DF5-85C2-62DF38AA2D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99550a00dc53d61eee0c7276b0224598ce380f8a","datavalue":{"value":"LOTOS and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997282$C542F805-DB88-4668-A3C2-C905BD96BC92","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":"Q3997282$0A6C02F6-6B9C-4276-9414-3C244BC86009","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3997282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3997282"}}}}}