{"entities":{"Q4273422":{"pageid":6303023,"ns":120,"title":"Item:Q4273422","lastrevid":47214550,"modified":"2026-01-01T00:58:44Z","type":"item","id":"Q4273422","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 475185"}},"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":"Q4273422$3EE1DB78-0BFB-4640-833E-AE69B0DD8BB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89cbd408951084aa4919bf2c0ef6376b0bc6ae77","datavalue":{"value":"0794.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273422$0858BFF7-C625-40B2-8562-0DA5330649DB","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":"Q4273422$5027E854-35A3-4190-92C4-9B1EA70AC92F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273422$19B39CA8-1B7A-4A69-B11E-4192055047D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273422$639BE36E-9B26-4263-A301-6B7BE6A3672B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273422$6203D416-27C7-4B04-BDDC-DAE0EFAC7DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273422$B6494E94-9BC9-437C-BCD4-EA82EC520424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273422$B50B12F2-5448-430A-B047-6ECF480C4EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273422$22266D62-AF70-486E-B64A-70B9C6F4B443","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"307479210872fa7a1a830e288cdbabfb5300736f","datavalue":{"value":"475185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4273422$D124E7C2-D5B2-4E8E-943F-5E1FE7F17EE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273422$7D0FB7B3-588F-40CD-B256-6745B2931A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273422$FD1FF35E-45B6-4677-8C63-161358D9E6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273422$01065184-792B-4C9C-8C64-777A02857471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007178e48802a62bc4654c927dc92fdb00a13725","datavalue":{"value":"BCK logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273422$051F4107-36E4-45F1-9403-6181FF7498E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273422$D6C8B2A1-7186-4ADA-83BA-56D2D5D86160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c81757b4fecacc47a803ca52689b6eab4993876f","datavalue":{"value":"implicational calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273422$E3FA586B-B785-4B1A-8DF8-53D7A0B1CEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17fb308078ee73f2c22e3ee49b062e69efd4ae5d","datavalue":{"value":"polyadic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273422$7DE4B355-D7B8-4872-9E4F-ADA110F0FEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c11e9062c022003623eb8571734654b4f5601ff","datavalue":{"value":"functional representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4273422$6267494E-5BCB-41DE-87B1-EB6A02003D4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a53629355a87f6eb2c4dceb6664166a14249140a","datavalue":{"value":{"entity-type":"item","numeric-id":673382,"id":"Q673382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4273422$0D794DA0-C60A-4EAD-A559-280690A1D43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e73a6f6ccb7e8687faa022e777bcbb77b1f201","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4273422$DF350150-7B86-42E5-800F-D1EF9B9428E9","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":"Q4273422$4443333E-98B9-48B5-9432-17FD09E78938","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03453ffa7222fc43c9194c1fd055a18e6f3d0d2c","datavalue":{"value":{"entity-type":"item","numeric-id":5389291,"id":"Q5389291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec12556c3fe16639ac3f6bc7d4c642916d48d1d","datavalue":{"value":{"amount":"+0.7704647779464722","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":"Q4273422$33611399-229F-41E2-86FB-D8122FB4242B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc7dfdfe19e18cce818f5243bd6be1be41847c56","datavalue":{"value":{"entity-type":"item","numeric-id":2583600,"id":"Q2583600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd59c12bb809b93d83766aa67ca28d74f86940cd","datavalue":{"value":{"amount":"+0.762993335723877","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":"Q4273422$68B1CBBF-4BAD-469D-9F15-0751332F4427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c356c2493e92b86795681c30deb6ca3066d993d5","datavalue":{"value":{"entity-type":"item","numeric-id":1318838,"id":"Q1318838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489d18fc25f79199f167c3f45d66817242a55172","datavalue":{"value":{"amount":"+0.7594594955444336","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":"Q4273422$72913869-0939-490C-9F87-877810A923B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"411bd5bcef84d3f9901b03a4abafc4f726cae165","datavalue":{"value":{"entity-type":"item","numeric-id":2743646,"id":"Q2743646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789da41d69564c55f94739e70af86a4ca44d05c6","datavalue":{"value":{"amount":"+0.7591861486434937","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":"Q4273422$31B0A1D3-0EBA-44F3-AED4-CB53F91291A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcad3da10aa83e9b1f2de655fc4466ad33f66d9f","datavalue":{"value":{"entity-type":"item","numeric-id":5749292,"id":"Q5749292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e8ad02bade939f266ba68303a992808c55e670","datavalue":{"value":{"amount":"+0.7591858506202698","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":"Q4273422$0717F860-1448-4ABE-92B1-83C3D31110DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4273422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4273422"}}}}}