{"entities":{"Q2096439":{"pageid":2107182,"ns":120,"title":"Item:Q2096439","lastrevid":43513147,"modified":"2025-07-30T11:23:15Z","type":"item","id":"Q2096439","labels":{"en":{"language":"en","value":"Removing algebraic data types from constrained Horn clauses using difference predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614508"}},"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":"Q2096439$5D9AB1E9-F34E-42CC-880A-8F49B3DA3986","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9130449d4e0eb5b5b859cd5db6e6c60cc6b5596","datavalue":{"value":{"text":"Removing algebraic data types from constrained Horn clauses using difference predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096439$F8079DDE-7E5A-435B-9584-463EF34F58CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a02da96a4e214ff9660b6c702c27c1f0164b2fb4","datavalue":{"value":"10.1007/978-3-030-51074-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096439$5BADBF56-E6C7-453F-8A39-32809B6E98C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848f825b7d044d82deceb7cfe1f0d1c0ec5247c6","datavalue":{"value":{"entity-type":"item","numeric-id":1664381,"id":"Q1664381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$5A2D8A94-1405-4D2D-85F3-E520D81BDFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad0fb3e6789b1b1570ed736e8448792de0de85a","datavalue":{"value":{"entity-type":"item","numeric-id":1664382,"id":"Q1664382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$FBE99C53-6D1A-441C-A15B-B6E05EFCB1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$B1E619DC-0B9A-4E9B-BFA0-BECBFCE9BA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$2D4AF1D5-FA6B-466A-A8F7-15D41A1F33AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2096439$2B91F592-634F-40D2-B61C-64146A699AC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99f31f728004b1f2b399856ed6eb4346d6738de6","datavalue":{"value":"https://arxiv.org/abs/2004.07749","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096439$DF732BFA-5B13-4BCB-8A5C-989AE809DC15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096439$14D02102-C335-49D0-A998-A8C6EAA4DEFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"025315b5964e13060bc99be374eb2e3c90fa7d7b","datavalue":{"value":"7614508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096439$AEF792ED-6008-403E-84CB-2C987F8C16E5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$0F8B1392-9576-4B5B-AE6F-CA927A7D9EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$F9E1DA96-EAFB-41C2-8F66-FC895852A075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c604c686f18ab16ddce566dfe46258d89599b385","datavalue":{"value":{"entity-type":"item","numeric-id":36242,"id":"Q36242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$60D4E0F3-4314-46E0-AF27-0BCEDA48B615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$EEFA372C-1A41-49AB-B493-5E01DAB9811A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"549148d32f0439e7b014790e18353e555528aa0a","datavalue":{"value":{"entity-type":"item","numeric-id":31323,"id":"Q31323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$9179B882-D3A1-45FA-B836-FA80C41B70BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"811a0fe9a7b57bf2a85ec487f0e3db8c3368751a","datavalue":{"value":{"entity-type":"item","numeric-id":19752,"id":"Q19752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$A2AA40DF-B9EB-402B-8858-BADB5C23C46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2196bc177966aee059cbe6dcb19371e0feb3fa3e","datavalue":{"value":{"entity-type":"item","numeric-id":19753,"id":"Q19753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$41735F45-7B2D-4612-AB39-9DE9D4B87DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7edebecfea0d1be076050d73b49d0bc3b1453ace","datavalue":{"value":{"entity-type":"item","numeric-id":34655,"id":"Q34655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$E2E6468F-2A4D-4FC9-95C1-331661F9450F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$029B43EC-C7A1-48A8-B5EC-768E1E6B8F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$2BD520B5-2F22-429E-8BBA-73D2482455D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1ccc8faeab7e6c417af9846c477f0e521ebe1b","datavalue":{"value":{"entity-type":"item","numeric-id":14592,"id":"Q14592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$A3F7BC83-3B4C-44E0-872D-64A28363D198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$F236BFEE-CBAF-4D29-A738-AAE9E2F57BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$AE6EDFD7-8607-48F3-95CD-BE882C2FCDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$D069C864-4751-4B30-AE18-8B3B5234DA70","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":"Q2096439$D9274303-A1F7-4F3D-B0CB-B73F5682B672","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c8f0ec7090193f4db27769998e38255bfb6b5ca","datavalue":{"value":"W3100001578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096439$62163F18-B9B2-4FDA-90B1-5320EB9FDCFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3878a5cb8873ef240e516907eb0d77672150d9e","datavalue":{"value":{"entity-type":"item","numeric-id":549282,"id":"Q549282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$D97D095B-D331-4046-B3D0-7FCAA6541B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5f7ec14119349332290c2a3236ae73e2231fc2","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$894A74DB-BE1B-49D3-897B-B3EAC6184F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$E46D8F75-0C21-4D09-9B0C-7B332B1CE5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635d658e492778c40a0dc6463613126938b64c17","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$25C37FD4-1F6D-4874-B9F1-A7FB5993A4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$5FDED557-E333-429D-A8CB-1C40D894298F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4097ecb980e2df6f5072c854a7151168d79b8bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4928454,"id":"Q4928454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$B5CEC49A-4EE9-48E2-B8D9-8D2EFA415C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb34b6e7428e42f8251fed44fb40d3732a20e55","datavalue":{"value":{"entity-type":"item","numeric-id":1664383,"id":"Q1664383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$10990739-AEB5-4996-9E4C-2739AB214DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b579707a4306c9f6e0814fff83d8fe01dadba181","datavalue":{"value":{"entity-type":"item","numeric-id":4559806,"id":"Q4559806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$D217D2A7-D4BF-4C90-B020-0F3E3EA06553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ebb5ec5a2cdeaba783c57143987fb41f20d780","datavalue":{"value":{"entity-type":"item","numeric-id":5016384,"id":"Q5016384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$DD757510-415F-46A4-8A2A-2B2B8283B5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$09C6B90B-D91A-4BD2-AF58-CC37D712D6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64b95fb93857a7fee214f8d1058a95819db0427","datavalue":{"value":{"entity-type":"item","numeric-id":671648,"id":"Q671648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$F9D03F77-554C-4DB6-912F-86E3100B56A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6cfa38045f84330f697c142801bdf874559aec9","datavalue":{"value":{"entity-type":"item","numeric-id":5712537,"id":"Q5712537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$52278F41-B8CB-4119-A289-A369B9A22141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abf001ed642cc216d8415c5b95bc69e8c224d37","datavalue":{"value":{"entity-type":"item","numeric-id":5299583,"id":"Q5299583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$C1B371F8-C3CE-4F74-A010-F5C411DB0C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$60A4D417-5EFA-4432-810F-E2CA982565CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db98659fd0d8d989353341e0c12c4246dfe6ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1915134,"id":"Q1915134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$6DE5AD25-CE6E-4E7A-8D5A-27B74F6B9537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c19cd92e570c6dddc63b43d315e01307ee930c2","datavalue":{"value":{"entity-type":"item","numeric-id":5747656,"id":"Q5747656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$F6EF912B-06F7-410F-8C70-78BCD339106D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e490cdda2d770ef8c6504e4f0c10d35d66ab67ea","datavalue":{"value":{"entity-type":"item","numeric-id":2891425,"id":"Q2891425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$E60B5620-046E-4D4D-99CB-5DDAB55453BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$1241036E-42CB-4B79-8E01-8FAA0E404CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$92FB97E5-AFFE-4BEC-802C-B1E867EA220D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45257427f1c898e38d1cf92e2ce75479fe512111","datavalue":{"value":{"entity-type":"item","numeric-id":1694026,"id":"Q1694026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$843FFE6D-45A8-44FB-B015-1408E513BBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797d69ccc16ac41adec3adfdcc63bc05d0208ed","datavalue":{"value":{"entity-type":"item","numeric-id":5172636,"id":"Q5172636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$C75A87BE-E895-46AC-BED6-27BED5269661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d384171f2a4202c84967fa36d41220796745ddd","datavalue":{"value":{"entity-type":"item","numeric-id":3558288,"id":"Q3558288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$1755D395-BF10-4CB4-8A43-8AA09C93E5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4073212e5e8a290d1249a88cf67061f68759f7","datavalue":{"value":{"entity-type":"item","numeric-id":2894285,"id":"Q2894285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$7787515E-B86B-47C1-A585-417C7BF47FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583c2af6114a325d3ba9d32333a59af45d2f625","datavalue":{"value":{"entity-type":"item","numeric-id":2164260,"id":"Q2164260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096439$96956B17-2DBA-41A4-A2EE-DBB152EC5ABD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2096439"}}}}}