{"entities":{"Q4877443":{"pageid":6907022,"ns":120,"title":"Item:Q4877443","lastrevid":46427427,"modified":"2025-12-24T18:40:33Z","type":"item","id":"Q4877443","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 877750"}},"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":"Q4877443$DC366BA5-F09A-410C-AAF8-E61A7C2C04A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f748d2ed0f49ee8dd356f80002afed465e4b5d21","datavalue":{"value":"0859.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4877443$FBDEC2CA-F4EF-433B-BC9B-9AE0CF460954","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fb06e491ce3acdf3ed01fd3fd7199d6d3e53819","datavalue":{"value":{"time":"+1997-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4877443$2D8219AA-5A1A-4FB1-B420-DAFF28ED025C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4877443$38E2BC33-C5E4-4B50-981C-275C797D3737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4877443$57B10A59-4DF0-4AE8-88C2-3833A1821796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4877443$F5E7032A-250D-4EA9-9735-1DDD7245EF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4877443$80A221CF-CB09-4111-B9F1-4783169A917D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4609843537cd050adbf9a203c5d0faf0ace80e92","datavalue":{"value":"877750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4877443$904B2F30-6412-4DA8-A07B-6AA0DC2381A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2a1fefd2eb482a731fad699ab4e807199bf9506","datavalue":{"value":"computer support for application-oriented logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4877443$B516BD14-262B-43AE-941E-BB765392479B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0d2cd6c808ad9febc6998c9d303f1acef764ca9","datavalue":{"value":"Hilbert systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4877443$46C873A9-39D6-4536-9A7F-8DCB9DAB8FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4877443$714DEA3F-63E0-4FB6-AC50-AE0DEA7422F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4029a65ae449b08713d0ba9f68389b81ff4191c4","datavalue":{"value":"frame properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4877443$167E94FE-B2B1-418C-939F-B62C3E6A937E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74616ca4359dc32f33b0a57a617e24ce00f00d42","datavalue":{"value":"quantifier elimination algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4877443$8389C453-A776-41F4-B80E-BC47A81841DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6311391d510068b772be40df64ff28ffaa11139a","datavalue":{"value":"expressiveness of a logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4877443$B37C78D7-E0DA-4C78-8DA0-F6F9225D7513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4877443$7E6CEB7A-533A-492F-B28D-3E2D0C152828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5935250e4e60897f7fdffe660d9ac37d224e316","datavalue":{"value":"redundancy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4877443$3C2AF5D2-3383-4798-8A20-A38185C16E21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad85fd0db6467d71e74313095d444d398003ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1097715,"id":"Q1097715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4877443$78D88253-09E4-45F3-8B60-1C1CF7242C4F","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":"Q4877443$939BCC91-3849-46A9-A4A6-1914FDB6F369","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1696632c06752ae8e27f36a7ca286b336eeab49","datavalue":{"value":{"entity-type":"item","numeric-id":3455840,"id":"Q3455840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61c0b230baa5d1151a40cbb26368c7c87c343b66","datavalue":{"value":{"amount":"+0.7409091591835022","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":"Q4877443$FABF6031-977D-4041-8263-AF8DF4366BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a112d1013d75b0ddf62d8793fee33d050d77f8b1","datavalue":{"value":{"entity-type":"item","numeric-id":4681159,"id":"Q4681159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44430da067d7011454f2339d37c898e7ab198aea","datavalue":{"value":{"amount":"+0.7103456258773804","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":"Q4877443$1D4170A9-D700-4DC0-859E-9532D432CD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e097ba4d92cf32555b921150a0075c816bcfee46","datavalue":{"value":{"entity-type":"item","numeric-id":2946751,"id":"Q2946751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f4a6267046df5bf4cad1f42be4fa92e65e87d64","datavalue":{"value":{"amount":"+0.6967563033103943","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":"Q4877443$3CE45EA0-7902-40FD-9ABF-382131981705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87663ad839e73095fd329e3acc40e530a21a7b10","datavalue":{"value":{"entity-type":"item","numeric-id":4384380,"id":"Q4384380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77861841e1bae5cb2a76b203c06ad3d5f68a194a","datavalue":{"value":{"amount":"+0.6955695152282715","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":"Q4877443$F6548996-C040-4FF5-A1AC-A950D3A04E5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4877443","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4877443"}}}}}