{"entities":{"Q4202945":{"pageid":6232546,"ns":120,"title":"Item:Q4202945","lastrevid":47184970,"modified":"2025-12-31T22:53:04Z","type":"item","id":"Q4202945","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 408800"}},"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":"Q4202945$79C6518A-1BEA-43A3-8CBC-D5D9822DC32F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e84f95da6b7fc292912566e944c662cfb85b47c7","datavalue":{"value":"0819.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202945$9607ED72-78FF-4C59-9036-ABB012582D08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eb57310977e308cbdca87dfcc89a72e3a1a1259","datavalue":{"value":{"entity-type":"item","numeric-id":924173,"id":"Q924173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4202945$4B79CBEB-98E1-4C58-83A8-8ADF4E8183F5","rank":"normal"},{"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":"Q4202945$964A0C72-4870-45B9-BEFD-CFF357448B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6e169b57195ba199568844c5f0329cd366749c5","datavalue":{"value":{"entity-type":"item","numeric-id":553360,"id":"Q553360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4202945$8BE4C5F1-E327-4671-9836-50B213414A92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1016c7e6217ba6f9fc4fe7e518f619aad78f491c","datavalue":{"value":{"time":"+1993-09-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":"Q4202945$7A600FE6-3AD5-4C34-9CD0-6FBD72AC4356","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202945$A6B3B0A0-BDCE-401E-B6D8-4B9B7D2AF60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202945$36A375FA-3E05-4470-BB7B-2166EB4926C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"229ae2f889b52af6ee4edd6136b50b4f5b5dcfd4","datavalue":{"value":"408800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4202945$005263EE-4764-4CAF-99B2-0ECDC4A6C9F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc730da7579304005bca2503b9a11d449aebf5","datavalue":{"value":"termination of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202945$301A7B7E-5588-41C1-9316-42A36A26E9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25dbb61b33a7d3373e73e3d41e112b0a64fb9bde","datavalue":{"value":"ProCoS compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202945$81911C21-EDD7-4EE0-AFE1-0B78D6B906FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202945$3F6ED53F-024A-46E4-AA83-0BC1E9CF8818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd513a43e4e4fc909bcb3a06a88cb399f47b5354","datavalue":{"value":"well-moded logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4202945$ED21610C-CFC2-44E2-A86D-0BC7D9A7C047","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":"Q4202945$E659C200-7387-432B-9BD7-F8F084BD38F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19077c4a91a76f2b9613650b2b5d1c2d1487498a","datavalue":{"value":{"entity-type":"item","numeric-id":3841095,"id":"Q3841095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ea7e5db511a8bba258224201385e33c67dfc79","datavalue":{"value":{"amount":"+0.9191805124282836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4202945$94DA6BA7-B981-4A22-B7C8-9C12811E1214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4567b863fa1fa6f6d3f163f88f8159158a7e7d15","datavalue":{"value":{"entity-type":"item","numeric-id":5941754,"id":"Q5941754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea885ffea9dc264af0d9846c07889f09fe6b0418","datavalue":{"value":{"amount":"+0.8643109202384949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4202945$B7AEFD0D-9838-461D-810D-2BC7771C182C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c016bd651240770c7676b927e9a44217ff6584","datavalue":{"value":{"entity-type":"item","numeric-id":5881206,"id":"Q5881206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b90712553f9d3648e5f1d4af35fb8036b82875","datavalue":{"value":{"amount":"+0.8282226324081421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4202945$7BA715A0-EF46-42A9-AD92-525CD08D17E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c28bb92f351f81d042392026eb0190e20d557c13","datavalue":{"value":{"entity-type":"item","numeric-id":2946588,"id":"Q2946588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9010c43dda02392bd376631293b24cac3200f38c","datavalue":{"value":{"amount":"+0.81794673204422","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4202945$6E1B0589-B30E-441D-82A1-8D16C30F22BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62960d73e0602301806b28cc3b262548e8afa61","datavalue":{"value":{"entity-type":"item","numeric-id":3591084,"id":"Q3591084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beabfaaa45668006b11b5a3b6653844c655c8901","datavalue":{"value":{"amount":"+0.8022928833961487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4202945$9E428F29-D99B-46C0-8510-2348A7D3C12F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4202945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4202945"}}}}}