{"entities":{"Q3789100":{"pageid":5819006,"ns":120,"title":"Item:Q3789100","lastrevid":52766456,"modified":"2026-01-23T11:15:14Z","type":"item","id":"Q3789100","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053061"}},"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":"Q3789100$433DF293-CBA5-4304-A3C1-4CE9A263A4B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"342f076b37092e4322e50a00720a644cec9ea26b","datavalue":{"value":"0645.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789100$F6D6A38E-B9F0-4208-B634-2A570F96FCEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789100$BDBCB426-4E98-4A61-ABE2-F023036A5AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b168abea7db04055f6cf4c99009d9572497bb1","datavalue":{"value":{"entity-type":"item","numeric-id":1617008,"id":"Q1617008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789100$AF37F56C-775F-4F76-B19B-B3DF470C1DFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3789100$31EBBEAD-8FB8-4C84-A5C5-7E310EACCE8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789100$A3C98215-DB68-4315-8364-E5F3A7B99FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789100$C305218C-5C18-496C-9658-87ED1EA7593A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789100$F1287E64-FB3E-4408-86E1-292514896371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789100$2ACCC3E2-B291-48A9-95FC-431587320925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789100$941494A7-32D4-4B91-8EB2-B8E57C248F35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"884acc5868b341176f55f7b39e8d5c6576ec517b","datavalue":{"value":"4053061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789100$69118014-A97F-444F-B3CA-B6C45FC4A60E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcef07654ab0e39c3c9b60c2b39049a769d0aac2","datavalue":{"value":"superposition on maximal literals in clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789100$C5102AA6-D080-4B28-A3D0-D95C72CAE4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b32aca426b78b5f53b98e17acd6efaca9a8ca4","datavalue":{"value":"conditional rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789100$C459250C-B261-4B6A-9FE3-42E5F767169E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d194cbba15ed796dc4e85f010c94c68d1cf0d55f","datavalue":{"value":"first-order predicate calculus with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789100$4508F281-5503-42B3-AB4D-0E5C982FB299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789100$8ED1DBE6-70D1-4D3B-BDF7-72F779CAD5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c5010aea51d4a8a148d96612cd11acb2f5885f8","datavalue":{"value":"Schubert's steamroller","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789100$F942F72C-524E-4367-8F79-25CC264054C4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ebf2accc5d6c6b3c7a81ee7493fd53a6bf250","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789100$88652F50-A24C-4157-A1EB-795BD409B4CC","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":"Q3789100$50F44AC5-B52A-4B93-AE17-0FE0AC895877","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5079de2b33777a53071eb4a1f8e4e5ae8a87c664","datavalue":{"value":{"entity-type":"item","numeric-id":5881190,"id":"Q5881190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37688f69f318bc84b540884daa66c7b29dae7c49","datavalue":{"value":{"amount":"+0.9700788","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":"Q3789100$6CB05566-D48F-4B41-A31C-3396F5A4D55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff34e819f735073f36b1ed7a08ace7fc0ab8c835","datavalue":{"value":{"entity-type":"item","numeric-id":3817654,"id":"Q3817654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c0b7e8c39989c0f38ee815894a1ee8058da20b","datavalue":{"value":{"amount":"+0.9213239","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":"Q3789100$FE1863CA-1289-4DA5-BF5B-85A7B075DD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93d096a65db3336b7d8e636037731ead644dad76","datavalue":{"value":{"entity-type":"item","numeric-id":1272612,"id":"Q1272612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30e8a9cf733187154edc8474eaeefcd40424ff7","datavalue":{"value":{"amount":"+0.9141978","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":"Q3789100$C59C2E6D-E1B8-4208-BE36-263A966CB70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f91f2a04af7ed716280a69b31bd5722b64e604","datavalue":{"value":{"entity-type":"item","numeric-id":4246725,"id":"Q4246725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b116bc8ac746a5b04baff4c2ff6970062a3ca9a","datavalue":{"value":{"amount":"+0.8958524","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":"Q3789100$4F3D5191-D340-44C1-8AA9-5A2C7FDD0C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8537b16bd2ab63f05b68cdcf3fa52d30ef9300","datavalue":{"value":{"entity-type":"item","numeric-id":5881188,"id":"Q5881188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b7b2b04408e15a3e73bb59e1edf33426b86cb3","datavalue":{"value":{"amount":"+0.89165944","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":"Q3789100$F5AC23D3-765F-42CD-A812-96AD36F22AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d582558383118de9d65b0211933a9afadc6cadfa","datavalue":{"value":{"entity-type":"item","numeric-id":4357064,"id":"Q4357064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e0f1cd76b424f87d0c72095070097563cca4075","datavalue":{"value":{"amount":"+0.8903674","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":"Q3789100$DA0DFCBC-94A3-4F01-8CCF-7A5B8917E145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d370192bbaebdd64f89013897ae67d132d2f82a","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d084b1f8f507b681f00473e61dae505e9770b4","datavalue":{"value":{"amount":"+0.88959163","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":"Q3789100$027652BC-7120-4796-A5B4-47B397F622D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"722811d3cc0e3bb9187d00efc938d04abd111fa3","datavalue":{"value":{"entity-type":"item","numeric-id":1098649,"id":"Q1098649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e35f60170c40b4c344dabfcca694f1a6a57055b8","datavalue":{"value":{"amount":"+0.88836944","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":"Q3789100$C004430F-7B84-4B0E-A92F-40621C42F872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddcd94f921aa20f6b9b45b22d22d4796be094a6d","datavalue":{"value":{"entity-type":"item","numeric-id":429582,"id":"Q429582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372f117d2c612e77648b7bb7ca81d07ea8bb020d","datavalue":{"value":{"amount":"+0.88597995","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":"Q3789100$2A23BC5B-B7C6-491A-9208-C7D46E839BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e29f2fd55f70b23450ed98479c53a683b1ea6d","datavalue":{"value":{"entity-type":"item","numeric-id":2233502,"id":"Q2233502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9717940de248a243e166574e12a638c721e363c","datavalue":{"value":{"amount":"+0.885583","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":"Q3789100$2B4DBC79-5DB0-4A88-9111-08514204CA10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3789100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3789100"}}}}}