{"entities":{"Q5202637":{"pageid":7232208,"ns":120,"title":"Item:Q5202637","lastrevid":49483057,"modified":"2026-01-07T06:09:05Z","type":"item","id":"Q5202637","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4195909"}},"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":"Q5202637$3BEA9856-C13A-4254-A66D-7F8AB88A6225","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69988b67b299962eedae971037e43ac4edc871c3","datavalue":{"value":"0725.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202637$BA0E9AA1-0978-4515-A80F-8F09B23E6C92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56da7d158017ef8b0b4d01b2f110c77e1c03452f","datavalue":{"value":{"entity-type":"item","numeric-id":588330,"id":"Q588330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202637$B804257C-B25D-4FAE-9D56-99D8FE75CAE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5202637$CAE3C225-56FF-4874-9ACD-04611BABF5DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202637$56EEBA95-1C63-4E5F-8825-EC860CB9385B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c067e5220664354d9976f555e79fe6d1041d1738","datavalue":{"value":"4195909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202637$5638FA56-DEC5-402A-87B1-63B75836F911","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5cb4dbc2d3ec2167bb6401b45c21db5c101247b","datavalue":{"value":"theory of partial properties and total operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202637$EE289FDD-E6B9-4071-BA95-8B30EBA98271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202637$E980CC28-C5F5-40BF-9E89-7E25478F2A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daa1fccb8704f7206b7fafeeb7601b433d8f273c","datavalue":{"value":"3- valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202637$48C893E3-7CDF-4C12-9711-A430404DC0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66da3e102705b2e28c05fcc723bed14c47e60218","datavalue":{"value":"intensional equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202637$D328148D-EAF7-4536-B84D-C333245C669D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c3a9ddbdd141ec04cc73f684daa003c86a0140","datavalue":{"value":"type-free \\(\\lambda \\) - calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202637$E618ED47-25EF-43ED-8B33-C246E0C6A215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05720d8b35406692221454f8901bd3f5ef783484","datavalue":{"value":"abstraction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202637$82638EB8-BB35-4265-BB53-3FB135F13C78","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":"Q5202637$4F52D75E-AD55-4F17-83DF-C4986DE336A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8586382f7438a8371cc91965106da6ea1efc8a3","datavalue":{"value":{"entity-type":"item","numeric-id":3765745,"id":"Q3765745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b1496d49b3f123ec7e0d1c4d88af3c183fec55","datavalue":{"value":{"amount":"+0.7740421295166016","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":"Q5202637$618DC16D-2048-4827-9438-8B3600FFCC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5027d480fb7063fb5b514890b24d79962c901c","datavalue":{"value":{"entity-type":"item","numeric-id":4295223,"id":"Q4295223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5f7cfff9e2b67e588d2cdb1c4f89a10a96239d","datavalue":{"value":{"amount":"+0.7382380366325378","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":"Q5202637$D710A29E-C89B-4354-BC61-D77A5E7FFCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"420a6ae8dee89c193affb196b9c7d88f00e51b13","datavalue":{"value":{"entity-type":"item","numeric-id":3160572,"id":"Q3160572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b789819b357d247544cca13c258eeecaeccd184b","datavalue":{"value":{"amount":"+0.7313715815544128","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":"Q5202637$80D30A57-D544-4E6A-BC49-E730EE08EBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f5d5ce965bbb121f758d66451ef71a810a705b5","datavalue":{"value":{"entity-type":"item","numeric-id":3778714,"id":"Q3778714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e3a226dbf389ccf64f5aaf0f818f293a7ecb08","datavalue":{"value":{"amount":"+0.7277752161026001","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":"Q5202637$1D582DF7-759C-4F39-9390-299793B915D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee786fa76014d2d15cc4ff4a3e72953ca2421af","datavalue":{"value":{"entity-type":"item","numeric-id":3800002,"id":"Q3800002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b71950219c5300a95dc114424ea99fa2aebf466","datavalue":{"value":{"amount":"+0.7238332033157349","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":"Q5202637$53863396-8CD5-453B-887C-84CF36CEACE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5202637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5202637"}}}}}