{"entities":{"Q4050190":{"pageid":6079876,"ns":120,"title":"Item:Q4050190","lastrevid":55276975,"modified":"2026-02-05T15:24:43Z","type":"item","id":"Q4050190","labels":{"en":{"language":"en","value":"Automated theorem-proving for the theories of partial and total ordering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3464880"}},"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":"Q4050190$E42FC86B-D720-47BC-9FE7-3F1A93019E50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11d6c40ad674da42ab6a3cfe733036a54298a4cd","datavalue":{"value":{"text":"Automated theorem-proving for the theories of partial and total ordering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4050190$F7DF1767-AD5E-4F7E-95CD-93187E7A346A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2b960e1d426a88351d1334f57c84e45c038dc86","datavalue":{"value":"0296.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4050190$B9ADD27C-12EB-4AD7-A535-4CF28D6A689D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57db8f188e20a0f9d59e5ce5011286ff5a221689","datavalue":{"value":{"entity-type":"item","numeric-id":2551694,"id":"Q2551694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4050190$B7F1F37B-2B49-4BD6-87BB-FBEE32392F1B","rank":"normal"},{"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":"Q4050190$1F0392FE-61F1-4931-80C3-6652D79B8072","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4050190$4D62D1AC-BB7C-4C30-8B2A-04BF01A20067","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-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":"Q4050190$8D6BD0F0-5749-4EC9-B3D9-F14BF0053619","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4050190$56FC90A9-6F8E-45E3-B79B-A4E1C992D1BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13d6fd5346134ee569998fd61f07cd04bee3711b","datavalue":{"value":"3464880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4050190$A657134E-1F0A-43ED-A580-7C7E55D0C9AD","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":"Q4050190$CD8670BC-9C12-40A3-93C5-6C3BDEB0B045","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ffa1a04419bc77ab541cc6f59a9cf67f8c3e230","datavalue":{"value":"https://doi.org/10.1093/comjnl/18.1.49","type":"string"},"datatype":"url"},"type":"statement","id":"Q4050190$C921152A-6B3C-462F-89D6-16963FD7C02E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ab40d9676c6e7b2ac5fd79edad11f223e068a5b","datavalue":{"value":"W2097202008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4050190$975D68C6-3DC2-489A-8753-449F930EF5AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf25c66dab2396d0138421ec1fe2d8cd41e5a0b6","datavalue":{"value":"10.1093/COMJNL/18.1.49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4050190$B5787011-943A-46D5-A7E6-81524AFD5D7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4050190","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4050190"}}}}}