{"entities":{"Q3318749":{"pageid":3329457,"ns":120,"title":"Item:Q3318749","lastrevid":45951121,"modified":"2025-12-20T21:59:03Z","type":"item","id":"Q3318749","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3849199"}},"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":"Q3318749$2EAD9D70-4154-4AE8-AB47-0A7EB3F75225","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a432dccdffffbf42f79596bed29ac245b775392e","datavalue":{"value":"0535.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318749$73CBC558-9869-44F7-9D7F-C452465A714B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbcd1d83536cfd20680af05ec0710dd7366db8ee","datavalue":{"value":{"entity-type":"item","numeric-id":557409,"id":"Q557409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3318749$761626D4-BDD8-4558-807C-76EB8BC26E04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3318749$2ED7F56A-5E7B-4ADE-A3EA-0244BA94BBE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318749$32061568-535B-4BD5-BBF0-848A39A20D10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04255f837f02a4274fc0b50e0759aa0559a1b743","datavalue":{"value":"3849199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318749$3BC3B40B-4520-48DF-8393-38615F62A485","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec881540a10479bde377e0c92ed8a8b7d526647f","datavalue":{"value":"substitutions in a proof search algorithm for first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318749$2E6B36C7-1B09-425D-A05D-E371D6D3317A","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":"Q3318749$95562969-996A-48A5-8331-71490EE86C2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06a74796b941f161d0755037cb74ae31cd45e9c","datavalue":{"value":{"entity-type":"item","numeric-id":423737,"id":"Q423737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935ae4c5c0248761df780fd69239dd9c123e12f0","datavalue":{"value":{"amount":"+0.9047644","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":"Q3318749$DA369C35-E1EA-4A57-81C5-45D798ECFE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bee70a34327a81b429644ea527626181d0ec9fe","datavalue":{"value":{"entity-type":"item","numeric-id":1653024,"id":"Q1653024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9776864598ebac79241d7a07214a50667c3b925b","datavalue":{"value":{"amount":"+0.90190053","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":"Q3318749$B481CFA2-D39A-4454-BC80-025BA519ED66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14b6207b035d4af9ebd9981a353c89ba6b971e6","datavalue":{"value":{"entity-type":"item","numeric-id":1106190,"id":"Q1106190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6714ff33d8795df88c7fb37b7253df30ec6118d5","datavalue":{"value":{"amount":"+0.8155487","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":"Q3318749$8C17BDA4-1172-47B0-8FA7-4F6CFC961ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1a615fff3e3014ee7fd886dfd0accc8412c0f10","datavalue":{"value":{"entity-type":"item","numeric-id":5229901,"id":"Q5229901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6363abc225c5fade14ae86eae03528c1cf3e44fe","datavalue":{"value":{"amount":"+0.80807877","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":"Q3318749$F37FB1F6-333C-441D-A59B-F233FF9D65B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c09d9b79680752172d4a89d72f3ba287b6b9b4","datavalue":{"value":{"entity-type":"item","numeric-id":748587,"id":"Q748587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f0fc0dce5e3c570e183f3220c355b5121b4d35","datavalue":{"value":{"amount":"+0.8038479","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":"Q3318749$C2B9460B-289A-473B-8712-EF8AF1B79F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a4efcd38f0f2f51bc2f857b23e9c7ff9aecb53b","datavalue":{"value":{"entity-type":"item","numeric-id":5221313,"id":"Q5221313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ad3a3d56a044f82625c2e50a5450f89219a1da","datavalue":{"value":{"amount":"+0.80320626","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":"Q3318749$C636862A-226D-41D1-8A7C-07A601151725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00dd48e7574bc32068a063a78faef93103377ea6","datavalue":{"value":{"entity-type":"item","numeric-id":3001106,"id":"Q3001106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b374ab9bd168fc0dd7de207de50520213a779455","datavalue":{"value":{"amount":"+0.800423","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":"Q3318749$803F638E-7288-425E-A6A6-F34705548209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5267c68e277838e922441a1f6697bf134e3e5172","datavalue":{"value":{"entity-type":"item","numeric-id":1852660,"id":"Q1852660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f8c39944690c241525a2354c696cf53d906acb","datavalue":{"value":{"amount":"+0.7986694","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":"Q3318749$B9127754-EA2C-43A1-ADBA-CA1181701071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57855456a964957980478134b433474fb6445200","datavalue":{"value":{"entity-type":"item","numeric-id":4793112,"id":"Q4793112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8027360187a53cf554a6d649d0fc68e8d675aa57","datavalue":{"value":{"amount":"+0.79802436","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":"Q3318749$D068AF1B-79AA-42EF-A05F-53A1E0737524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f216aaa3e84b73e26e644611d5e7e1bbe14feac7","datavalue":{"value":{"entity-type":"item","numeric-id":4821649,"id":"Q4821649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5747caf79d6a1828c78f275175556bee11bfbb6a","datavalue":{"value":{"amount":"+0.79561967","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":"Q3318749$23A5C5B7-E85A-4693-90C6-300C4AB5A09C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3318749","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3318749"}}}}}