{"entities":{"Q4487294":{"pageid":6516893,"ns":120,"title":"Item:Q4487294","lastrevid":47479591,"modified":"2026-01-01T20:47:16Z","type":"item","id":"Q4487294","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463146"}},"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":"Q4487294$993AC3A3-A8D0-4AE1-BA7F-FA393E3E760B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a7ea3b178c631e0475d5f49930fc71294372416","datavalue":{"value":"0947.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487294$E376F40B-C3A5-453E-8F9F-1E1286CA8FF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf46b424f34bc75ff7efa1123c3981a48794242a","datavalue":{"value":{"entity-type":"item","numeric-id":189427,"id":"Q189427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487294$8CBE988C-0D78-46DC-A0ED-3F7D4014F7E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff549de5c6ce5b4225ab7822aed4075af58e4092","datavalue":{"value":{"time":"+2000-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4487294$2F99911E-502B-4C76-A19B-A05E2A9275B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487294$5B2541DB-9F9D-47EB-995A-A6163AB97942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487294$5AC11BD7-C2A3-4E04-A442-28DA1C6FBE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487294$46D329F9-75CA-40BE-83B3-8BB8DF6CCC21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bfd0a0dd9b2c6b5ab38ffaabe646a08d04f53a4","datavalue":{"value":"1463146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487294$D7F1409F-CE3C-4F45-939E-7ABB3575DA01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cca4ca7d3335c11541c4ac91a82c7f7a797d054d","datavalue":{"value":"propositional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487294$DEA7F613-B2DE-45F3-AA9D-DAB1CA70D16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e9ac14cb148e9e23cd03446edd0a9adc994bed","datavalue":{"value":"propositional formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487294$203052A3-47D3-4A9F-A92B-8091B2DA1C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daa52d13c94bba37993f8dda9ddbc7a0ac6ddb3b","datavalue":{"value":"formula algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487294$8DF28522-D84D-4C11-818B-CF8E1EABDDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68848aa5e026b2df54991835c84ba722a2a85e34","datavalue":{"value":"many-dimensional formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487294$0E1D608E-FDDA-4C44-965F-10A236365424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9c24b045db427f25c554e7903041e1af2c360d9","datavalue":{"value":"many-dimensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487294$68370C3C-2D34-4539-8C73-C4755E3B9046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b9a3d386426d9368439ab333fcccc5c62594844","datavalue":{"value":"consequence operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487294$749E2EE1-9EAF-4C96-BBC2-383674C80CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"360d233e246da55deec6b64c7cc6d864b424fcd4","datavalue":{"value":"deductive filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487294$5702151D-D5D5-42A6-8597-22139137C4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ad4efed7bd7fcc03254ec6f5c376ca702be7652","datavalue":{"value":"protoalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487294$B33EC15F-748E-41E9-AA7E-CB8BBE8C0AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c70019492f66aee549ef2dc333d10d3eda7d80","datavalue":{"value":"equivalential logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487294$D6B16936-7AFA-412B-B2CD-655CB9C5ED64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a7ff8992ba9db80cd4863d394c4bf5a2aaf43d2","datavalue":{"value":"full-replacement implication system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487294$106A0BF7-53E0-49D8-BD20-9A4838A1E90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94dac1fcccf2a4e53245b35e5a53b6f7941a17e0","datavalue":{"value":"unary-replacement implication system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487294$945B7130-D7BF-4662-BEA8-B15165586FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8ad7b4a16a315b0c233f2b62587f99d434bdae5","datavalue":{"value":"parameterized local deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487294$029DA695-B64E-44CF-A1E0-092EDB0FD356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561c16e0714e094ff2c5af4ca1e8102aa19533f2","datavalue":{"value":"syntactic correspondence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487294$A5F90000-01F0-4D74-927E-D3FF2FE64942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfeb258942ae192415c813749d6b5221b271ebd5","datavalue":{"value":"Leibniz operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487294$099BDBED-7A75-49AD-A8CB-DF951E04B8FF","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":"Q4487294$BD62C589-CBE7-4D84-896B-C144E95C59AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710819077a8cadbc0f87979f430633e99e7bb7bd","datavalue":{"value":{"entity-type":"item","numeric-id":2772908,"id":"Q2772908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc050e5cc2ee57d605ab8e6c1b119da1a9c1aed8","datavalue":{"value":{"amount":"+0.8268746137619019","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":"Q4487294$836FBD53-DB3B-4C55-88E6-A4E8E339F78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94aa3db42f342225f7081d796928ec2ccad9271d","datavalue":{"value":{"entity-type":"item","numeric-id":6364601,"id":"Q6364601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc050e5cc2ee57d605ab8e6c1b119da1a9c1aed8","datavalue":{"value":{"amount":"+0.8268746137619019","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":"Q4487294$B5505E00-B519-46CD-8E10-3932BC46F447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b40a2eca6ad41d23d50353bc5540f433ad9f7238","datavalue":{"value":{"entity-type":"item","numeric-id":4011710,"id":"Q4011710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f1b13b18ea9c7ce561746c7b0e189c42feb6f2","datavalue":{"value":{"amount":"+0.8076709508895874","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":"Q4487294$ECEBA68C-24D5-46FF-815B-032B45A813A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54af863b0d9b51edc5ec3998fadfa30fe38ec962","datavalue":{"value":{"entity-type":"item","numeric-id":1087867,"id":"Q1087867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7adca0128792094f72f9de0315725417f85bdc76","datavalue":{"value":{"amount":"+0.7976747155189514","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":"Q4487294$D30C3E58-1EA4-4E39-922E-8DC43F834E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"137a8239f83cc8458cb565e7f3067706e3b5c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":2433093,"id":"Q2433093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a083e76bff26e44c1ead8f05664bacaf5d132aa7","datavalue":{"value":{"amount":"+0.7734969854354858","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":"Q4487294$C80142BF-DB71-4E0F-96EA-4196AC538EDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4487294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4487294"}}}}}