{"entities":{"Q4945200":{"pageid":6974782,"ns":120,"title":"Item:Q4945200","lastrevid":47471353,"modified":"2026-01-01T20:18:19Z","type":"item","id":"Q4945200","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424012"}},"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":"Q4945200$6F88CC82-FD76-48EC-AFCD-F030F6B4222A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc48c7cb63fea35bf0a49ae0031e952dd5c129e7","datavalue":{"value":"0947.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945200$0572BCF0-723D-4858-B664-EDC7752FFD75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"886664d698445e1702c39c62a8e99a722a88bdd6","datavalue":{"value":{"entity-type":"item","numeric-id":817699,"id":"Q817699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945200$A65C011F-EB58-40D9-BE06-8867AB8CD813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"877cdd48b78659fb34c7540ccd4a9d80f4f6eaf8","datavalue":{"value":{"entity-type":"item","numeric-id":1600085,"id":"Q1600085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945200$62917DA8-2F94-46D4-89AC-6943A843DB20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ccf67db9ec606552e3b39a88e0b26e8e698006b","datavalue":{"value":{"time":"+2000-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945200$16EC484B-0C17-431A-B6BC-CCA42D2B9B75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945200$B1B83B50-F738-47E0-BFF8-EA18C0171281","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05e16f4b32725559ba3ceaab46fa9641b0cef8b7","datavalue":{"value":"1424012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945200$B4D7AB87-3466-4C7B-B8A8-D35A32800C16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945200$546DC459-CE2B-4CF9-90B2-AB9F90CF12C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f998f00eab658ec802472cad8ca9638097d79a69","datavalue":{"value":"higher-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945200$A94C63F3-5006-43DC-B5F6-69FCFDAF8E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945200$97BD96BD-D90A-49B4-990D-1CB7E2A9A47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9261e7176c355d25de550288f511ceb3b62960f2","datavalue":{"value":"inductive datatypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945200$EC8C4888-9DD9-4FF3-A29D-6795070BFF8E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945200$18FC9C44-AAE8-4CF6-94F2-5FBEA264A725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945200$BF1D05B9-1F75-4B98-AE0B-D9D6AD9BE611","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":"Q4945200$9C11FC77-1436-4B8D-9975-EDADCCB61B79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880184504bd47d4aab173f44873bb04dbe6f5cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1309243,"id":"Q1309243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f204aea675bf58cd0a1e1a343a882f174e576313","datavalue":{"value":{"amount":"+0.8021678328514099","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":"Q4945200$F9125455-4535-4A31-937F-800F7C50306C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2ad198c7057067a7e23ab0fd94490a08ee71ecc","datavalue":{"value":{"entity-type":"item","numeric-id":3024873,"id":"Q3024873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac83abc982eaa4d69174b523446cb3edb3812cbc","datavalue":{"value":{"amount":"+0.7949637770652771","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":"Q4945200$846A2D4C-7772-416F-91AD-EC4F62B78436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef7c286fb322135f98a489f42e729b7284efa24","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8409b0ccc51f8cd6fdc239c0e45a4fd6439dc109","datavalue":{"value":{"amount":"+0.7777242064476013","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":"Q4945200$9F0635C4-18E8-4E7A-BF45-44DDFE458F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c843f37bf1149130399feda41a62effd30beec5","datavalue":{"value":{"entity-type":"item","numeric-id":1687535,"id":"Q1687535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8409b0ccc51f8cd6fdc239c0e45a4fd6439dc109","datavalue":{"value":{"amount":"+0.7777242064476013","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":"Q4945200$DA27EBB1-818A-488B-9670-7FBBF1508DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d960f35efe3db0a0acdb283e2f4a208ecf2cd792","datavalue":{"value":{"entity-type":"item","numeric-id":2986838,"id":"Q2986838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6cbf0ea35f3259c38fcb43a9b18dc3f1403e2e","datavalue":{"value":{"amount":"+0.7744320034980774","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":"Q4945200$F3837DB5-D2B3-4AD5-8564-48FF13AC109F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945200","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945200"}}}}}