{"entities":{"Q5128050":{"pageid":7157624,"ns":120,"title":"Item:Q5128050","lastrevid":40886155,"modified":"2025-04-13T18:50:02Z","type":"item","id":"Q5128050","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7267155"}},"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":"Q5128050$8DDE82EB-1E21-4B77-80A9-C4324CB7A461","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6e566fd5ceb836079d265c6660d43ec76da984f","datavalue":{"value":"1463.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5128050$5F9FF14C-875E-4A15-B6F7-7A0D3E914E7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"172732add4916bf3bf41fe85b7b2008cb9769c94","datavalue":{"value":{"entity-type":"item","numeric-id":2333856,"id":"Q2333856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5128050$4AC4E0E0-05B7-4342-BAFD-1E168CEBCE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6429993c4b83380d2aa1a3eca2b98f393effbe","datavalue":{"value":{"entity-type":"item","numeric-id":209286,"id":"Q209286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5128050$70A9A462-F145-42D1-8C1B-9F5D68A43C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"640f6c9b6467c65e5adfb3e2db056ad452469f0b","datavalue":{"value":{"entity-type":"item","numeric-id":416299,"id":"Q416299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5128050$CEC7DA77-FD4F-4064-80EA-7DCD3D1BB350","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e96c211c6c1bd548b28ba402cff609519e380594","datavalue":{"value":{"time":"+2020-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5128050$6A9E2220-A4D8-406E-B987-B60C6D4799C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5128050$211022FC-E9CD-4671-A1DA-E44CEFF58481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5128050$FC75DDBE-B3E4-4F5E-AACC-9B52273A4E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5128050$F5971671-F3F9-48FB-91DA-31FE799A105F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f788a2cc9ce6e94c2ec124f7b0041989572a1a2a","datavalue":{"value":"7267155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5128050$1842783E-8CD7-43AC-B5B2-53A61D7D4F62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"031de90fccff8246a5fa9a2578508fb5ba5f1ae9","datavalue":{"value":"set implication modulo resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5128050$A606A900-9760-4D9A-9F93-414C43937A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5128050$832F7AA1-EA5C-43D0-B920-7D063456D9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b0e17a2d5d97e3f5659be6f51fe6830c95e5a4f","datavalue":{"value":"implication modulo resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5128050$4356923F-504F-47B9-B2DD-ADA4BA6BB8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65a5210496402b142c855ff98038a281c2c26262","datavalue":{"value":"clause elimination method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5128050$A04BE40D-5853-4044-B0E5-A0943D6E0C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffc81ebbe272b5b7cddb8bc720454eb5a0502d81","datavalue":{"value":"preprocessing technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q5128050$64B49D21-EC51-4AD6-9A0D-0C518976D28D","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":"Q5128050$30C666F4-D434-4AF0-916E-71F84508DD7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e25fff9ddc8a9a0a581cabbfd4c73d2de5753c98","datavalue":{"value":"10.3969/J.ISSN.0258-2724.20180974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5128050$9492175A-73EC-4554-BB2D-959D08AA6E26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9ee3fedb306e15b25ac18e1c056a5542779645","datavalue":{"value":{"entity-type":"item","numeric-id":2405255,"id":"Q2405255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c277e57bb10a8ac46936343ba2ffe5841105b9de","datavalue":{"value":{"amount":"+0.97035027","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":"Q5128050$0DBC9214-3324-4B9D-88B9-A72895B79389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61e8d8466b42fefc9ba9489da6e8b1a6c4ed5c6","datavalue":{"value":{"entity-type":"item","numeric-id":3183527,"id":"Q3183527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21bf88dcac77253b432d946527496e5eeaddf716","datavalue":{"value":{"amount":"+0.8810176","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":"Q5128050$C98C2334-F157-42E6-9DE0-ADCF561BB24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86b40a0866284973d5d20420bbaad6d6ec04556","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749b128100d286377f3473275e0e5aa4db1c924a","datavalue":{"value":{"amount":"+0.87239724","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":"Q5128050$E47DB098-9DBE-4FB3-95FD-1E42A5A2A515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2eb074edb079cee991e695dd0ad4ded7c688cc8","datavalue":{"value":{"entity-type":"item","numeric-id":4012176,"id":"Q4012176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a2bb72f20ae49fc9a24cfbd84ae8471c254877","datavalue":{"value":{"amount":"+0.8705033","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":"Q5128050$67C6F283-D80F-4C8F-9CAE-0994F5B6F51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786b93b86a0352de3de5e7cddd003986b9a9ab55","datavalue":{"value":{"entity-type":"item","numeric-id":3976573,"id":"Q3976573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb192376b8afe430b262d54cb6c15f13ffcdb13","datavalue":{"value":{"amount":"+0.8702652","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":"Q5128050$90F13947-AA80-4BFA-972A-BBB12A2C9FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9233249eac8623912147e1042b002aed5412ac5","datavalue":{"value":{"entity-type":"item","numeric-id":5241924,"id":"Q5241924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dfae4a1818c7f29aa880cc4b2617c6aa58b897b","datavalue":{"value":{"amount":"+0.8684126","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":"Q5128050$23EB136A-3056-4734-ACD8-BF9D5256BD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32782c00400833a9c0d7a61411b35475526f487a","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ab79bfb5ff31f19e2cc9f0b346450bf3558133","datavalue":{"value":{"amount":"+0.86350447","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":"Q5128050$5EA213B1-6D1A-454A-93C4-4D274D8B9D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961868c838bbcd308e52a675ed2ba3c756a6cb74","datavalue":{"value":{"entity-type":"item","numeric-id":4372940,"id":"Q4372940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bddd6fb70d74a7d8558e97381e5956561c29d1af","datavalue":{"value":{"amount":"+0.8622458","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":"Q5128050$2E7E1E58-9C89-4C0D-A910-E2F5640E3FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262cee6a0be04917e8b2aa10f7c3d46b849f70c9","datavalue":{"value":{"entity-type":"item","numeric-id":4503913,"id":"Q4503913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a213b6fecd14720bff6f99615967be276ad31c","datavalue":{"value":{"amount":"+0.86066103","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":"Q5128050$C8AA3CBA-96DD-4DCD-AFFE-238D6E5C8A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56e7d4f963e6140eee104f8bc9927781326d99f0","datavalue":{"value":{"entity-type":"item","numeric-id":4933317,"id":"Q4933317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a717b1a6efc90a3eb4196d7cb776cd20838415b","datavalue":{"value":{"amount":"+0.8597707","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":"Q5128050$464558B2-7512-4B70-9A8E-FFF649E1A3E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5128050","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5128050"}}}}}