{"entities":{"Q4223028":{"pageid":6252629,"ns":120,"title":"Item:Q4223028","lastrevid":46603377,"modified":"2025-12-25T04:42:44Z","type":"item","id":"Q4223028","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231697"}},"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":"Q4223028$19FB10DD-8C70-4C94-A5B8-A7C8209A7DBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f40112d398d0847f7099064e65f817f68d5518c","datavalue":{"value":"0917.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223028$EF5830BD-1910-4656-BC00-64816EDF6360","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3717bd40e47595e2a7f112a055a28e3a189d2344","datavalue":{"value":{"entity-type":"item","numeric-id":2711193,"id":"Q2711193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4223028$923482D1-D777-4871-BC29-4B3A583D3372","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa42c234d0a47eb8a16a0c13da0bd77146200383","datavalue":{"value":{"time":"+1999-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4223028$C1116FEC-96F6-4B92-BCA7-9E5B423F358C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79938ecf26752e7fec9761167b7dabb92dbd8a67","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=17#17004","type":"string"},"datatype":"url"},"type":"statement","id":"Q4223028$3073FAA8-D11C-4AF8-A697-DF9F0E87461A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223028$25B003D4-489D-4FCE-BF89-0FB3C6B45B94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b847c226f82c2b3b47a681223a9e3364bb4a0bcf","datavalue":{"value":"1231697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223028$D23E7E9E-69AD-4BD7-8926-CEBB6A166469","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4223028$1E76284B-4B4E-4B27-AE67-F76B16E094F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6ce54d1a94f06b142b923c816db29914c05ff6b","datavalue":{"value":"tableaux-based automatic proof construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4223028$3E305951-A28C-4B62-BA80-B54966C75D86","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4223028$7C4A05BA-EAD1-4CC2-A6D4-3A841D0A0301","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":"Q4223028$22A80B76-E075-417F-8B72-8A85035CB7D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d1b6f921e95adcdedd9be89783b475ccca3315","datavalue":{"value":{"entity-type":"item","numeric-id":2761749,"id":"Q2761749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e1f054f31a86e4ff26ccddd85440ed7fbcf1e1","datavalue":{"value":{"amount":"+0.8027072548866272","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":"Q4223028$D657DAC1-4F2E-42E2-941F-853354C68902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8139ef8a91aaf6018642a73755c3a644f2cfcb1","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df3c9dc4845cc72c42c1f7ee0d379baf986b445","datavalue":{"value":{"amount":"+0.7497288584709167","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":"Q4223028$2939BC01-3664-437D-9061-57F27BBAB0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c0bec91397d2419c4cd6446727ef5c89817380","datavalue":{"value":{"entity-type":"item","numeric-id":4244301,"id":"Q4244301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330a58de490b8c12097903fce99bfbcba98c2cf2","datavalue":{"value":{"amount":"+0.7430578470230103","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":"Q4223028$7AFCAA1C-B682-44CD-B754-1CB55FFF0DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97ad471e6172b61acd1f2b10b8e40a3cfe9a5bc","datavalue":{"value":{"entity-type":"item","numeric-id":3003307,"id":"Q3003307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"864dccec02206a93917df434660f0e2b4cb505d0","datavalue":{"value":{"amount":"+0.7409878969192505","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":"Q4223028$7D4EE619-E0C2-42A3-9A23-1D04C10D72AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4223028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4223028"}}}}}