{"entities":{"Q5639371":{"pageid":7668931,"ns":120,"title":"Item:Q5639371","lastrevid":31805246,"modified":"2024-03-19T19:40:28Z","type":"item","id":"Q5639371","labels":{"en":{"language":"en","value":"Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3366542"}},"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":"Q5639371$64F855DB-5DC6-4628-B71D-BD923BC28433","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d835b790a9684595fb6d634181379e80d7cee14","datavalue":{"value":{"text":"Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5639371$0DEACF6C-8E9B-4DED-A0F7-D87B34C099BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"791efe9b24fd28fda46b3302b5a5ebb536d11fe2","datavalue":{"value":"0231.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5639371$1E4B7BBD-DA4C-4E70-B5F1-A10C09892D75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8acacd6726fd474f94f58a46dda4edd68a68f65f","datavalue":{"value":"10.1145/321679.321689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5639371$68BDE4F7-8D4D-4ED0-B014-ABB110E9E5C5","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":"Q5639371$0754DF7D-5AB1-4120-97B7-142DF2245203","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-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":"Q5639371$9D5CF583-D779-4DD0-9F89-735EFB27A02E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5639371$1EC36580-2902-4624-80A7-08892BBDE279","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e068e42b987d5ba6d1d1b186ee662b7488895ff","datavalue":{"value":"3366542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5639371$BD0CE8F3-5F04-45E6-B44A-7CA7D6E3FBB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc90a3a6cb7ab9d722cacde3144f4ad0accd92b","datavalue":{"value":{"entity-type":"item","numeric-id":2549241,"id":"Q2549241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5639371$B7A825B4-A68B-42DC-99AF-C0FF55ADDE60","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":"Q5639371$13296D0A-F8BC-4F36-99D1-F87BC5C928BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dad117babed66274905f19d2cc4587c45d307f4","datavalue":{"value":"https://doi.org/10.1145/321679.321689","type":"string"},"datatype":"url"},"type":"statement","id":"Q5639371$3E6A4129-1EAA-408F-935F-5A22091148F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b179d33ce2ec6ab668a6bbd156f04adf332cde07","datavalue":{"value":"W1979983276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5639371$4BBEE918-9246-458B-BAC8-3AD4716FC41D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5639371","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5639371"}}}}}