{"entities":{"Q6560184":{"pageid":14171339,"ns":120,"title":"Item:Q6560184","lastrevid":55692460,"modified":"2026-02-17T21:07:00Z","type":"item","id":"Q6560184","labels":{"en":{"language":"en","value":"Positive deduction modulo regular theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869540"}},"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":"Q6560184$A3F83FD2-545F-46AB-A59D-4DD498A0FF67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5621283d22bb9cb81d07db954a887a0c28ae1086","datavalue":{"value":{"text":"Positive deduction modulo regular theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560184$55430ED3-E5D0-47C0-B3FF-39F2E015291B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f30fcd0efd91549b3de45e999f5f9df5275ae33","datavalue":{"value":"1540.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560184$D041EDD2-19E6-4855-9875-0E2190640974","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6788de532a3670b2925213c022d59c74ae42bbda","datavalue":{"value":"10.1007/3-540-61377-3_54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560184$13EA44A7-94E1-4F2C-ACDA-76CAC9B5FEFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6859fc6fdda561ce847e5098101dd47b5d4060af","datavalue":{"value":{"entity-type":"item","numeric-id":1340507,"id":"Q1340507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$97FC3AD6-E5D8-4CDC-A6A8-8C4DE18A56A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560184$FFAF16AA-BE25-40BC-89BD-AE851B7F9BD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560184$8B9E651C-1CB0-4843-A63B-09FCA2A2E5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560184$10F37BB2-084B-4FAA-9B68-296A0F190D2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72e2c93a82de42dafc984990494637fc03bc3809","datavalue":{"value":"7869540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560184$CF3FAA93-BCB4-4B55-8059-D38F4C777901","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":"Q6560184$96695982-9493-478D-9188-D875C54E2B9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3455e3f4a94a330dba477e08dabbd126fc6889f9","datavalue":{"value":{"entity-type":"item","numeric-id":1262752,"id":"Q1262752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$194BD033-7255-4707-8188-89D6C2D9D043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e4d5d206133d3398c50fe5451aaece0e817a40","datavalue":{"value":{"entity-type":"item","numeric-id":6488549,"id":"Q6488549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$1481BBA7-25EC-4BE1-8D55-A102F95AC020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad7c23e8d7895495a33ef0a244c1d5f7a7d7e16","datavalue":{"value":{"entity-type":"item","numeric-id":1899908,"id":"Q1899908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$BAC3588E-5C8C-4A0A-A456-3682D0256D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086055f2f54b4dd7704b82205b0c9bfef7cb805e","datavalue":{"value":{"entity-type":"item","numeric-id":3696500,"id":"Q3696500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$211A2C4C-4912-493B-B0FF-377170F896EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fb53dc30cdc46111c93a6e7de143f2e9b39160","datavalue":{"value":{"entity-type":"item","numeric-id":4099229,"id":"Q4099229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$C3138A4E-954D-4DCB-9964-9C9D855ADE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d518e39123164f37241a70df4090b96f31140d61","datavalue":{"value":{"entity-type":"item","numeric-id":5055809,"id":"Q5055809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$40D1974B-093D-4CE1-AB77-102C19302208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc614fe187bd0295ec729cf32cb3675e34b7b37","datavalue":{"value":{"entity-type":"item","numeric-id":4302847,"id":"Q4302847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$881E9633-7A6E-40AC-AE7B-B0A07F5F62E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$05592A6E-B77D-4E7B-8BA6-9A6F14308812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5939193d2c734f0c40871d2dae732bc5d8448c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3673152,"id":"Q3673152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$B6845E03-BB5D-43D4-A62F-73FD346D609C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$2DD5F74E-9A43-4734-B43B-DBC53DB8DFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$61FA42AD-2850-4846-B36E-A0662234C078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$741CD490-B635-44BD-947D-9EBB4DCD9D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcec348f8213ea4319b1f4434fee19428b297bfa","datavalue":{"value":{"entity-type":"item","numeric-id":5055808,"id":"Q5055808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$1371F947-BD2F-4060-9CB8-783E61973573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebefb56013d1eec876e07a6ceb0c59107285c937","datavalue":{"value":{"entity-type":"item","numeric-id":757094,"id":"Q757094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$84A5B0CA-CBB8-409E-A0F0-9D9DDC6E3F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed691107bb85509409a9d9ff84428d767332be2","datavalue":{"value":{"entity-type":"item","numeric-id":1340508,"id":"Q1340508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$746B9BDE-AE66-4797-A021-877A33AAFFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1669261077901413d76dc0f7072dfdae93141a3b","datavalue":{"value":{"entity-type":"item","numeric-id":3912070,"id":"Q3912070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$66D89064-E943-4EE8-A37F-2D9938F142CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0e2e21940719d5d9e0a6f9eda9f87221d6c71a","datavalue":{"value":{"entity-type":"item","numeric-id":5210795,"id":"Q5210795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560184$A502D1D0-32F6-4447-8CDC-42A546C26621","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a629f668f1d2f7c136d043dc6e41f13b903ac127","datavalue":{"value":{"entity-type":"item","numeric-id":4264723,"id":"Q4264723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe10c5253af5021ff41e9e25a6cda403fd949b83","datavalue":{"value":{"amount":"+0.7958365678787231","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":"Q6560184$7668794B-2125-4DBC-8555-50106C47C8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4564dcbe209d24a2f509e63518773f769d6b6c9e","datavalue":{"value":{"entity-type":"item","numeric-id":4524792,"id":"Q4524792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3acda676aac31e25c8dab4a9cea8a6e1b88771c8","datavalue":{"value":{"amount":"+0.7912604212760925","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":"Q6560184$B833E41D-FB82-4360-89DD-0AED24E4009F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663b4e5a63cb4379d9ebb8567a8fb5f4ba79e6ca","datavalue":{"value":{"entity-type":"item","numeric-id":757094,"id":"Q757094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f59dcf9dcfbbd2f5dcc368daf3280bfadecdd6b","datavalue":{"value":{"amount":"+0.7869199514389038","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":"Q6560184$C568383F-5CA1-4D6E-9A3A-5C6B349E6A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925afcd37d501359acb17fbde86e53e5f3c5cba9","datavalue":{"value":{"entity-type":"item","numeric-id":2055853,"id":"Q2055853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3361fcc8ff4e88066bde83b9163b03d396dca86","datavalue":{"value":{"amount":"+0.7794851660728455","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":"Q6560184$A2450B59-959B-4EC3-B4F3-E056AB410C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b3fe477476f135c287bd61e5c1f45c3fb2bec7","datavalue":{"value":{"entity-type":"item","numeric-id":5387846,"id":"Q5387846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b8da0b87ac38e8c6f231b7a69608ef5f572aaa8","datavalue":{"value":{"amount":"+0.777008593082428","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":"Q6560184$51E52709-4D07-4298-B887-56D85975EADA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560184","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560184"}}}}}