{"entities":{"Q4594216":{"pageid":6623801,"ns":120,"title":"Item:Q4594216","lastrevid":52959068,"modified":"2026-01-23T22:05:13Z","type":"item","id":"Q4594216","labels":{"en":{"language":"en","value":"Shostak's congruence closure as completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808092"}},"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":"Q4594216$9775C082-BA8E-4E77-BEC6-117F64251B26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87eaa683291bb0b1afc75e9c4ef04e2a3dc15dd8","datavalue":{"value":{"text":"Shostak's congruence closure as completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4594216$C0AAD2AB-B48F-4D08-B822-2CA545873858","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2299eb748495175675ec0ea40ece919e64eb7e44","datavalue":{"value":"1379.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594216$6C34A688-6B49-40E9-A3D4-808C101DC330","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30d0069054481c01ca2d9e5222cfff5633f29ac3","datavalue":{"value":"10.1007/3-540-62950-5_59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594216$B37A6A0E-9F7E-4181-95A4-54598137758C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594216$2D5976D8-6086-413E-8F3B-119A91801AB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594216$47E4D802-65BC-4959-B407-9E5FF3EF15DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825b3410cb99f0539fb93adb9a664af4059fbf52","datavalue":{"value":{"time":"+2017-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4594216$3B66C3B7-6388-4A36-9FF4-3C6A85AF2446","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594216$7C01421F-BEC5-445E-AD32-A14205DC6521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594216$0F771B0D-2C4E-4BDC-BF74-2D1CF948C648","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f23b2664d65593272f6697041011bbf8462b19e5","datavalue":{"value":"6808092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594216$EBC8435B-CEB0-4E81-9178-E9CEAF79A842","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":"Q4594216$1937AD1D-C08D-427B-AE13-FC3DABF788C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1929ffe8db3cb812d317c8cdd95c961823f5f41f","datavalue":{"value":"https://doi.org/10.1007/3-540-62950-5_59","type":"string"},"datatype":"url"},"type":"statement","id":"Q4594216$3525A5CB-8AD4-4598-8C94-772B895DCCA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69cb80110f4d96760f0d8f9add3e6f654aee95d7","datavalue":{"value":"W1567682528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594216$3561A6EA-31FC-4F6B-9FBF-3AE961C188FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533a8b77e8a99e85fa42a571379c69b8c18274f3","datavalue":{"value":{"entity-type":"item","numeric-id":1425161,"id":"Q1425161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c1f9190a25ed29c7be11d511eb4660718f923ae","datavalue":{"value":{"amount":"+0.8336594700813293","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":"Q4594216$34B012B5-9E3C-48D6-8B1E-041F159F6EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2956acbdbe54113a2ce780f06803ca8d04c1f41","datavalue":{"value":{"entity-type":"item","numeric-id":2723409,"id":"Q2723409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2121d2852066d5b005de894124474e55f85802a7","datavalue":{"value":{"amount":"+0.8136287331581116","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":"Q4594216$D859F9C1-9C21-45C1-84F3-B4C43F8FCCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b5b6b9905987b5e00af033e5add06d41e17749","datavalue":{"value":{"entity-type":"item","numeric-id":3811749,"id":"Q3811749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c8929bfc038d961c44f98f37b984e54e7cefa8","datavalue":{"value":{"amount":"+0.8077847957611084","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":"Q4594216$3D88E582-7036-4EB9-97DA-B7AA31B8DF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bced0ca0afd16657834f724f6cddb80ceec6d421","datavalue":{"value":{"entity-type":"item","numeric-id":1730315,"id":"Q1730315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d8a91b1ac3d15040d0992e100d52ee78f5c908","datavalue":{"value":{"amount":"+0.8059165477752686","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":"Q4594216$656F62DB-365B-40EB-B46F-AD95BD3F649C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7afe0aa39e3a39c95b219fad3f48adb7e5f74a5e","datavalue":{"value":{"entity-type":"item","numeric-id":5464694,"id":"Q5464694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1559ffcaf84cc37f2bda3c68b1381a2fbff3d258","datavalue":{"value":{"amount":"+0.8056014776229858","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":"Q4594216$AB8B4228-E9D7-474C-81C1-8EFA38CDEF60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4594216","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4594216"}}}}}