{"entities":{"Q4295223":{"pageid":6324824,"ns":120,"title":"Item:Q4295223","lastrevid":47248621,"modified":"2026-01-01T03:15:54Z","type":"item","id":"Q4295223","labels":{"en":{"language":"en","value":"LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 584624"}},"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":"Q4295223$DF0547C6-707F-4A0D-8508-61344E412601","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9361cf915b0184b99ec5bf231539ef9590738c5","datavalue":{"value":{"text":"LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4295223$071BD424-7482-460E-9443-FAB61B3FDB8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97ce61d6aa9f05e66d426dc884475027f2f80147","datavalue":{"value":"0793.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295223$EED4BD9F-2818-4B80-88D9-F3267F6571BA","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":"Q4295223$35A7B28E-5B2A-4CCB-B554-89330D0A2690","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4295223$3CC10945-4E26-43D4-AB1A-1DC339D3694D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa19c9ba2bfb06d6b3228b43c9df9a36396a6316","datavalue":{"value":{"time":"+1994-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4295223$95193B51-E79A-4889-8320-A401E3CA410F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295223$69E54A69-850A-4E19-B0FB-E69392E3D224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295223$7BEEBCD2-888A-40D0-88C9-A3566ED4BCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295223$87717E84-3B77-4F39-8CA7-B69C4FB920F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19dcaf8a6cfafe161db7c0a7d28d7a4f8400d002","datavalue":{"value":"584624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295223$33570A80-3BB1-4CF1-9EA1-7B80AEF6B60B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"560a3f957d24c2b828f64d9e429289275b02a39a","datavalue":{"value":"untyped comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295223$04B046F9-2A78-4197-B79E-963E64911321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa0b36c654067f5b9d55aa3cb91310fc49184295","datavalue":{"value":"partial classifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295223$3F6039E2-8A58-4AC7-BAEA-0DDDD6A7AEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c87ea45498d3488d1078e53f6b9d18b59c28031","datavalue":{"value":"Myhill-Flagg hierarchy of implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295223$C7BE1051-A2F3-4FB5-90D0-6F4EF2408AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edd91c982e8597e70a8b6c33bdbee31f953b18e4","datavalue":{"value":"generalized recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295223$562BC9DE-186C-43D6-92E6-38265E791C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ee528b6cd8ad2202e134951cfe115987f77bdd9","datavalue":{"value":"asymmetric interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295223$4D84B6A1-6668-4C03-849C-A252A10FBE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0f59a216b0a095e21de1ee474b5078a7057ed17","datavalue":{"value":"type-free framework for property theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295223$937B7FBB-9637-4439-ABC0-30D5400971B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"265f2dfa9ad3aae3553a3967caf337242cf97343","datavalue":{"value":"first-order \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295223$FA43A56B-16C7-4022-9DAA-7648468026D6","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":"Q4295223$FD600552-73F9-40C0-9B02-9B2EED1C8116","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83ca69db88c91365bb59ca869e96f5022349fa82","datavalue":{"value":"https://doi.org/10.1002/malq.19920380109","type":"string"},"datatype":"url"},"type":"statement","id":"Q4295223$92F9CEDB-889E-4EAD-A1BB-5125435FB8E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f23073a1e9eaa154ac0e9cc5b02ece3506d9837","datavalue":{"value":"W1971623432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295223$B7863D34-D09D-4396-94A3-9BDFDD05D431","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f65c37eceae3a345a35dd49c9af9d09cdc7fd1d0","datavalue":{"value":"10.1002/MALQ.19920380109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295223$6184F910-982D-4A3E-985A-7347C7879CED","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":"ea37b2556fd9fc003a8a45b81d57e99f88d5b908","datavalue":{"value":{"amount":"+0.7296879291534424","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":"Q4295223$41FC1789-1585-4BB3-8F90-077E1CD66FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08c76cc0faaf15f2f804d5b115027189eec3d3c2","datavalue":{"value":{"entity-type":"item","numeric-id":5202637,"id":"Q5202637"},"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":"Q4295223$AFD44CC0-D684-4140-BF0B-84B7C74F26EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b667b9772a48f1dcbf91b2d87a9a7ff7ef70c16","datavalue":{"value":{"entity-type":"item","numeric-id":1121865,"id":"Q1121865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66218b2f466cad9ebc256dc0f16bc665470178df","datavalue":{"value":{"amount":"+0.7238227725028992","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":"Q4295223$381AC9D4-52AA-4A1E-8CFE-F8A888288B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0f02cebc808e932374de2516e417f772819449","datavalue":{"value":{"entity-type":"item","numeric-id":3691666,"id":"Q3691666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"110c92042ec584b439824dd5f07d68962e14596f","datavalue":{"value":{"amount":"+0.7222667932510376","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":"Q4295223$B77F3FE2-A513-4D0D-9B2D-7DD2998B8F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d4a9c1884bc13e7d668847c901668321a457e59","datavalue":{"value":{"entity-type":"item","numeric-id":910401,"id":"Q910401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e04f20e60f3189adb830112f262531d593a8e444","datavalue":{"value":{"amount":"+0.7214398980140686","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":"Q4295223$132CE2B6-C406-498C-8D36-95F67C393F19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4295223","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4295223"}}}}}