{"entities":{"Q5364939":{"pageid":7394513,"ns":120,"title":"Item:Q5364939","lastrevid":52913501,"modified":"2026-01-23T19:21:03Z","type":"item","id":"Q5364939","labels":{"en":{"language":"en","value":"Fundamental proof methods in computer science. A computer-based approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6783108"}},"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":"Q5364939$B79B646C-222A-49E8-8B90-2F6BECDCDB8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4176fba3aed1d731296dec23ebfc032efbe8aa7d","datavalue":{"value":"1377.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5364939$E2E37FD8-7EE5-4FA7-9882-ED9D4F26F3BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d7f3965b1698361800925fe53b5095380ea4b15","datavalue":{"value":{"entity-type":"item","numeric-id":851138,"id":"Q851138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5364939$66C2B9F4-1EEC-4456-89BE-39E6D6716E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da69afe2eb2727aeaa0fc395e387736bed2482e8","datavalue":{"value":{"entity-type":"item","numeric-id":1094887,"id":"Q1094887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5364939$97DFB749-13E5-4312-869F-2E6ACF2B4DD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c6a695cf3837fb6c40a9b0aaa4c3b6a2324244","datavalue":{"value":{"time":"+2017-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5364939$C868FD28-0674-444B-BAF3-8726CAFEC284","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5364939$4B59019A-5663-4626-931C-B116D686541E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5364939$A6FAE27F-77B8-4830-B81C-5ED1CB21F463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5364939$09D7BF8A-025E-476A-924E-1CF1A3ABA186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5364939$1A9D91FB-D83F-4369-9418-DB12F447C9D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91de27182e0a470138b1d21e51183a72626482eb","datavalue":{"value":"6783108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5364939$BF59228E-E290-48EE-AA4F-B29667FCEF54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a10a6d9eecd81833801dba1c7e4716d12489f780","datavalue":{"value":"computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q5364939$8FE4E287-CC4A-4440-8F3F-A72BCD8075F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca6a85d411aad7cd24a325d583836dc376ecdc71","datavalue":{"value":"proof methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5364939$597BAEF9-3888-4AD5-A251-B3E28C42C13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3b2829fe034749ae97a04283032144263f67fa8","datavalue":{"value":"denotational proof languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5364939$A826BB51-F711-4606-A0F6-AEDD63C71B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3098167de6a719b7183cdbe3f90f983d9e51bbce","datavalue":{"value":"Athena","type":"string"},"datatype":"string"},"type":"statement","id":"Q5364939$463E4A73-DC1D-4E80-805F-DFD0DF90BCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97a2c8c50c7d9f100fdfc8c716224e05a99d386","datavalue":{"value":"machine-checkable proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5364939$EFF01A7C-3840-4CCA-B195-7AEB1B40FBC7","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":"Q5364939$D997308F-0FC2-4A30-A0C2-22817421C94A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f34e7101fd452f7f4f033e9094e9c7ef6dee8ad","datavalue":{"value":{"entity-type":"item","numeric-id":5112629,"id":"Q5112629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe29c8e16d0e1118d2f6a6f7d29926f00e0d1f73","datavalue":{"value":{"amount":"+0.7527945637702942","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":"Q5364939$3FF1D563-49FB-4552-9403-8B88954CFA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21600ebf93e0786bbeca6c785e3c9bff573c8a62","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c68d686cd3056e6e6a6341b67366ad7401c3e23","datavalue":{"value":{"amount":"+0.7523387670516968","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":"Q5364939$959255BD-ACE0-4606-BB60-7C2E7F1AE188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cdcf48e2229f3526631ece2a3e1a80cc930fcc","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d24f68b5c3c2b0536cdc1ac5056b10bdb6ed144b","datavalue":{"value":{"amount":"+0.7437421083450317","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":"Q5364939$6FD4BCF6-8E0D-409A-89BD-12526F995686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372d2d481c85fd36ca116a2c71fbd4c5a0eb7c70","datavalue":{"value":{"entity-type":"item","numeric-id":5198513,"id":"Q5198513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db0635b16b778b4416c230c187aef844ac4a032","datavalue":{"value":{"amount":"+0.741106390953064","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":"Q5364939$E45A7782-2D15-47EA-A936-3A5E938762A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4b0d16db5f218d4ee065f1f1897c47e139fa49","datavalue":{"value":{"entity-type":"item","numeric-id":3998281,"id":"Q3998281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234ab1d6c17032520e113084a91f7067b0dc0284","datavalue":{"value":{"amount":"+0.7391404509544373","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":"Q5364939$4F2DC050-4C5F-4A9E-95B5-80FC7BE4F3CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5364939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5364939"}}}}}