{"entities":{"Q4511316":{"pageid":6540909,"ns":120,"title":"Item:Q4511316","lastrevid":41752734,"modified":"2025-05-07T23:16:01Z","type":"item","id":"Q4511316","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523041"}},"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":"Q4511316$748FC445-49D4-4CD0-AC0C-9B48D973E30E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c89179ce978f99d19b8b1ed3f3acf6765a06180","datavalue":{"value":"0963.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511316$2AFDEE72-5F61-4886-B6D3-FA067B17D845","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2eb1841de476684c3b4a1e3b9f315993dab37b1","datavalue":{"value":{"entity-type":"item","numeric-id":1768804,"id":"Q1768804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511316$7BEB0A63-6F92-4BC1-A7EA-56AA10F9BF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89de87759b6088a562dc2db6f94d432b12ee58c6","datavalue":{"value":{"entity-type":"item","numeric-id":799119,"id":"Q799119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511316$63B573FD-A9C0-4D6B-A52A-39A5A9F505FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23c16558fb5ec76a4747f3b1ffd9e3605d5b08f1","datavalue":{"value":{"time":"+2001-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4511316$F95F7B34-307F-46B2-9AC6-1430A8870FF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511316$796673C9-1583-4874-BBA0-AF030F735FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511316$BD5F3323-6F1A-4C29-84F0-63536249CDF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fc3187f0d1be026105e51e0249f5c64bcad5488","datavalue":{"value":"1523041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511316$5ABE4FCC-A8EF-415B-BEEB-87B6DD911FC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c748791d3f7b7f7946052f2d3c7119272c4a976","datavalue":{"value":"partial proof trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511316$DAD44C49-F5E1-4461-82C3-D6745B7EB138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89c0860f607e50db3d17797c14e4805c145c89b0","datavalue":{"value":"\\(\\lambda\\)Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511316$76D465DC-D2D0-43E1-BC2F-7110349D484C","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":"Q4511316$9F40859F-D35D-43B5-8E2D-8E9E3A5DE296","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d08c7d25df345937a05ff90c5152315ac7a03ed","datavalue":{"value":{"entity-type":"item","numeric-id":4647559,"id":"Q4647559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"462bec4fba3774e403cc7fbba7ecbaa74f080be6","datavalue":{"value":{"amount":"+0.89725155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511316$6B86B6CD-601F-482B-9E1A-8A7CDF43CD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1455f711d87dd6dfd3a6e54087efae68e2db70","datavalue":{"value":{"entity-type":"item","numeric-id":4820465,"id":"Q4820465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8c9d1c2871dccf2fcbc0eedce55825024d0c19d","datavalue":{"value":{"amount":"+0.88483274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511316$ADA05BC5-ED04-489C-A0A7-22ECEE3FF3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee92e8fdbbddcced8f3ce92b59df72521467e94c","datavalue":{"value":{"entity-type":"item","numeric-id":4611658,"id":"Q4611658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9239b92888c495ffde628938eae578760ff31ae","datavalue":{"value":{"amount":"+0.8778634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511316$D153FDE0-850F-4114-AB04-46E4726010B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83847fabacf2083c66f482541c82e92443b784fc","datavalue":{"value":{"entity-type":"item","numeric-id":3642530,"id":"Q3642530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9436d5a9206514235b6de3a3af82731e57da09fa","datavalue":{"value":{"amount":"+0.86977804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511316$584A9DD0-725D-4F52-8E5B-3C3E1BA12DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"444aff4826127fe10002db2d82486b6f0bd95cc8","datavalue":{"value":{"entity-type":"item","numeric-id":1770834,"id":"Q1770834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8d0489429caf582fc983dacc1dc35908f39d25","datavalue":{"value":{"amount":"+0.8659875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511316$526CE7BC-BFA8-4DB7-87B0-F72EEAAABC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88cb3878869e2ef7dcb640e90c592497fabc08dd","datavalue":{"value":{"entity-type":"item","numeric-id":2425322,"id":"Q2425322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8203b3e0d893c223ef8000823640ffa8bb03bb1a","datavalue":{"value":{"amount":"+0.8658171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511316$75362D91-A033-4EAD-A5DB-236285150BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9017b58749d931dc35ca16e1a4a5e7c3ef661be3","datavalue":{"value":{"entity-type":"item","numeric-id":909654,"id":"Q909654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5025250005cb299af4ac886924be1f64a2b3f0","datavalue":{"value":{"amount":"+0.8655735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511316$43F92EAE-CD99-41BD-88AA-7A6F861BD21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c20b06539d0539e689b5ce9e9fc18cb7971b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3585011,"id":"Q3585011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf8356e2ecfa779b535255d70491c4fa6989c58","datavalue":{"value":{"amount":"+0.8652121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511316$7A1AD640-FB42-412A-B18F-68564AF94FD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4511316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4511316"}}}}}