{"entities":{"Q3608785":{"pageid":5638691,"ns":120,"title":"Item:Q3608785","lastrevid":50592143,"modified":"2026-01-14T12:18:28Z","type":"item","id":"Q3608785","labels":{"en":{"language":"en","value":"System for Automated Deduction (SAD): A Tool for Proof Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523789"}},"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":"Q3608785$BCA0AC9D-5B99-4429-92D9-92494AD5850A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3198cb04413433f0c4b017a20275b583fdac32e","datavalue":{"value":{"text":"System for Automated Deduction (SAD): A Tool for Proof Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608785$305CED7E-ACCB-4AE6-978A-835217D6B0D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9ded17a3a9c1dbf1e5692c20a0f677c24bc4b8d","datavalue":{"value":"1213.68576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608785$6BD22886-DD1D-4787-8B3A-FC539A0093A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91931e20d2935ca0f4896fe9a0bbab39b1e2a9b5","datavalue":{"value":"10.1007/978-3-540-73595-3_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608785$C0A57ABC-0344-4D45-BF6A-5779771BAF8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ddcc94cda6405b4202e77d17badedaec16490ea","datavalue":{"value":{"entity-type":"item","numeric-id":865653,"id":"Q865653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608785$C19E12C1-8FB7-40AB-8AFF-355CF15F7202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec54547b4f5c25170660bf9ec332f673814ae34c","datavalue":{"value":{"entity-type":"item","numeric-id":287383,"id":"Q287383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608785$2B49D89E-C5DA-4E50-A5AE-1678C4CA6441","rank":"normal"},{"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":"Q3608785$8744440E-62A6-437D-ADC2-9D7445DF7E08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a99c28302e4dd8894739792255bebe5f186782f2","datavalue":{"value":{"entity-type":"item","numeric-id":3608758,"id":"Q3608758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608785$CEFF7E37-AF40-421F-B6A5-0A2E2916BF2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608785$9006F046-099F-442C-9DA1-DA587EB3EEBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608785$E032117A-FF58-49CF-9F6B-9C0A86392D75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d89a1b41d4d3225bae4d59b8a7351e392dc3137","datavalue":{"value":"5523789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608785$78B4ACFB-F01D-49F6-BE50-37378543EAA2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608785$9A3E172B-DD83-4B73-89A6-CB79EDD088A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91b852acc0d0dcb394ea74c8e76a901ae0257702","datavalue":{"value":{"entity-type":"item","numeric-id":21776,"id":"Q21776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608785$6D752996-771B-4C0F-B7E7-3CF492E5FA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608785$35845697-0112-415E-BDD7-E6C4C084C55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608785$E504EC99-D142-4A63-AF0D-43AC6A54A7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608785$80879FAE-73B5-409B-BF60-9FF5894650DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608785$396C998C-A340-4913-959D-BA50F48980EE","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":"Q3608785$1A234D15-0475-426D-AB87-647B70577997","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95d409e8bbabe71e55826f5d1d579b481b8abb64","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73595-3_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608785$34C270F3-19F2-4CD8-AD99-18738C6E1F17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f854568f99ea8925da7bd117e95faca36af314eb","datavalue":{"value":"W1575002400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608785$93BD13B3-BEC9-4398-889E-B1D0D81511EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03883927d6d0e525f659609548447e11342cdb3","datavalue":{"value":{"entity-type":"item","numeric-id":4471536,"id":"Q4471536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93735f5199de47c7e66bdeec7980cb531e39ad52","datavalue":{"value":{"amount":"+0.8643307089805603","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":"Q3608785$15FE09C7-1F0E-47CF-A695-18EB9C8A6C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613946a2c96579dfa5c29e13693a001e7089eaab","datavalue":{"value":{"entity-type":"item","numeric-id":5313060,"id":"Q5313060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11b44573eb5db7eca9380366ff047288c8b99f10","datavalue":{"value":{"amount":"+0.8541582226753235","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":"Q3608785$39DFD700-7693-43FD-98EF-07D99317D135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc3a41b77047459a9d4e4943d28167843b41d129","datavalue":{"value":{"entity-type":"item","numeric-id":5505538,"id":"Q5505538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af66882dcb571e0c0c5acf4d70357287d8255e9b","datavalue":{"value":{"amount":"+0.8390880227088928","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":"Q3608785$B49BB3E1-1D10-4A92-9205-2C5F3DCF6EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2589b4d950514d08e586bca1e09d5ad20ae45c3c","datavalue":{"value":{"entity-type":"item","numeric-id":865654,"id":"Q865654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ee3780c7c6c7492d1d14a32d71584f010db6e8","datavalue":{"value":{"amount":"+0.8290212154388428","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":"Q3608785$99F7EEC2-B407-40CD-8055-45BA3528FD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757fa420436f388bedc28bb7fdc03d5d96452d77","datavalue":{"value":{"entity-type":"item","numeric-id":4829319,"id":"Q4829319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b7218b31b750ce16a80732df0cb5afdd429dcae","datavalue":{"value":{"amount":"+0.7592574954032898","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":"Q3608785$94BCA270-9761-467E-AE79-B61C413A7EEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608785"}}}}}