{"entities":{"Q4518864":{"pageid":6548457,"ns":120,"title":"Item:Q4518864","lastrevid":47540764,"modified":"2026-01-02T00:50:54Z","type":"item","id":"Q4518864","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538009"}},"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":"Q4518864$00001317-E1BE-4659-99A7-44E95DB7883D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d79bd4559834ffdea0f699eca1c6b4ac65503271","datavalue":{"value":"0961.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518864$4512D1A6-EEC0-4B0E-90F2-CEABB19725DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518864$BC3A45D9-3933-42D2-9D12-FFFAC36073C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adb119921e441e297327ff60c1a7864930c815e","datavalue":{"value":{"time":"+2000-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4518864$DE13C00D-3870-4AB5-973E-F9A688D052F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518864$6567C696-AD9C-4E06-89E7-53AEEF6A5B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518864$3C83BC99-8278-4C3A-AA5F-C31D87CA6B8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e94ec43d67d8e3a8c7bb149b0afbc74766f9b9e0","datavalue":{"value":"1538009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518864$F57805A0-E954-4F38-BE41-E041BB088AD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518864$3CBE39C1-2012-4218-B7C6-85F048D2378D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518864$36933051-398B-44C1-9D42-2EEA9F8E105B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518864$98C69305-B94A-49D1-AC1E-81AFA6AA32D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518864$EB13A950-66EC-4402-94F8-B875C0116DA1","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":"Q4518864$BDDA647A-A63F-4E61-9C2E-AF88D18F91C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7ef991317cb42ba6b39ad5bd12cbd14685f436b","datavalue":{"value":{"entity-type":"item","numeric-id":3612434,"id":"Q3612434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5309d04eae950b6200582e57a20189a764ad962","datavalue":{"value":{"amount":"+0.7506775856018066","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":"Q4518864$28F4148B-C703-4FCC-A696-24B2197882D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eed9f01c05df0977cc4b7cb2af87ba290c6703c","datavalue":{"value":{"entity-type":"item","numeric-id":2266989,"id":"Q2266989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eadb6a2536db8136b4f98ab9095e37c9293586b","datavalue":{"value":{"amount":"+0.7342088222503662","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":"Q4518864$E5D588A6-A6A0-4DB9-966F-33AB8AC73D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bfe2283112d88bc5f01fe3ba130ed363ab5f907","datavalue":{"value":{"entity-type":"item","numeric-id":1924731,"id":"Q1924731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd798566f53153a92099248718707c8e2ac05d8","datavalue":{"value":{"amount":"+0.7261306047439575","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":"Q4518864$46824A42-BF3A-4E67-AF5E-11F31026F2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1f80d33d2b711c1786c52beef6916c90b47ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5055708,"id":"Q5055708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e8ccbbaa29fc15865269ec5969f1d677fe2aab","datavalue":{"value":{"amount":"+0.7231308817863464","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":"Q4518864$53FDF96D-EB3D-493A-91E9-F67E4A2BB775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86f03f236bca73a7a1f1ff66f7ba7911a4c07a58","datavalue":{"value":{"entity-type":"item","numeric-id":1183598,"id":"Q1183598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2e31f93d4f749e440ecc500a513b5d927657ea","datavalue":{"value":{"amount":"+0.7209233045578003","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":"Q4518864$A840EC22-F5F9-49F0-96A9-213A3155ED57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4518864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4518864"}}}}}