{"entities":{"Q4273485":{"pageid":6303086,"ns":120,"title":"Item:Q4273485","lastrevid":47214658,"modified":"2026-01-01T00:58:46Z","type":"item","id":"Q4273485","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 475244"}},"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":"Q4273485$0389B1C3-EF6D-40B2-BB8D-32485CC9C6B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce6fcd0672a843c6868e347e5107ba16e4e388cb","datavalue":{"value":"0783.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273485$22EEA16C-185F-4EEE-A766-7508C2FE6BB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb51d0f7231631be2c151ca0e23437f5ddb283b3","datavalue":{"value":{"entity-type":"item","numeric-id":687162,"id":"Q687162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4273485$E00A722E-7031-406E-8B9C-4980571982BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a626d589150434ddedb6dea454b02c574516fd1d","datavalue":{"value":{"time":"+1994-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4273485$19EE922E-3F94-41C3-83AF-58C87B7C34D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273485$F3D9BFC2-BE04-454B-A70A-C3415F98E58C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bd3b15a1c162e78c2d044bed5dbeae8f6e4950d","datavalue":{"value":"475244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273485$6CAECD8D-C8BD-4D61-8B72-96642DE87D3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e62409c7cdb028b2bd4c793c5d9a88cd84de2e2","datavalue":{"value":"finite universal algebra augmented with an inference operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273485$B3A90ACA-49F1-40CE-8E73-2C069F18DD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e8de1e6b3f42a53e3049f0719441a5312bf88f4","datavalue":{"value":"propositional resolution proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273485$C835BDEA-0D31-4F50-A0D0-855E848E7807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273485$2BBE15A5-4B53-4F92-B902-EFDA48D9F997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e10f5a2cc3f7805a8d487090b5a499f1a3fbcd","datavalue":{"value":"structural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273485$61ABE13A-850E-4F43-8FCF-A9388EA79E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a78bcae4d423bafe153d50ab7e964b16ff0a196","datavalue":{"value":"strongly finite logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273485$E8835792-B1A5-46E6-986D-786210022DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f7fe19f725521885c5a40b8a361664ab1a2991","datavalue":{"value":"efficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273485$143886AF-1802-4A01-BC2C-240A0E58033C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cf22f6ba29845d61fbd63f1f871d9f5b363937","datavalue":{"value":"refutational approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273485$F5D97AB2-D1B3-4BE3-BDD6-504E17457984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bdacfc00f070fa477355a17c5232246f664f3d","datavalue":{"value":"closure operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273485$B1629DE0-6782-4BDD-9015-632A1128EF69","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":"Q4273485$23660793-B45A-47D2-B3D3-52979A1226B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9cc9840145fafc0b23cf70f78d0ed48128753f7","datavalue":{"value":{"entity-type":"item","numeric-id":4881605,"id":"Q4881605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b78b2a00583f5afdf80350f0d807d4782f3cb97","datavalue":{"value":{"amount":"+0.8586593866348267","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":"Q4273485$0C54D7AA-636C-4BF3-95A2-7BB01EEE0922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdec01f3c91c07e4dbdf899aff373f49d6439131","datavalue":{"value":{"entity-type":"item","numeric-id":1187026,"id":"Q1187026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b78b2a00583f5afdf80350f0d807d4782f3cb97","datavalue":{"value":{"amount":"+0.8586593866348267","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":"Q4273485$4CF4FE9C-8C4D-4D77-9909-E6E216F0BA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09766ec6d0256323a14dfa25ccc29b54f091194e","datavalue":{"value":{"entity-type":"item","numeric-id":3485886,"id":"Q3485886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9ab44aa2b90a13c41819aea3d7ddbf19d36611","datavalue":{"value":{"amount":"+0.8509312272071838","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":"Q4273485$E3A91199-663C-40E2-ACF3-46F4E9344937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089712b1aefb9a812f71c9db1efab06ef62497b2","datavalue":{"value":{"entity-type":"item","numeric-id":687163,"id":"Q687163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"416db4a7a8c0346737fdfd2fcb8dcb149b0bab1c","datavalue":{"value":{"amount":"+0.8245376348495483","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":"Q4273485$7ABD0055-7989-4009-A802-33A153E12B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69cbf2e865577743980df66dcd0e2ffe57c0aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4287516,"id":"Q4287516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"416db4a7a8c0346737fdfd2fcb8dcb149b0bab1c","datavalue":{"value":{"amount":"+0.8245376348495483","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":"Q4273485$0AF1E29F-D0F5-42AD-BBC9-43A7E9B5D3AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4273485","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4273485"}}}}}