{"entities":{"Q4647585":{"pageid":6677166,"ns":120,"title":"Item:Q4647585","lastrevid":40877874,"modified":"2025-04-13T16:39:28Z","type":"item","id":"Q4647585","labels":{"en":{"language":"en","value":"Optimized encodings of fragments of type theory in first order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002058"}},"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":"Q4647585$EE9C609B-E321-490A-A43E-89F7840E507A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93bed09b397fc3743455d2148aae1d9fc56bbb4b","datavalue":{"value":{"text":"Optimized encodings of fragments of type theory in first order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647585$D72D5D54-89AE-4B07-AB39-B6E1920294CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f24793cabe68f6590855f6bae8856c344af29ad3","datavalue":{"value":"1434.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647585$A071414A-46AC-4E90-A6D6-AD9918660A55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e9580372c186647298654a8e247f9ef6082994a","datavalue":{"value":"10.1007/3-540-61780-9_75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647585$7E8CB177-931D-49E7-AA49-56503F92467B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50dfba14eecf8f7e9f64ea004fb9b72dca6eb33f","datavalue":{"value":{"entity-type":"item","numeric-id":1181716,"id":"Q1181716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647585$15854BF3-EC47-477D-B826-37261DA6216D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7d96d2c68882294e26baabd03e0c606a357194","datavalue":{"value":{"entity-type":"item","numeric-id":800718,"id":"Q800718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647585$9E9E45D1-A6C7-410C-9987-F9D0387013A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647585$7DF7BE52-6C8B-46DF-8011-416907FAC7FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647585$21A4777C-A0A6-44D6-A27A-5E0809C4EE96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647585$DA21B0FF-F8AD-400E-97C3-6DEE999409D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647585$317DBA72-E58C-4630-9307-C177164FFC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647585$83704037-52A4-4EC9-AB26-299C4A86BF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647585$EDC34F0F-66AA-4C88-9F91-E7422DAEFC36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6d9ba23db2c04f083ee59ac70fa491169c68955","datavalue":{"value":"7002058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647585$6245CB61-FB70-4F81-BAC8-58CEFAB5AB41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647585$F7BD02DA-5A36-4213-AF21-F5B5D60F4447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647585$9BAE1403-8212-4A95-A666-E6B1679677B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f384098e8f2ae4ef2ba4576b8d375f29034500","datavalue":{"value":"Horn clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647585$E00C6F63-B7FA-4B1A-AD0C-93963449438E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f5cbcda99d753e8fe5ce7fc13a19f8046954faa","datavalue":{"value":"derivation rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647585$820CC475-4CBC-43F7-9DC2-01D6E39F63DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e2362ff1d19993686bba7fdc2bb097d695da91","datavalue":{"value":"goal type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647585$DE380E70-3F60-4D4A-AFAA-7C75C542A359","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647585$A2230920-3274-4FB5-9ED9-4ABA496A61F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af3b5ddb4818ec81bb9bea3bab4852742bff1bd5","datavalue":{"value":{"entity-type":"item","numeric-id":22101,"id":"Q22101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647585$78A94DE3-819E-4CF1-9079-5156093C05B9","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":"Q4647585$0A0CFF6C-CC91-49DB-9EA9-E87410D1C4E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ef3a55ac739d43a17a60bdeec7c00e8721ecffd","datavalue":{"value":"https://doi.org/10.1007/3-540-61780-9_75","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647585$C32C6C13-50A6-4E82-B47C-0C147D30F67E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3dbddbf8efc1c5bfb5acf7277616ebb2521cc0a9","datavalue":{"value":"W1537528872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647585$F4BE92CD-2C46-4694-B24C-D90620B2F8E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647585$B4DA4EAE-F538-4927-8698-1AE417FE35AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315e95e4ad8a1c26487d3ff7728ab264483e45ea","datavalue":{"value":{"entity-type":"item","numeric-id":1310269,"id":"Q1310269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647585$0BBF7D8F-C311-496C-9924-9236C5461E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647585$B64A19FA-3566-4C4A-B21C-6E06077AA8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ebad1ec32f84aea32b38859e9c126afe144df8b","datavalue":{"value":{"entity-type":"item","numeric-id":4289277,"id":"Q4289277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647585$8C1D7EAA-C45A-4E59-86A1-6B7F98251FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e87e8e83b006d94179241dc635d009009b0c32","datavalue":{"value":{"entity-type":"item","numeric-id":3491030,"id":"Q3491030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647585$34700151-51F4-412C-9DF3-1B9E85F35BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5939193d2c734f0c40871d2dae732bc5d8448c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3673152,"id":"Q3673152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647585$CA27B9B0-BF9C-46C3-98DD-5BE1151AC25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647585$4B0A46C1-B84F-4B53-994A-03C47195BA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164d5958e5083b10f8e82ed42140727a0ef780a4","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647585$76551E5B-27F7-4196-9A12-730AE62BC56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d01dd8e36e9966af97d4756acd8b84652d5f596","datavalue":{"value":{"entity-type":"item","numeric-id":4312461,"id":"Q4312461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647585$13DB8FED-8A2F-4E10-A2DA-5B94B1F9A731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647585$19148FB6-7227-49E4-B533-BEABC412320C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d68f57b282d1f28f1eb37b1f5abc951e25cae5","datavalue":{"value":{"entity-type":"item","numeric-id":3754617,"id":"Q3754617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647585$B22DC3A9-3913-408A-993D-D355A7480E63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2288b5ce42f9f8618bd8052f04fbb57c1744a376","datavalue":{"value":{"entity-type":"item","numeric-id":4228072,"id":"Q4228072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db45ab5d098b08718335fe861b7dde26c1cfbda7","datavalue":{"value":{"amount":"+0.975547","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":"Q4647585$D26C4979-87AF-49BD-9E68-E6C69767DB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af14f0323d99fc380be4714a8f8c3ef1c8b888a9","datavalue":{"value":{"entity-type":"item","numeric-id":6043005,"id":"Q6043005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ef5bc099d5cbf49af2ac2e5308a070206ced15","datavalue":{"value":{"amount":"+0.9047363","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":"Q4647585$2EC440B9-523B-4532-A7E0-65C992CC1BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc49419ce7345a5ebad029e4a597a096be59487e","datavalue":{"value":{"entity-type":"item","numeric-id":3433178,"id":"Q3433178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9241ff2113c60e693eca03dd4b614ab3a3814d","datavalue":{"value":{"amount":"+0.9021416","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":"Q4647585$657EF807-C44F-404F-BA19-90017135E0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a3fdab42aa36146f56037c1a7937389fbaafee4","datavalue":{"value":{"entity-type":"item","numeric-id":4508310,"id":"Q4508310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495dc2dfa2ddefad017dadad0efa63626a84ed25","datavalue":{"value":{"amount":"+0.89427197","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":"Q4647585$B9B62235-DBFE-4E8D-86FE-1798844FB7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90fbc8e2b2495cf799cfd99e80095a31f4948e4e","datavalue":{"value":{"entity-type":"item","numeric-id":4012881,"id":"Q4012881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7eec269b54dacecc29bf44c9d6a34c3592ec3b6","datavalue":{"value":{"amount":"+0.8920727","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":"Q4647585$C92AD746-F5AE-4096-9CD2-775A546CCB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc125fcac32cf997c003b1356784407272c3d26","datavalue":{"value":{"entity-type":"item","numeric-id":5206956,"id":"Q5206956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2317771492229cc4c88c379ebee4efe1fe1ae907","datavalue":{"value":{"amount":"+0.89097047","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":"Q4647585$6CCD4067-E84E-42D7-A11A-D8D0C30564A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d1b6f921e95adcdedd9be89783b475ccca3315","datavalue":{"value":{"entity-type":"item","numeric-id":2761749,"id":"Q2761749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e09d9d1ee796fd498bfcd339c6c1f99bc5a424","datavalue":{"value":{"amount":"+0.8897071","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":"Q4647585$70F05D50-8247-4EA9-B75F-0FA2096C3208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8b9b1ead44f7b2e3e7f4382d6eba6dfd4c1ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5371961,"id":"Q5371961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea05c3128c5b382507f7fa829d9678703e1a5e1","datavalue":{"value":{"amount":"+0.8850757","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":"Q4647585$E975694E-B8EF-496A-BD0B-8256CBD262EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662739bece42c3f8ad29090d955e17212552c81","datavalue":{"value":{"entity-type":"item","numeric-id":2177578,"id":"Q2177578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5193f27eae03a401b812b5b457b3a9bb6a727d7","datavalue":{"value":{"amount":"+0.883531","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":"Q4647585$DE74C86D-FDDB-419F-B11C-A98585237E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ad01d8e4bc3088938a4329f868f0c3f054dbf9","datavalue":{"value":{"entity-type":"item","numeric-id":5277747,"id":"Q5277747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afaa506967a3b2c333a1951759fd94ae0bb0f4bc","datavalue":{"value":{"amount":"+0.8830813","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":"Q4647585$B500D37B-D821-4138-8658-8FC3BC5F6A3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647585"}}}}}