{"entities":{"Q4520766":{"pageid":6550359,"ns":120,"title":"Item:Q4520766","lastrevid":47548075,"modified":"2026-01-02T01:22:31Z","type":"item","id":"Q4520766","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1543299"}},"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":"Q4520766$EFF2BC58-B244-44C6-9B48-3F84ED1D36E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"311c8bebae1f5879f1f1730a6ddef7a9c056506f","datavalue":{"value":"0961.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520766$1E3F2FD5-7542-4D1A-A837-817E7CE06F1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec89ccd483fc7a00527a9ba9714d189e7c17fd4c","datavalue":{"value":{"entity-type":"item","numeric-id":3043799,"id":"Q3043799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520766$98B39F96-FDA9-4559-88EB-D447921DA253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde2c5eea43d2c87cb219f7a9655949243a5a22a","datavalue":{"value":{"entity-type":"item","numeric-id":1994366,"id":"Q1994366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520766$BD7B724C-4851-40B5-8483-28018F4F7614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4471e2db545347311a5011665672d7ca25252aea","datavalue":{"value":{"entity-type":"item","numeric-id":2726293,"id":"Q2726293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520766$1BB0A4E4-4A79-4969-A749-E7899BA22B5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d02d8cc00f12eca67af7a2b878da9d104452f1b","datavalue":{"value":{"time":"+2001-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4520766$1811D10B-F7E9-4D5B-A5E1-4A44BA672191","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10a082117179243d2bb699ae03ef938dc88a5a53","datavalue":{"value":"http://www.jucs.org/jucs_5_3/integrating_deduction_techniques_in","type":"string"},"datatype":"url"},"type":"statement","id":"Q4520766$4B4A4821-A620-4865-ABB6-F5EDFD0E7C34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520766$4113EDE9-9E1E-42BE-B268-AB2667A6D99F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdee39ed1b56faadec921ea3fb5ff9e9f362b80b","datavalue":{"value":"1543299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520766$2AF6F034-35EF-4791-BC88-8327E7D7C022","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cba800684fd9c5a76401b0caaf928cf4e02d238","datavalue":{"value":"automated deduction techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520766$4B4408D2-B18F-4D5F-A9A3-CBBCBEBCA3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6039a884719e6ab636a23dfce268a715915135d2","datavalue":{"value":"retrieve software components","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520766$B3F3017B-A776-43C5-B354-5567586665DF","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":"Q4520766$70BDCB6B-CC99-43DA-B4EF-285B4A8FE703","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55c7753bae849513d7641f1e073b835cfa1f8468","datavalue":{"value":{"entity-type":"item","numeric-id":2702605,"id":"Q2702605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae24c545be21591f4259365d45d778f43c8c4540","datavalue":{"value":{"amount":"+0.8572931885719299","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":"Q4520766$1EEEAFD3-42C5-44E3-948E-C5D549773052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4f9cb151687c10bcbc354df916b64bf8c327f3","datavalue":{"value":{"entity-type":"item","numeric-id":5234691,"id":"Q5234691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e656a7c8afaa3d1b5c5e7bf0722cb4963c8f3f","datavalue":{"value":{"amount":"+0.7685484290122986","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":"Q4520766$264A5D3D-A071-4A4D-AB32-7BCD0724E2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc42060a3c506d7dd41e1120918b2d738a6ec64","datavalue":{"value":{"entity-type":"item","numeric-id":1601835,"id":"Q1601835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006faca7b8bb76d9b92c14db54a81466ab8c15bf","datavalue":{"value":{"amount":"+0.7450465559959412","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":"Q4520766$FE7EE228-2CE6-4D84-A1CF-FA280509728B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be725c8edb13967550521f142a48b08f360e60d7","datavalue":{"value":{"entity-type":"item","numeric-id":1872742,"id":"Q1872742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1476361da228ae81e7f8e73b2625fbe1bc47c003","datavalue":{"value":{"amount":"+0.7125869393348694","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":"Q4520766$9861CDE0-40CF-4B9F-A109-A67384BCD3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8b58ca5dd9a319d55e46115f6d29c5757b180d","datavalue":{"value":{"entity-type":"item","numeric-id":4018960,"id":"Q4018960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e053e023e85ab436bd544e12d946585b21b86df","datavalue":{"value":{"amount":"+0.7056419253349304","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":"Q4520766$4FE3D097-A402-4536-B3E8-B13280926F6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4520766","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4520766"}}}}}