{"entities":{"Q4501138":{"pageid":6530731,"ns":120,"title":"Item:Q4501138","lastrevid":47015085,"modified":"2025-12-26T01:28:40Z","type":"item","id":"Q4501138","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1499085"}},"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":"Q4501138$C8806A18-8C5B-42D1-A646-CFFAB8E77245","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe83f1677633f858d30c866169d1be136c1228a0","datavalue":{"value":"0946.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501138$DB105220-7490-400D-B06D-9DF84317FE7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a1313feca909e4aa4bfc5a3c6d46e20b6dccd9b","datavalue":{"value":{"entity-type":"item","numeric-id":1209337,"id":"Q1209337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501138$AADE54CA-A224-4D1C-AFFB-9D103D76154A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0df31177ee32817b5a3d905ae0fa9efdb93373a","datavalue":{"value":{"entity-type":"item","numeric-id":1209338,"id":"Q1209338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501138$CF5EE677-F540-4A65-BAF7-5324E822D80B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6eacf4c507e5bfaa195367e34eb507d8ad8ab29b","datavalue":{"value":{"time":"+2000-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4501138$D5CC0891-0824-4C80-A94C-30C2C4637FE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501138$BC45C3B8-391E-4ED4-8344-A01DB2C5819F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501138$B9A209F8-A063-49F2-B039-F69BF1A051D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd6ac902eef19bfd5d33236ee47d0f5accb1ed9c","datavalue":{"value":"1499085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501138$80243E10-3E7F-4F51-8357-FC2F9443BAE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"346b8f169f25b2e4795e5ebc39fe1f3f2bb803a1","datavalue":{"value":"\\(L\\)-deducibility problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501138$928EFE83-4AEC-49F4-8F0E-000F26091A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf2c01d476a138785e103eb424bfd339013e84a","datavalue":{"value":"\\(L\\)-consistency problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501138$F21E34D2-EEFA-4425-830D-E51F2466FF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501138$1ED70AF6-3CB4-4264-8219-29FCC121B664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501138$0184DEDC-5345-4AD4-9311-BF71BC7AA586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501138$D960E1FC-8A79-45B7-8654-76CD0124CF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501138$31A1E422-9A34-4852-8F8B-855E6257D8B7","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":"Q4501138$53CD1AA6-9C02-48E2-AED6-EDC1E81F5677","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcf9bee88c51f2cfa1fd094339fd35821bdd450","datavalue":{"value":{"entity-type":"item","numeric-id":5292653,"id":"Q5292653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a2c12f9c9aa5c17d7f02f25c0b61a2f9f99578","datavalue":{"value":{"amount":"+0.8199760913848877","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":"Q4501138$E182A013-0FCF-438B-901C-5BC0A55BBBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a65dba3d324fd296089ad0561845cdead9cafce","datavalue":{"value":{"entity-type":"item","numeric-id":1709685,"id":"Q1709685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d61cf5498ae729837fe136dc3b111e0869abb5","datavalue":{"value":{"amount":"+0.8005286455154419","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":"Q4501138$BB96607B-A4D5-4509-914D-CE88FE7935C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e7e169433d0369f37f847f1d0ec7a8a26bcb86","datavalue":{"value":{"entity-type":"item","numeric-id":1329742,"id":"Q1329742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ab3b89db3dd87e5a4e600c4ecb0101f6c00e00","datavalue":{"value":{"amount":"+0.7870489954948425","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":"Q4501138$8F42B324-3EFF-474F-B499-30F25D53FAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32da014e27af5b8721b1d32334147627c3a21ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5483012,"id":"Q5483012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6cb3affe80722347668095f659fade0fd17df65","datavalue":{"value":{"amount":"+0.785382091999054","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":"Q4501138$3C3606C3-A604-4E68-B150-330CA3864B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b0f6a9d699a8a1a69eda02350a485b1a3bfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4723713,"id":"Q4723713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"950743d78874160fd5deb1eafa6157a30138e6da","datavalue":{"value":{"amount":"+0.7848688364028931","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":"Q4501138$E0DB757B-E613-4FAB-B613-051105B3ACE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4501138","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4501138"}}}}}