{"entities":{"Q5249254":{"pageid":7278822,"ns":120,"title":"Item:Q5249254","lastrevid":41703656,"modified":"2025-05-07T09:29:40Z","type":"item","id":"Q5249254","labels":{"en":{"language":"en","value":"CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6432482"}},"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":"Q5249254$72952B22-3431-466D-B223-626E05518879","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80cd4ad4a3360cfde501e7859f5113ee3a081f04","datavalue":{"value":{"text":"CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5249254$0CBD28A6-B04A-49FB-8B39-9B044E3EAACC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a5a2e810c80edb24c5dc059d154bbcfdd6e8520","datavalue":{"value":"1321.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249254$859DD938-027E-4B01-AE9B-6B33BA706740","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd18d77f92cc0ac5e654f22c76649e5a7a953aaf","datavalue":{"value":"10.1142/S012905410100045X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249254$B03C1E75-AAEA-4444-8FDA-0B3ABF139A61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1266d5b12dd52276642e6566ddda642b92e88574","datavalue":{"value":{"entity-type":"item","numeric-id":740484,"id":"Q740484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249254$9E12CBA4-D2B2-4300-A495-D3A2FDC2BDF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249254$F716298F-B29B-4B5B-90B8-89A503CDB574","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22703aaabf2a7c3eda53a43e7dac0317268998e3","datavalue":{"value":{"time":"+2015-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5249254$5599453E-6695-489E-B6E3-21798FBD61AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249254$88224C18-5C03-4B75-9C05-005D6EE39080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249254$5947EB83-247F-48CD-88E0-431F9D90B1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249254$2FE83821-987C-4185-AAAF-1C2AA5B42421","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1c454e83df23bfb3b4958f366a49e6a2f7096aa","datavalue":{"value":"6432482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249254$E6E81CE6-A2BC-4448-9F72-4E0DE101E076","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"226a26eede641240926e849457ec19b837c78bc5","datavalue":{"value":"strong normalizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249254$35BA3A83-E117-4268-92C6-5AE734D19692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1aa740a4beeb840b770a0d217315e5c9eafe332","datavalue":{"value":"syntactic property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249254$A8DF3E91-15C8-4CEE-BD4A-1D61114319BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bcee3f81e6741695ab88a0cf63a03383d19305a","datavalue":{"value":"second-order \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249254$61CC083F-B7CB-4A07-AED6-C372DDCCC757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97f81355f0c6f6abf3bf0a68bdefa276bdbc99f0","datavalue":{"value":"non-extensional model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249254$DCF64BF3-A550-4B4F-BE06-5BC1301A8CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a51da2905bdba578a7e4ae07513608630cb896","datavalue":{"value":"category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249254$2D56EBDA-1979-4F12-BFA4-A9F250BC4274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e8bee0bd41d10e4a30711536c9c3cf55d45c05","datavalue":{"value":"semi-adjointness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5249254$AD5B2DA2-6571-4C54-B3BD-CA9CD55F7595","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":"Q5249254$A6095CFB-BB08-4066-8C19-F2F75F36F9ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3375fe95d64eb1965b010106ac93d2982d639c","datavalue":{"value":{"entity-type":"item","numeric-id":751294,"id":"Q751294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249254$AEDF5CB3-DFC6-4BF0-BE76-818FF843D59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d1a9251d88d87e3308844dfd876a1c96f0f056","datavalue":{"value":{"entity-type":"item","numeric-id":4236219,"id":"Q4236219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249254$A25893D2-5BBB-430D-A4DC-F8DA20F5EBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041d27619ddd593aca8298cbe17a548a65e007bf","datavalue":{"value":{"entity-type":"item","numeric-id":1075312,"id":"Q1075312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249254$7BF2E4CA-6949-40D3-B1C1-6A88E1008D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1cf565aa8dc0e0d93531b527999151dea02c3f1","datavalue":{"value":{"entity-type":"item","numeric-id":4006235,"id":"Q4006235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249254$B01C2DA1-974F-47C1-81A8-41EB04045B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7212cbd21b262d16bcb7ffda7fc76bc50e112b40","datavalue":{"value":{"entity-type":"item","numeric-id":1208414,"id":"Q1208414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249254$D3DA5E7B-4F02-4203-A5C4-35F0E2FF89E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5249254$AAFDB794-285F-4851-A85E-B184289BD8C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fda912f0d7fee958fb821b93d88d1524c806160","datavalue":{"value":"https://doi.org/10.1142/s012905410100045x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5249254$679E32ED-02D9-4ED9-9AC7-D1E95E03EFAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0e5f39b6d32417ac806e6a2caf14cc770edec9e","datavalue":{"value":"W2057820817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5249254$49F00828-A400-4310-8159-CE6FE74DB4AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41a8806235c720e03496a43a4cbd5126d7252eb1","datavalue":{"value":{"entity-type":"item","numeric-id":4333469,"id":"Q4333469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b660d849573cc73857f9b3bd0373b4349980e0","datavalue":{"value":{"amount":"+0.91640115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249254$7F16F278-F8A9-47F3-A46B-EEE2A8FB6794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe907f38d24c7660b0fce3a33c6567721bd55b8","datavalue":{"value":{"entity-type":"item","numeric-id":5221607,"id":"Q5221607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eefe9fd97b0d9d95f1c23a6fa2075ff9890ee475","datavalue":{"value":{"amount":"+0.89545816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249254$320EBA5D-E120-45BE-B445-6155A1B84913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff59c43306c4103fd0eefe22e3482c294986c05","datavalue":{"value":{"entity-type":"item","numeric-id":5187879,"id":"Q5187879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1dcec8b54a5ab9af7403b65ae3fa699e6ca0ad","datavalue":{"value":{"amount":"+0.89515424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249254$29D19322-C054-4B9B-AF4E-5CD67C00DCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d4d542908a4b6a8fdf36e57cad1cad9910df0d","datavalue":{"value":{"entity-type":"item","numeric-id":3077284,"id":"Q3077284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26ca81e436f2f9262b45dc1b9c173f78a00ce1ed","datavalue":{"value":{"amount":"+0.8938031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249254$95A5712D-5814-4CE9-B4F0-24D4828E47B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af2ca9486e7af7593be6dfa8060c3c2398be70a5","datavalue":{"value":{"entity-type":"item","numeric-id":3546078,"id":"Q3546078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6d656c0b071d5011e98f98c38a36a69f11f69a","datavalue":{"value":{"amount":"+0.8916669","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249254$4D905A3D-4B86-4705-9179-F3893CB6FFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656736a0c8119672175ff38c7b9d1d8d6ce696b2","datavalue":{"value":{"entity-type":"item","numeric-id":5150148,"id":"Q5150148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca36c5a4c2cc6b88a5757e207e8666aee3ddc5cf","datavalue":{"value":{"amount":"+0.88913304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249254$27220040-E0D0-40C5-9B5F-0F6E0424B83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be1913b0f1778011ea016f74a5c89f595d54626d","datavalue":{"value":{"entity-type":"item","numeric-id":4222849,"id":"Q4222849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b651152259a2f9a8d57544e903c47042057705ee","datavalue":{"value":{"amount":"+0.88112766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249254$9A4607A7-7640-4B6E-806C-2DD9EE1B4AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f05af94c6ed204c49e67b6a70df2977c766b3c7","datavalue":{"value":{"entity-type":"item","numeric-id":3726090,"id":"Q3726090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa3850378523977e9d4321e90572e74fdc4ac77","datavalue":{"value":{"amount":"+0.88101196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249254$D2D7D991-04C7-4855-BC4B-216C149F5720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d08c7d25df345937a05ff90c5152315ac7a03ed","datavalue":{"value":{"entity-type":"item","numeric-id":4647559,"id":"Q4647559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"120ab863ec71a7a2836934cca3bf43540cf6c829","datavalue":{"value":{"amount":"+0.8806251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249254$6181307E-C8A9-4A0E-AEC7-D485F8760F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aebf838e3058a83e19757bd49c183a8933d443b","datavalue":{"value":{"entity-type":"item","numeric-id":4733863,"id":"Q4733863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f2830daf116ca1c9e52f67494d22def2d0a6fb","datavalue":{"value":{"amount":"+0.8788932","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5249254$B706C898-3D1D-4E56-96D2-7E4C6AEF1298","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5249254","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5249254"}}}}}