{"entities":{"Q4536327":{"pageid":6565919,"ns":120,"title":"Item:Q4536327","lastrevid":41268234,"modified":"2025-04-26T23:00:58Z","type":"item","id":"Q4536327","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1759379"}},"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":"Q4536327$7D931E82-B567-49B7-8A11-7FB41DAA5DA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a749dbc5c009c876f85f0b62607a2c4c50faa398","datavalue":{"value":"0998.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4536327$E5065E6A-495D-4E3C-AC94-08E945C7D1FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b982174bf75e7052721cc417e2d2d9f93c78e8","datavalue":{"value":{"entity-type":"item","numeric-id":1404978,"id":"Q1404978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4536327$1487C4F9-996F-4891-8EAA-A6C4283711D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4536327$39DA285D-24F2-4802-8B86-298DD5B21583","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54398e0bde44a65d9fdb144ae2fdcc29e53d998c","datavalue":{"value":{"time":"+2002-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4536327$046C731E-8C54-4251-A54B-E5D693C1BB95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4536327$39731810-71EC-4CAE-8624-B78FF1F51465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4536327$07CEBA93-39F2-4C36-8D7C-C610304B6008","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"423afc56fb99c78122ebbcb5116f2ef95657574c","datavalue":{"value":"1759379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4536327$756BC1D8-42B2-478C-AE91-C533DD25E11D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4536327$E10B4999-AF1D-4FD0-B6C8-65B8589F5BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c51344918cf160612586ae31930ddba9864b1c0","datavalue":{"value":"subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q4536327$740927E1-D2E2-4713-909D-7981C2C87AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc771f9c4cbb132a4fb9368403bb895cba44b70","datavalue":{"value":"matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4536327$DFB5017F-1594-4427-9F37-3CC291E877EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18257105c6b49d34a5fbee04a3a233d2c2d58ca1","datavalue":{"value":"term indexing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4536327$5D896A0A-88FE-4F02-9548-5BBABA5EF19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4694b780004fb8b8b1e8eb63e584e24accb54c7","datavalue":{"value":"code trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4536327$73A82AE8-3E3A-4DD8-AB60-C9B8DB2DBE67","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":"Q4536327$869669FD-109C-4477-889A-3578E3096154","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":"Q4536327$87039347-3252-42AD-A744-3F32E0B6D0FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee2a2b8bff6da36f5c33802146e6a6cd41474df","datavalue":{"value":{"entity-type":"item","numeric-id":5001743,"id":"Q5001743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fefb5e6fb584af244434116ba71a0e70766b7e7","datavalue":{"value":{"amount":"+0.81345445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4536327$04033D8E-043B-4205-8FBB-990D903C31C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c56afa46440cdd5463dc5679ce1216f4614ca23","datavalue":{"value":{"entity-type":"item","numeric-id":845688,"id":"Q845688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fedf4fb1a830a40f112a5e921d19afd7d614a153","datavalue":{"value":{"amount":"+0.81280196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4536327$C8C67BDA-5B8B-44A4-8CD8-201603795A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6bf815b10aeba7587a1935637170d77d1c1490","datavalue":{"value":{"entity-type":"item","numeric-id":4273657,"id":"Q4273657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fccf2a7d6eaeabef2272ad1a44d4dc97afdf097","datavalue":{"value":{"amount":"+0.8113228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4536327$3DD02A80-1DF6-4F9F-8D7C-C8BF3B8CDDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03fc950424c4ab8ab764b9fdf2d35fa9b7b668a9","datavalue":{"value":{"entity-type":"item","numeric-id":1388063,"id":"Q1388063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb54de6baf0586db8c043ed814067e9748752f4b","datavalue":{"value":{"amount":"+0.80757374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4536327$7145DE10-487C-40AB-B2C2-A355A91D97D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"856901880c99f979a332eaccbab3e6bb2c5f70a2","datavalue":{"value":{"entity-type":"item","numeric-id":4542812,"id":"Q4542812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a49a39ba360d7cf6472ed476d2b9b50d173d68e","datavalue":{"value":{"amount":"+0.8013645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4536327$C9E34093-795B-49C6-A938-A73FFAFC3919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"071259d8540d2d1efcddde02d7971f632cdc5435","datavalue":{"value":{"entity-type":"item","numeric-id":5057264,"id":"Q5057264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d34b382e94a6f1f0ecd852091dab59caf5495656","datavalue":{"value":{"amount":"+0.800882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4536327$17227CEA-AC77-4331-8B7A-C8391EC23E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbcc615a922dfe8e77e9817223cf07f5d8f4f730","datavalue":{"value":{"entity-type":"item","numeric-id":3768416,"id":"Q3768416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c16051782c5438f883a06ffa27f1500394e7c1","datavalue":{"value":{"amount":"+0.7963196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4536327$73B1CDCE-AA4B-435F-9F66-0AFA1BB7BE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23ab823b7078ae558a60226fee1298ca7d8d6c82","datavalue":{"value":{"entity-type":"item","numeric-id":4560170,"id":"Q4560170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58d947c289103b8c7ff65adbd5681d25375c829","datavalue":{"value":{"amount":"+0.79087234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4536327$DA5D7B9C-42FB-4BFC-A95F-632F9B488542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd60ef46533725a56ee3ca3f33f26d74259ab69","datavalue":{"value":{"entity-type":"item","numeric-id":3341885,"id":"Q3341885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c63144bf168bca11e8720e292960862ae20b09","datavalue":{"value":{"amount":"+0.78629154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4536327$D6C5A060-E74D-44B0-B0C4-B05A51D7EEF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4536327","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4536327"}}}}}