{"entities":{"Q3883564":{"pageid":5913469,"ns":120,"title":"Item:Q3883564","lastrevid":54614180,"modified":"2026-01-29T14:33:40Z","type":"item","id":"Q3883564","labels":{"en":{"language":"en","value":"Fast Decision Procedures Based on Congruence Closure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3688779"}},"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":"Q3883564$ED7353FF-53DF-48B2-9570-A22C34E09EA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92f2b468205f6366e52b699132d6fd2f7bf00ce1","datavalue":{"value":{"text":"Fast Decision Procedures Based on Congruence Closure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3883564$AC6483D0-7050-463C-9CE3-F945D6C6912E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d79138f61ee4fce65f5e99fa2499c86b4f2264d","datavalue":{"value":"0441.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883564$360F3734-E8A7-4E3A-84B1-8C4471066C33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae317506da445e53fc0bba7d26dfe9babaeff122","datavalue":{"value":"10.1145/322186.322198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883564$27E467A0-312F-41CC-9101-D9A160C994A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2a53010e3685eebfac0fac4337e9c95dbc3c14","datavalue":{"value":{"entity-type":"item","numeric-id":2767988,"id":"Q2767988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883564$FE919350-D46E-461B-950E-946E21A9B72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45c6592e2438a48f764e1b44f725e4446045df07","datavalue":{"value":{"entity-type":"item","numeric-id":1141137,"id":"Q1141137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883564$4940BCE4-E37D-46C6-94B4-7B2D1B3DF26C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883564$E5B48261-1DF5-48AD-9509-478306AB0967","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3883564$1F40B651-EB0F-4407-A623-67082D8D07D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883564$A47840AA-8848-4EB4-9AC1-D657B523FA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883564$01D15A16-9550-4406-B386-3E45B23D4D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883564$BA6BE65C-F975-44B9-8767-23F91379FBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883564$2B1C67F3-BC85-4E25-82D3-FD0E14578786","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b42d91bc451f3744ffe36a85b618d4a68246435","datavalue":{"value":"3688779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883564$E4CA37FA-2CCC-44AD-8A09-DA11813E58F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f840ce5119480b895ac664a10de6f0a19316ae","datavalue":{"value":"congruence closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883564$4AF7EF06-8086-4541-95ED-CA1829634F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e84e564b9054e80103dd3b02aa35ddafef072ca9","datavalue":{"value":"decision procedure quantifier-free theory of equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883564$6140A11B-9C3F-44DC-9377-E54AF620ED67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e5100cd5f1640d49c34d6be6e49ae05c2d62a87","datavalue":{"value":"quantifier-free theory of LISP list structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883564$28BB3EE7-FD1E-41D2-BCFE-A8593CA4A991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34375f666ab2a8424a19336110874bcc3602b0b7","datavalue":{"value":"theory of recursive data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883564$A61B61AE-2A26-4BF2-BC68-B5A867366F0E","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":"Q3883564$B1CAA223-4B03-46CE-87C3-C22DFB2F0053","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0098e6921ddf4b7ba77ffe3fb6ebb8d1b35476a0","datavalue":{"value":"https://doi.org/10.1145/322186.322198","type":"string"},"datatype":"url"},"type":"statement","id":"Q3883564$8E27BE61-BB0E-4353-903C-19074B6715C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8390379f29bca6d8027d750864a35f3e9cf759e3","datavalue":{"value":"W2153131284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883564$A94F49C4-CE49-4588-825C-B601377177F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3883564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3883564"}}}}}