{"entities":{"Q2810725":{"pageid":2821463,"ns":120,"title":"Item:Q2810725","lastrevid":52547285,"modified":"2026-01-22T22:41:26Z","type":"item","id":"Q2810725","labels":{"en":{"language":"en","value":"A few remarks on the implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589361"}},"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":"Q2810725$22CAD151-FFC4-407F-8404-1C497CDB1649","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d75f607506ded3ce88b53b62fe458a1a9536717","datavalue":{"value":"1337.97002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810725$15F1A150-35A3-40FD-887F-EEC611FCADEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64557ad0c57acade21ad76e0753edef0d2cb2dbf","datavalue":{"value":{"entity-type":"item","numeric-id":2810724,"id":"Q2810724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810725$7E342DD1-9A91-4211-910E-EB5BF31FF5CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d066e43a0d378deda532184f86b234184fe2275a","datavalue":{"value":{"time":"+2016-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2810725$5BDEE5CE-7C53-49D8-8EAF-76F62972AF92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cebe8d4122be7614b406d415cd75649f85958d8c","datavalue":{"value":"97E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810725$45ABDBB8-21CC-46D5-BE49-43F1CECF7196","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"519865a6af55b9b8f3d252801f92b459e195a6b5","datavalue":{"value":"6589361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810725$C3AFC9A4-78AE-41CF-B8F0-971B3050A118","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810725$14F32F71-B3E5-4081-96F0-B33A05C0C299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810725$39309E76-C676-4380-825B-633AB0CCE831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810725$E062396D-2262-449E-AD6E-7F92F577F852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"336df58daadcda123d479e37ac46cd65c7cd55e1","datavalue":{"value":"prenex normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810725$BC015F61-3AC6-4046-82C5-CDDC41A7D255","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":"Q2810725$B62EB558-BF7A-4810-AA7D-3E7575EC0A75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f5a3822189191e19acba805437a37324ff45300","datavalue":{"value":{"text":"A few remarks on the implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810725$DDD98DA6-CF89-416F-BB59-3C1F52781B18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"330be16b464f6c2875276c9d76f8a6c422898ef3","datavalue":{"value":{"entity-type":"item","numeric-id":6769967,"id":"Q6769967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810725$9E2B8849-3FB3-48BF-95A1-C34391640D61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ba61a6fb9d4aaace83a69f00b86b2a285b4da6","datavalue":{"value":{"entity-type":"item","numeric-id":4273480,"id":"Q4273480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecca0b1e542a2972dd04226a503b56e7fb0e8d85","datavalue":{"value":{"amount":"+0.710171639919281","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":"Q2810725$17B0E350-E656-410C-B84F-56828D531531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3feb39f9e3b7875a839bc81d035cbd0654d416fe","datavalue":{"value":{"entity-type":"item","numeric-id":4278024,"id":"Q4278024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b3741aa07e0668e5e74d339da8e5f1b938c88a","datavalue":{"value":{"amount":"+0.7051374912261963","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":"Q2810725$F875E4D0-5D6E-43A4-AB91-0B5B15412DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f34cdafe97f1c14f2b1b14c731d95dfc4e5f21ae","datavalue":{"value":{"entity-type":"item","numeric-id":4925910,"id":"Q4925910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11deedc9219505f570d91ecc4b586154ffcac7ea","datavalue":{"value":{"amount":"+0.6917508840560913","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":"Q2810725$E68C7E71-61BF-4379-A8D7-8FD4A2BE2C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ec4ca93d399a5b0188cfa694645d02677e2d74","datavalue":{"value":{"entity-type":"item","numeric-id":4583351,"id":"Q4583351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480f3648c1ad1dd636b864036665d1a0f33db54f","datavalue":{"value":{"amount":"+0.6916019916534424","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":"Q2810725$90DB05B6-08E7-4E51-989A-9067F69F1A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f97e3d740b757bacb987c4f4dc0a3dfb7a123d","datavalue":{"value":{"entity-type":"item","numeric-id":1119616,"id":"Q1119616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef98d42c9e7bb6256b909e568c84b51cc2bb39d","datavalue":{"value":{"amount":"+0.683541476726532","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":"Q2810725$7722BF0C-946E-4C47-AFC2-9F7D2FE1FD0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2810725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2810725"}}}}}