{"entities":{"Q5565138":{"pageid":7594698,"ns":120,"title":"Item:Q5565138","lastrevid":31708589,"modified":"2024-03-19T19:13:44Z","type":"item","id":"Q5565138","labels":{"en":{"language":"en","value":"Semi-Automated Mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3280089"}},"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":"Q5565138$47327A51-92AA-4E3E-97FD-83292536DBAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb17c90ef878d0e14a5f835e82f25b7abc8dc5db","datavalue":{"value":{"text":"Semi-Automated Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5565138$38544363-5C2D-4D69-B0A4-DB848B549751","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2987624f84e5c9dcd04ebcfd80b0edf019f3d5a","datavalue":{"value":"0175.28205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5565138$151943F2-3BD7-471F-A7E4-30FFED37B678","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89e5abb068685135c7c1126f95d1064bd17c40cb","datavalue":{"value":"10.1145/321495.321500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5565138$24722F61-9A92-4D60-B45E-C348555B83A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d96d81fa6236a4a1df9cad71793666a07d0673f","datavalue":{"value":{"entity-type":"item","numeric-id":5565136,"id":"Q5565136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5565138$25A29D24-8722-49DF-AD2A-C1EAFE0BC6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09d93d75b8532e8d15f71b8d27c601b70c1571b6","datavalue":{"value":{"entity-type":"item","numeric-id":3281060,"id":"Q3281060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5565138$95DCE077-BCDE-4B8B-8BD0-D06256FD26A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b81b615998ed32dd226d8aa59ae7e29751e67b96","datavalue":{"value":{"entity-type":"item","numeric-id":2625790,"id":"Q2625790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5565138$6833AE07-F987-446D-93E0-1C65E9065B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dccc09f91e8455937656a01f084cbb07c78c6def","datavalue":{"value":{"entity-type":"item","numeric-id":5565137,"id":"Q5565137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5565138$DEA0C9C3-ECC0-4714-BF8F-C2007993D593","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":"Q5565138$6D30FAB9-ECEA-4253-B900-F0676C7A03A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ebb271ba779bdc18e731b88d6d6d8739d7e37f","datavalue":{"value":{"time":"+1969-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":"Q5565138$551D2712-4B28-455B-A123-0350EB87BDF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a93f75ff1fa7cea2ff779a72f5a9800c2760a557","datavalue":{"value":"3280089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5565138$1A4FA8C5-3099-4F63-B7DE-A9695F59B192","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291be7abf7db632a8ba00746eda7cd5f3145426f","datavalue":{"value":"languages, automata, networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5565138$3B78ED7C-81E4-4E4C-AAD0-0DE39751BBAF","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":"Q5565138$B9CF0DF4-D652-4065-8BF0-B699DDE2B24B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a5ab37197e9c10272284fcd31ec62b6a24795cd","datavalue":{"value":"https://doi.org/10.1145/321495.321500","type":"string"},"datatype":"url"},"type":"statement","id":"Q5565138$1EE2A4B8-C219-4C3C-93D4-E8000B705E3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b072548a3c99d8c39e03b0b6e68cd2503d0321a","datavalue":{"value":"W1985789487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5565138$067E7135-1A11-474B-8D81-EA39DB927172","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5565138","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5565138"}}}}}