{"entities":{"Q4255135":{"pageid":6284736,"ns":120,"title":"Item:Q4255135","lastrevid":46839867,"modified":"2025-12-25T17:03:03Z","type":"item","id":"Q4255135","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1323296"}},"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":"Q4255135$2A90A795-300E-4E58-B367-86522E50E411","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"733fd979652509c6214911336a323857d4ed2e18","datavalue":{"value":"0921.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255135$B1027A97-E052-45C8-8D1A-D755DD2C5DD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"005d114aeb1615d08a7c794411c1c99225217f7d","datavalue":{"value":{"entity-type":"item","numeric-id":4246964,"id":"Q4246964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255135$58FABD29-D3D1-43C0-80AB-C51EB7A911C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3129210f1fa76fa56b283a31e1414170ea6e7de3","datavalue":{"value":{"time":"+1999-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4255135$2A95BC10-81B6-4370-9DA5-415ACC0F0891","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255135$7EB5A7C8-BAEF-48D3-853F-F51226B5121E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255135$4D7817A1-A7D9-4A60-BD2D-7CA8F91F224D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255135$838FCF62-6964-44CF-8A06-2D755871597C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255135$4CA365AF-5DAA-4696-8402-3164613BAA7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72fa970233aa31f85d1b44ef5ed2ef8ad2937e11","datavalue":{"value":"1323296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255135$F8293D67-3AF7-47F4-8F0C-656853BCCA9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef310be6fa12eef043c708cacc5ef4dd579d15e6","datavalue":{"value":"extended-positive-tableaux-method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255135$789EA9ED-C2A0-41B4-BADF-B19DB858A1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255135$9C4AA153-9EDD-4D3D-836F-0DF4C0F007DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255135$F30D2CE0-CDDA-4169-9C73-B1AF77B4B358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ca6addfe8bee707903287ae5b3c8b3de7623da8","datavalue":{"value":"existential quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255135$23E95A35-BA3A-40FF-AE28-D1F62AF41849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"588fe7046e7c4fa6cfcf5f49bf7209a89dba37f4","datavalue":{"value":"unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255135$38F35DC1-9189-4563-9F00-EE7CA43EB400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352e0e98b1946578a4d14d613a018d2c7e6139e7","datavalue":{"value":"finite satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255135$81440E8A-9394-474A-A33F-7E25A06878B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e9cf680bc1bed74b5b31378316ec60422f43c3","datavalue":{"value":"implementation in Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255135$581165A1-606E-4644-9814-6B1F35FCBACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac824fbe31d8d094203d9a6e5ac78af5ffcfbbb","datavalue":{"value":"satisfiable integrity constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255135$F928CCFA-5B36-4F3E-9606-5A00B4706986","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c55b02aff260c82fbd1211080f1ad48c6d9aaba2","datavalue":{"value":{"entity-type":"item","numeric-id":18502,"id":"Q18502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255135$983982FC-BABA-4D25-8057-DCF891214E22","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":"Q4255135$1C99D24D-A3CC-47F3-AA41-4A11CA10FEAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bd3f4c6d2d1e6a09a1e1f27261e7bbd79034fb","datavalue":{"value":{"entity-type":"item","numeric-id":5187867,"id":"Q5187867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b292c86c2de0d7653fda2409c98d2d10d3a46ac","datavalue":{"value":{"amount":"+0.7775554060935974","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":"Q4255135$07A8C2D8-EF16-4162-83C8-2554D90C91F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d722f8f40862bf2bef4161b78b32e2449d83c4af","datavalue":{"value":{"entity-type":"item","numeric-id":4272502,"id":"Q4272502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a0c2332daec89e0c403a2c628f3ca32ba947be","datavalue":{"value":{"amount":"+0.7513970732688904","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":"Q4255135$9C2008FD-C202-4B9B-A0CA-F019CBF7D139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1e7620ae58656fec01e58c4714022d1cda1c3b","datavalue":{"value":{"entity-type":"item","numeric-id":1098832,"id":"Q1098832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4250e7a8c83f382995cb531ac5a7356d479f8c3","datavalue":{"value":{"amount":"+0.7410927414894104","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":"Q4255135$EBD13B8C-69FF-4210-BCD0-42353CD99EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4029b2e074921716daa1b5f9feb07d1e18858876","datavalue":{"value":{"entity-type":"item","numeric-id":4237680,"id":"Q4237680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e304c6d4c72a4f2ba900f432400d754b3d8266d","datavalue":{"value":{"amount":"+0.7340458035469055","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":"Q4255135$058C1DDD-1C94-4A6F-98B0-D1DEAC710A4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4255135","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4255135"}}}}}