{"entities":{"Q3454092":{"pageid":5233492,"ns":120,"title":"Item:Q3454092","lastrevid":52405934,"modified":"2026-01-22T14:06:09Z","type":"item","id":"Q3454092","labels":{"en":{"language":"en","value":"A decision procedure for (co)datatypes in SMT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515507"}},"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":"Q3454092$A8204092-A1CE-4388-8C65-1C2885653151","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c91be8749e5ecd6e8fbf637e203adbca8a9d2a4","datavalue":{"value":{"text":"A Decision Procedure for (Co)datatypes in SMT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454092$AA3D625C-C6EF-4826-BF1E-CA538ED70010","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0ccb22c054bb57496bb88179d58cb72672056d4","datavalue":{"value":"1465.68297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454092$8F3B54F3-CB19-45FB-9AD4-43916BCBEE3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1375e7fff21094732ac8cd17b14f3e27198ac99","datavalue":{"value":"10.1007/978-3-319-21401-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454092$8DFD1EE4-6F20-45B9-8D24-A0E393C19C50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$248F1C02-2CF6-4226-8277-64BC0F94DE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$92424631-86B3-4DD8-A8E4-9A384212F2ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$43E1447B-2E94-40F1-A0A0-527B96BF457D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454092$1E677AD3-5CC6-444F-B341-EDE9D4D81595","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454092$A06C0AD6-C9D9-4F7F-8F96-57A650D5BAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454092$4947EC19-C4CA-489F-8166-00A6B2365AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454092$5417DA7C-F294-44DC-A5B1-FA9F3A331933","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45c74c617e16a9b42e1af92b6a5d1a47b05e6279","datavalue":{"value":"6515507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454092$0FC39726-FE6E-48AB-8D2C-EDB554D83E83","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45fa147ad24d78ff9111165d21eddec7203c8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$AB5D7DF4-C3FA-49CA-9C60-047603FF03B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f36b54767691a71775cf671bfcee6471fb07b30","datavalue":{"value":{"entity-type":"item","numeric-id":32549,"id":"Q32549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$C5194713-E0F0-4240-80C3-40A53D33B32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$FC196C9E-E5A0-4433-8495-8A4B5E7B9DBE","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":"Q3454092$2C6E2764-0F1E-45B2-94BA-985A74AD9CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$B93E17A5-E765-4E5A-90CE-2644244E345D","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":"Q3454092$B3D04378-13FB-44EC-B6E6-B532792D7789","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":"Q3454092$9C0702CC-484E-4FC3-A6EF-FA808A791451","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6215eab4cfa78f29e0f0a436fe5aec4faa0efd00","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21401-6_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454092$7219443E-0E81-4F06-BB0E-178BF04EEA08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"015fcdc5cd5c1bcb0fb04f913d1fdf167f8083b5","datavalue":{"value":"W1441804354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454092$1FB3CC49-E290-4242-95BF-1CD3BA61B2E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6820d466f20a132975882100c6125897eef0f140","datavalue":{"value":{"entity-type":"item","numeric-id":5309032,"id":"Q5309032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$DB819870-2558-456F-B8C2-F435E13ED6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$42F120D5-EE4B-4E52-8572-9F902EB43607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$7EE85A68-4054-4D38-9CFE-9986AA016FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60606a3339fdc087b42f7c381d9843284b67402e","datavalue":{"value":{"entity-type":"item","numeric-id":3613340,"id":"Q3613340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$9F49F9D7-933D-43B3-A81D-374CBD90BBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a058fc6e8406a2b9dca3a9cafde2b45591ef997","datavalue":{"value":{"entity-type":"item","numeric-id":3514890,"id":"Q3514890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$EC068809-974E-458E-BAFF-41CF7C2CA5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$52E14747-DB78-4B27-82B4-E47FDFCCAE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0935562160404eb7beee2a862bd06bed764fe33","datavalue":{"value":{"entity-type":"item","numeric-id":3172894,"id":"Q3172894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$70C5E6B4-8C63-497C-83FA-DCBBAEF6390B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8914056a012fcf0bb24ac61a3922b358208186e","datavalue":{"value":{"entity-type":"item","numeric-id":2849478,"id":"Q2849478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$A6A3B631-CF64-49F0-BBB3-AF46ADB79B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$0930D184-4F05-4040-8AA2-FD278F538349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$243D18C1-29F9-4A35-90B5-6668A15BF5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e06b5cd3615b9f11450729883462a288fa866","datavalue":{"value":{"entity-type":"item","numeric-id":3558240,"id":"Q3558240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$C8A4AF67-C17D-4218-A7DB-749746F1F780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4f714dbb33bba32b50777c1d77c1cb7ff5fe56","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$3832B90F-3FF5-4FDA-97EC-C81843DB1EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$46573EFA-4F24-42CC-8E82-101C6ED8E250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5c69d1d4e1abd2fa1d7921f44dce741c5c0623","datavalue":{"value":{"entity-type":"item","numeric-id":3454092,"id":"Q3454092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$C0816801-6A18-4EA5-BB05-3B045EE72444","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":"Q3454092$E706C814-F2D0-44E3-8CCC-74192217B39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197bd6d0b9b13f7d7d62b39ca988dbf1f2dfc0db","datavalue":{"value":{"entity-type":"item","numeric-id":4928453,"id":"Q4928453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$42408050-AC3E-474F-BCB6-00C8762087DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454092$E8799A9A-5674-486E-9057-D30B79493FB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2736b661563708670c0260aac3786ab930b183d","datavalue":{"value":{"entity-type":"item","numeric-id":2360873,"id":"Q2360873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910a209bce0079a98051c5c03283d00eb6f910c7","datavalue":{"value":{"amount":"+0.9991723299026488","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":"Q3454092$F03AB376-5C03-4DC9-9F94-35603408AB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2071723ea82038865050796ff4fd5eb14dc2420b","datavalue":{"value":{"entity-type":"item","numeric-id":2802441,"id":"Q2802441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f3869f0273a72814065f90f8a1712f96e74f4e","datavalue":{"value":{"amount":"+0.7447853684425354","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":"Q3454092$5DAC3E80-FF28-4452-A1D6-973B1B9F58F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6799d75bd17f4d4f30a0c4237cbd1dae89e5e9","datavalue":{"value":{"entity-type":"item","numeric-id":1799098,"id":"Q1799098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e45e633106992a6305d2b497528e207a3292836","datavalue":{"value":{"amount":"+0.742912232875824","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":"Q3454092$6DFAF916-3022-408C-95D9-BB3BED734A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f951d8f9e4dca86608cf14ef2ff8c919896ab86a","datavalue":{"value":{"entity-type":"item","numeric-id":5255074,"id":"Q5255074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"436245d5f1c24c5279bd3371026f380494801574","datavalue":{"value":{"amount":"+0.7427870035171509","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":"Q3454092$D5543A31-47D7-487A-886C-56D9551F896F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8d614a1713015889e0900fda5bad81cf530c60","datavalue":{"value":{"entity-type":"item","numeric-id":4804919,"id":"Q4804919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c336f25c7f9b20cf0db27ae08eda106561bdc5","datavalue":{"value":{"amount":"+0.7314565777778625","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":"Q3454092$FEBCD31F-A779-4ABD-921A-2C3281FA7048","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454092","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454092"}}}}}