{"entities":{"Q4600494":{"pageid":6630077,"ns":120,"title":"Item:Q4600494","lastrevid":89875985,"modified":"2026-06-04T18:30:27Z","type":"item","id":"Q4600494","labels":{"en":{"language":"en","value":"Generating implications from one-variable functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6824586"}},"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":"Q4600494$B0C6437D-D772-45C5-9F48-7D1F03D7E7CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e1ec62feeaab0e530a9bd59b068a8462dad73f6","datavalue":{"value":{"text":"Generating Implications from One-Variable Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4600494$8F31416C-706A-4829-92C6-51928ECF2C6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95062efbc48971f1c833b135086d63ae982d6407","datavalue":{"value":"1377.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600494$04D2C0D0-4979-446C-974F-1EC999BA802F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab1a3765f5a9aabee763bf7af5c11260e3fc8d2e","datavalue":{"value":"10.1142/S0218488515500427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600494$C2FC87D6-E50A-46BF-906A-83EAA66C8F64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5114f61f8b2c5f2e53dfe78c0b57c1519a8e9013","datavalue":{"value":{"entity-type":"item","numeric-id":279331,"id":"Q279331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600494$1EBCB15F-E30F-4EB0-BE09-7BB28746CE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9d39a59d3d6d8d6ba6a01cc6e070e9c1d34edba","datavalue":{"value":{"entity-type":"item","numeric-id":425532,"id":"Q425532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600494$85764390-C877-4694-827C-EE2B623C7948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"850c8eca7e69c0344d8e4a311cd5b95859a266f8","datavalue":{"value":{"entity-type":"item","numeric-id":419030,"id":"Q419030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600494$5066939E-A232-4294-885F-8A66BA567057","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4360b4e30351d9b5ea4ccf9719e2a288adba69da","datavalue":{"value":{"entity-type":"item","numeric-id":2701902,"id":"Q2701902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4600494$783DE8B0-E0BC-4F10-906F-E841BABB0A25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"256848ce0dfd32b0c1f66d8f44fb1041feec461a","datavalue":{"value":{"time":"+2018-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4600494$C28A45B2-FD2B-432D-A6DB-F40425F66822","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600494$D4A43189-2CBB-4619-A6DA-AB412CE6F2B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54e68570c749ddf4731c9dae7e3e97d024973845","datavalue":{"value":"6824586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4600494$B5A4A4DF-6D62-44AF-8487-472EC418476F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f8f6ae031c657632efe2b835e8effb2a7149b85","datavalue":{"value":"fuzzy connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600494$C588E79A-AD81-442C-B93D-AEA0F61CCD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600494$62BD4B13-75F4-4FA5-9205-8563B0F51C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5dfad9886aac77d5cca223ef527365821c8e87d","datavalue":{"value":"left neutrality property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600494$2E262F14-0B2E-4FF7-84BE-421377F7FDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d2e2a2a89fa5eb41241524c67dfa537667a31ac","datavalue":{"value":"identity principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600494$3A4581D2-5497-4CED-8F7B-8E0C38BD6258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9352352319ab671495fea061ab2ef39834f243d8","datavalue":{"value":"ordering principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600494$D1692EC5-D792-4D00-8DC1-70EB697899DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9aa43cf86f5561595374d304a4000c6bbd0136f","datavalue":{"value":"law of contraposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600494$73A55B95-95E6-4AE3-A014-128C3141F7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7588184bca4841d3de0c77f361e07285c4f45d52","datavalue":{"value":"modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600494$799EAA9C-CCDF-4822-9786-FEC2E47D3715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf38ce69bbe2dead1ef04b47ef90a49a0f625fc9","datavalue":{"value":"modus tollens","type":"string"},"datatype":"string"},"type":"statement","id":"Q4600494$443A5049-B10F-48B6-A923-E23713240D52","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":"Q4600494$FD4F1FDB-0023-4A9C-8928-ED57BF46F172","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bbb87f88624dc36bed42268cdcd8b8cd6e05b3","datavalue":{"value":{"entity-type":"item","numeric-id":5166237,"id":"Q5166237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2354f55ed9beabec81fec544f030fd9066d897a4","datavalue":{"value":{"amount":"+0.8707966208457947","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":"Q4600494$28564BC4-26A5-40B3-AA2D-900FB3969ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fffee603407851555950058dd7ab93be920f11c","datavalue":{"value":{"entity-type":"item","numeric-id":2886928,"id":"Q2886928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1702bf6d9dcd5913afd7818b9029448b05d16a","datavalue":{"value":{"amount":"+0.8598244190216064","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":"Q4600494$02E01F8C-7F96-42B2-AC56-21216C15D3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e74778a71f9cd4364b9a3e2595144579a493af85","datavalue":{"value":{"entity-type":"item","numeric-id":2375343,"id":"Q2375343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ed469dd4008b9aac744967084495547fbdf9d7","datavalue":{"value":{"amount":"+0.8414459228515625","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":"Q4600494$48C6BA49-F055-430C-94C9-B3A8A4A40D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d3e2c3859368df5f4f2e8b8210bda65d5c2914","datavalue":{"value":{"entity-type":"item","numeric-id":3143188,"id":"Q3143188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9752ef0ee1b162ea94b3ad5c4bf536269617aa5f","datavalue":{"value":{"amount":"+0.8392572402954102","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":"Q4600494$FB6A1303-7702-4148-8A0D-4C0C8ED933BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621517167fdf82079671427c3ba2eb6faa7f3bb1","datavalue":{"value":{"entity-type":"item","numeric-id":903596,"id":"Q903596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856481cd42045f377856baa4f1057a83bbbcc232","datavalue":{"value":{"amount":"+0.8389223217964172","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":"Q4600494$3CB41FA4-3406-4DB9-A941-1F6C9FFBEE92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating implications from one-variable functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generating_implications_from_one-variable_functions"}}}}}