{"entities":{"Q3140436":{"pageid":3151152,"ns":120,"title":"Item:Q3140436","lastrevid":45537004,"modified":"2025-12-10T09:35:33Z","type":"item","id":"Q3140436","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 437557"}},"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":"Q3140436$3281E3D2-5F6F-4EC1-BB4C-64D2E230F652","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f61c2cc5af024d1cb2e7807dea26f4b53b086674","datavalue":{"value":"0801.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140436$2CCF544A-0D75-4E3A-B234-61995BDFB42B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67f55dfbfc5790a3170e06e6e40351f5339dd88b","datavalue":{"value":{"entity-type":"item","numeric-id":671934,"id":"Q671934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140436$962810F6-ECB4-47F0-98BD-95FB347F2E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb601144f50446ab918878975754b8b11688e0e2","datavalue":{"value":{"entity-type":"item","numeric-id":477097,"id":"Q477097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140436$92DD808E-7188-4FD8-91AD-AD6AB27FC78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ee31696a3be6df3bdd79f474603a4526c11abc4","datavalue":{"value":{"entity-type":"item","numeric-id":1577015,"id":"Q1577015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140436$5A81DAFE-DC33-42A7-9165-1A05A80041CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35f07f26077989a46e074a3e6621ef2f811b12d9","datavalue":{"value":{"time":"+1994-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3140436$83A09A71-F9C9-4F79-9843-C61B72FF10E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140436$149468CF-F4AF-422A-91C7-1E045D855B35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a006d9ee8d1436702a9d3a9e1a8237f4d7cd799","datavalue":{"value":"437557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140436$E4CBFF58-E01A-4E74-9B35-E1BC21CB1A39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140436$09127EEB-AE4E-4DD5-9187-40B937B28352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"243e272bb5a704fd142d99b3f1d71c507cc3c020","datavalue":{"value":"3--CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140436$AF28C3E4-9251-458D-869C-6C963A188A7F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140436$7B5BFAA4-41F1-46F3-887B-DA648C8B5CC0","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":"Q3140436$314FF944-109A-4922-9C1E-88A1592E9C5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bdf8112ac081365fc64e2608b9ddc35de329fe7","datavalue":{"value":{"entity-type":"item","numeric-id":4471318,"id":"Q4471318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c729cdf9a84ada21ef0fe00aca775c2cd975fd3","datavalue":{"value":{"amount":"+0.9338936","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":"Q3140436$7D528034-EC90-40B4-81B9-BD4EE746ED4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0dba4b25818cc95965bf3e059cd3e940c9e257","datavalue":{"value":{"entity-type":"item","numeric-id":3514702,"id":"Q3514702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c729cdf9a84ada21ef0fe00aca775c2cd975fd3","datavalue":{"value":{"amount":"+0.9338936","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":"Q3140436$7874C2E7-97CD-4492-9CE9-A654AD9196E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635a733bd0ef83e0f3c19f9acd9be87a73430639","datavalue":{"value":{"entity-type":"item","numeric-id":4952608,"id":"Q4952608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"334c3036af52453d9b9b6cd3fc723623e4a67077","datavalue":{"value":{"amount":"+0.9310834","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":"Q3140436$E7867BF9-0435-46BD-B465-334510734EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c098662167eb9d951535cc3eedbf0aeb2faa5b","datavalue":{"value":{"entity-type":"item","numeric-id":4511484,"id":"Q4511484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77447d892f59038d9a6b3471bf2a00e1ebdd788","datavalue":{"value":{"amount":"+0.9179673","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":"Q3140436$D5966F9B-910C-452E-A26B-370731099038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a8a9b4b6f7a993c5971c2f1e46d2cb42085cf3","datavalue":{"value":{"entity-type":"item","numeric-id":955013,"id":"Q955013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47c9cd2ebb6ab9eed50ba4326f4bc75c5632feb1","datavalue":{"value":{"amount":"+0.9147142","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":"Q3140436$241B3010-0ABF-42D8-9D49-003BC4F43FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54ff441d5f90660fe62074e8e4e7c125ba1ffa58","datavalue":{"value":{"entity-type":"item","numeric-id":2843337,"id":"Q2843337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8823310f90e0a082effa2de6710a09b354cafd30","datavalue":{"value":{"amount":"+0.9135035","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":"Q3140436$F4ADF7A3-56C1-4547-9974-BE09BC3E1D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61cec5288a7a925d54126c3b778691d8b2e30526","datavalue":{"value":{"entity-type":"item","numeric-id":3546329,"id":"Q3546329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72db934b4ccb5f1a0c3e9f359f6a222136752895","datavalue":{"value":{"amount":"+0.90880364","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":"Q3140436$C4CD9BE7-3C0C-4619-8F3F-4B18489F58A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9031456c40fc1e4130be49ff750e823159074c73","datavalue":{"value":{"entity-type":"item","numeric-id":1408384,"id":"Q1408384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22bdda18a858cb984e28d65381086443c271863d","datavalue":{"value":{"amount":"+0.9061608","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":"Q3140436$5CEC2A1D-DD4B-47AE-8FEF-AE79F13C7061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541151ac26e9d8891b56677c481a45bd38475259","datavalue":{"value":{"entity-type":"item","numeric-id":870448,"id":"Q870448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749cf9a2a0ea9f5899e63c8ad832067bdda4d0b8","datavalue":{"value":{"amount":"+0.90560555","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":"Q3140436$0EEF2BF6-8E35-43E6-96FE-52E68A82240A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3140436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3140436"}}}}}