{"entities":{"Q4515274":{"pageid":6544867,"ns":120,"title":"Item:Q4515274","lastrevid":28695041,"modified":"2024-03-05T15:11:53Z","type":"item","id":"Q4515274","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1528718"}},"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":"Q4515274$A93203C3-3F77-4301-9275-3E41B8882EB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82b391c74ba4be633d34d4f388671b45e9862860","datavalue":{"value":"0951.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4515274$42885011-AA87-4307-A1D4-C910BFB5B1A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46b3164955d066c94e5ca80f9b77d5556af9404a","datavalue":{"value":{"entity-type":"item","numeric-id":2742955,"id":"Q2742955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4515274$74FC9A8D-CB4B-4BEE-A526-1C7240AC1295","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdfb9c9db86c169ae17c07a115440c6fbeeb726b","datavalue":{"value":{"time":"+2000-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4515274$1AEE08B6-52BC-47D3-AB28-B18DCD9AE939","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4515274$D9EFF1B6-0A69-45DD-969A-2745555BF8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bcdc2a107fd2414d151e8610f3471a8784e75bf","datavalue":{"value":"68W01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4515274$6848B7BD-BEF4-4695-B8DE-EF1BF0C27F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4515274$6556F871-4D7C-428B-8F05-6FC495399A01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6efd4e179778331bafefa4afb916fc406f5af7df","datavalue":{"value":"1528718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4515274$3C6CDA7B-C8CB-4F95-99C8-1647A09C794D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af54e051c4bdba93f3cfe661c0c6a94d44e8d87f","datavalue":{"value":"conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4515274$CCDD9BA5-FF7E-452F-93E4-27CD776FAB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa436c3fb77c4a34119658ff623170ab7d7ad4a6","datavalue":{"value":"multiplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4515274$3B4281F8-99A3-4054-A8F4-097C246E250F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3b5cb34d66aa9182dddef9098782d806c570066","datavalue":{"value":"consecutive deletion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4515274$375AA9CF-715E-47FC-BBB7-E3601F71B046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4515274$A4E14BDA-E738-4623-A611-942D5743B1F9","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":"Q4515274$EEAB331D-E20E-45B9-8F9E-136DAAF30F16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4515274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4515274"}}}}}