{"entities":{"Q6159930":{"pageid":13294791,"ns":120,"title":"Item:Q6159930","lastrevid":39735361,"modified":"2024-12-30T18:00:42Z","type":"item","id":"Q6159930","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700620"}},"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":"Q6159930$790A6FA5-F8A0-4F18-B309-115BA2296257","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":"Q6159930$190A5548-449C-4E90-B687-9C9438CBBD79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159930$2C57D315-FC8F-4E69-925C-8E12CFE49E59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159930$D433C2EB-55CF-40DE-A1DA-7AA65DAE7B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159930$1A11B78A-6705-4532-9DF2-C10ED67D6CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159930$0126CD5B-BAE1-492D-847E-44E775E830ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f37991428fcdfe3bffa096c69e18d34ae879b830","datavalue":{"value":"7700620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159930$C096EDC3-EBE8-4CD4-84DA-4B81F3873440","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f840ce5119480b895ac664a10de6f0a19316ae","datavalue":{"value":"congruence closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159930$63ED3FCF-897F-4C65-8DCF-03D494223EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795e317374d75006fedd0fc9c83e5bdaa47379dd","datavalue":{"value":"associative and commutative","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159930$77AA89BF-5D7D-48CC-8089-A6606469C305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ba259c5c06af63100955fccf8bc8b370e89eaee","datavalue":{"value":"word problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159930$D7FCE4F3-5AD9-4BF7-9180-E4D908350A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6e5e2b031712b727efc6be531654bc7a89574a7","datavalue":{"value":"finitely presented algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159930$2CC05088-5E37-486F-8E6F-A29FE89DC6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159930$E5C3DB72-DAD7-4E5A-9308-65AE89CD92F1","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":"Q6159930$BDBC7D02-B24A-43D0-B874-E95D7C5F17AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53a2552a433c02f7399f732362de7ffddf4db1f2","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159930$ECE2ECEA-2B18-4FDD-85E1-E0C0200F21F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159930"}}}}}