{"entities":{"Q1978233":{"pageid":1988975,"ns":120,"title":"Item:Q1978233","lastrevid":46898415,"modified":"2025-12-25T19:49:13Z","type":"item","id":"Q1978233","labels":{"en":{"language":"en","value":"Proving theorems by reuse"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1454118"}},"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":"Q1978233$916A18D9-D62F-4AEA-B6D0-8F2A439936DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"052bc4c37f42e0053486e0083f146a13a010d180","datavalue":{"value":{"text":"Proving theorems by reuse","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1978233$A892DC89-575D-474D-818B-0CCEBC602627","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c9e9953573925b5f8daaddee75efe6f7d3d3757","datavalue":{"value":"0939.68823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978233$BC7FC5BB-7A97-42BD-92EC-F1929123717E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf491ec239027945dc0b827fc646191771dea6c9","datavalue":{"value":"10.1016/S0004-3702(99)00096-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978233$6D1DA73C-ACAF-4F56-8F2D-5C6E0EE0AA80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46976d3f5c5fed82b1734a3b31190eaf0f8a054","datavalue":{"value":{"entity-type":"item","numeric-id":1060858,"id":"Q1060858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$7DD8F2E8-EC44-42F5-9215-500AE5004547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed355dd232556fbd83c232fbaf2baecab4fdb279","datavalue":{"value":{"entity-type":"item","numeric-id":1854369,"id":"Q1854369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$888953A5-6F6A-4E62-A810-37F5EFC1A382","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$E3331A3C-F4D4-4ABE-AEDD-157F71075E80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cea4e04940bd3504f3c0f2b605e025bc106fb722","datavalue":{"value":{"time":"+2000-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1978233$BE7E137B-95A0-495D-8DE4-6425BC4033F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978233$8DD17934-BEAE-4753-BF7C-49974E908CDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f43b880480d5002d1fdcd1250428da2e675e69a","datavalue":{"value":"1454118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978233$5C54C1EF-EE35-40CF-BA67-994400F0259C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43964923b95c5265a4c81faa5a0c1a0052f8904","datavalue":{"value":"deduction and theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978233$1631601C-267B-475F-B1DA-C576B19B5B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978233$1BE6F883-311A-489A-A6DE-C12B82B49E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cfe5294f8ffd3bfdd3020755df367528bfc2f3d","datavalue":{"value":"problem solving and search","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978233$766CF1D0-A923-4BC6-A8D6-E9382317E729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978233$E9E8BAC4-AF62-4E5F-8C62-D1A2532327EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95f12682f64f5866e4b655585f66f88c75047550","datavalue":{"value":"analogy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978233$1CDF1296-D611-4A0E-9A06-D26615059C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978233$A6406C6F-0617-42FD-AC47-FA2D6D411781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f71d4a58ad0d62f693adb3fe13a9942804229593","datavalue":{"value":"reuse","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978233$B2A168B9-74C5-496D-B2C6-99F0E8E14EC4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$B9A0BA32-BF8B-45CA-BED9-BBDB023FD565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b1f4655c4093a6763ca4d938d08d8f6020262f1","datavalue":{"value":{"entity-type":"item","numeric-id":22153,"id":"Q22153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$556AEA6A-49ED-4D4E-9466-3A26F5804286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a49c6eab3f20625da110b159712fcc58d765d3c6","datavalue":{"value":{"entity-type":"item","numeric-id":31454,"id":"Q31454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$8D2E3F66-1847-4C80-9880-9521767F26BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ebf2accc5d6c6b3c7a81ee7493fd53a6bf250","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$F9271E58-9F80-4121-A582-2564064F36F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ae8e244d27f4e93f1981ec80f87d04dfe89da","datavalue":{"value":{"entity-type":"item","numeric-id":31438,"id":"Q31438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$A88C1064-D52E-4EB5-B533-B738C297B5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b77acad8c60c24a83cd155be9e613e7da3e338bf","datavalue":{"value":{"entity-type":"item","numeric-id":32503,"id":"Q32503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$1CFF08D4-0C94-4B6E-BEDC-99996FE5A1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8563635983d64f6f9eb242024fe0c0071d0c676c","datavalue":{"value":{"entity-type":"item","numeric-id":14473,"id":"Q14473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$8D41A4B6-510E-45E7-9390-804FCF923863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f10e7acb77aa2a053602f0044c4781346f0cbb55","datavalue":{"value":{"entity-type":"item","numeric-id":31444,"id":"Q31444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$94876233-FC6B-4D8D-B310-27FFED4D7A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a68cdd3e97b0168a20493dd016b20595a0a54bc5","datavalue":{"value":{"entity-type":"item","numeric-id":31435,"id":"Q31435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$F3B448F9-55BF-40E3-BCE0-F87C4B059AC0","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":"Q1978233$E9A45549-D274-49AD-B663-AD799C9F7294","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"edead5300ae98ca370a8f480991b5f74c59eaf78","datavalue":{"value":{"entity-type":"item","numeric-id":4255510,"id":"Q4255510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$4ED1647A-7A90-49CF-AB3C-123B66F3E449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$74E3F9FB-51EC-469F-8D6B-848598867304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb3e97929024d2ee37616602a13d3244533bbb2","datavalue":{"value":{"entity-type":"item","numeric-id":3835049,"id":"Q3835049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$67AE4901-1177-4BDA-B0CC-86D3336BB34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07765ad2d4fe964992ed5e0c2f6f183aea0b11f8","datavalue":{"value":{"entity-type":"item","numeric-id":3817655,"id":"Q3817655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$7F9CC303-1619-4890-A65E-8B1773218067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$2D7C9B67-4726-4695-A54F-A37771D97B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a62fc73d328b39f05fc8fae0c1a2a5426db9a","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$AB7072C3-9F14-4173-BAB0-F2461AE4C506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a190721d6574c7e970e0716af2f7c63f3c4a3cd5","datavalue":{"value":{"entity-type":"item","numeric-id":1382153,"id":"Q1382153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$584882EF-2168-4AEF-B0D7-370DE8A1545A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650a6ef07621a43480021b99fec2572000c9d43f","datavalue":{"value":{"entity-type":"item","numeric-id":5234724,"id":"Q5234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$5C4DF5F1-8547-464E-8212-FA9FAE804D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ce360b529a0b94516d65eb2f8d77c4b225e926","datavalue":{"value":{"entity-type":"item","numeric-id":4647500,"id":"Q4647500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$4583D585-89D2-4462-A89B-7479164BFD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$968808F7-6A97-47F9-B31D-D635C4B96695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcbdd8934fccc9b26d783e1275ef19fe3d406e3","datavalue":{"value":{"entity-type":"item","numeric-id":3787520,"id":"Q3787520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$9011B138-F9BF-4062-A34B-323C38F3CF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$B7C46EE8-9526-48C9-99D8-A629B01B2E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11e19574508418c19657a6f1385e1d5821221a3","datavalue":{"value":{"entity-type":"item","numeric-id":4647545,"id":"Q4647545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$731FE46E-9EE3-4199-8D3F-58A30EEDC9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3797ca9c060a8f45bbe361e29094c28dc7f292e2","datavalue":{"value":{"entity-type":"item","numeric-id":1199923,"id":"Q1199923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$F33DDB18-CFFF-49D8-98C0-CC1792FC4350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$113D63EC-DC9F-4472-BF52-2643131F276F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af0f95ed859e534e082690869af7f3afce1c3f44","datavalue":{"value":{"entity-type":"item","numeric-id":1104112,"id":"Q1104112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$E74B54FE-3CC5-4CC7-A823-664570AFF04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01009f88920082225c684801252fe737fd4fe7ba","datavalue":{"value":{"entity-type":"item","numeric-id":1118423,"id":"Q1118423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$A7A8C77D-0843-4CDA-8185-DFDF42522193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$D6AB2146-852B-43D9-BE77-08ACB9D6FFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$FCC716FC-8DF3-4B41-B78E-3758E8A7528A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"413db7e9e3486e14d698141c457596a3a928e6f7","datavalue":{"value":{"entity-type":"item","numeric-id":1367077,"id":"Q1367077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$B9BB3361-6ADA-4BD6-82C4-BE5E74A0A163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55270605e3cfe7b43e48074a113e3c248910913c","datavalue":{"value":{"entity-type":"item","numeric-id":4647524,"id":"Q4647524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$3EEAD67B-65C2-409B-9513-1E390EDED85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db98659fd0d8d989353341e0c12c4246dfe6ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1915134,"id":"Q1915134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$6E8AF76F-EE3B-4722-AD21-5B8AA4AFCA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f551ed723ef346779f6821681423014d91c1ad0","datavalue":{"value":{"entity-type":"item","numeric-id":4647546,"id":"Q4647546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$5B289312-B795-4066-A7E1-CEFF702A497F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6943d359471f17ed0cf6ca2dc09b37122f981dbd","datavalue":{"value":{"entity-type":"item","numeric-id":2549584,"id":"Q2549584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$77DF2AD4-364F-415C-87A9-E01A0A8C13C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1af8abe41c9e8aff502622e419feb3df55654b","datavalue":{"value":{"entity-type":"item","numeric-id":1332851,"id":"Q1332851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$68D89CE1-B541-49D6-A50B-65E2DBC5D72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308c58cce2f8213465feaba423591d1180856211","datavalue":{"value":{"entity-type":"item","numeric-id":5234707,"id":"Q5234707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$D7E86993-394C-465D-89F0-BBD6375F8238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126ab016009eacc9788b8c689bf924c8a59b3e23","datavalue":{"value":{"entity-type":"item","numeric-id":1978233,"id":"Q1978233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$CA5035FE-6425-418E-84FC-549B85D3D7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0593161b7e9e64cb691a3b3b86dad202f5501e5a","datavalue":{"value":{"entity-type":"item","numeric-id":4524774,"id":"Q4524774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$2A4D8F3C-3AC3-484A-B207-FA100A3BD731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5785fa739aba995ed8b4c2984e1e49fa19af243f","datavalue":{"value":{"entity-type":"item","numeric-id":1854370,"id":"Q1854370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$E2FABA5C-837F-484B-94A9-2AA606940EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a96c8b0d5b6202f8e4b277781822b4d40635552d","datavalue":{"value":{"entity-type":"item","numeric-id":1283199,"id":"Q1283199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$AA153694-BCF5-4C24-8441-FFDB3206A86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bab9ab22080967e5d288bfe71ea650ed7efe6f4e","datavalue":{"value":{"entity-type":"item","numeric-id":4002491,"id":"Q4002491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$50F7BAF1-2921-409E-BECD-2579092EA89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd37a31c5ce9eb3310a3d2861b39c852af91e8aa","datavalue":{"value":{"entity-type":"item","numeric-id":1149799,"id":"Q1149799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$F3E2CAE7-A7F3-4CAB-87F3-92FEAFC29AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb9457f1233433ddb3ac70457c8fc889d94bae0","datavalue":{"value":{"entity-type":"item","numeric-id":5210761,"id":"Q5210761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$091AA549-B4A0-4CF2-897E-4C7607881CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a0bfd492dc5440205bb23db5301e8568f83f4cc","datavalue":{"value":{"entity-type":"item","numeric-id":1419888,"id":"Q1419888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$0C174BFD-6E7D-4B9A-AF36-BD17E1852347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a18b76d0a05eab04c5bfa2b5c9b30bab8dd5c3","datavalue":{"value":{"entity-type":"item","numeric-id":1109580,"id":"Q1109580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$895C037F-556F-45C2-A43F-941526BF228E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a177420faefcfce6396fc744cae98a5ec9b03f8","datavalue":{"value":{"entity-type":"item","numeric-id":3992821,"id":"Q3992821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$7387B942-5E0D-4C07-ACA7-21FF1BA811C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c8f4c6b02114c3323bed666fcec0afbad9b7c3","datavalue":{"value":{"entity-type":"item","numeric-id":4255517,"id":"Q4255517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$0C818C2E-BF0F-4223-BE42-6B6190A2480C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$15A93B5D-7D10-4500-A4D2-D4F458DADC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171950b3ab9ade8bc3f4b6d5dc3a4e3f47cef757","datavalue":{"value":{"entity-type":"item","numeric-id":1341666,"id":"Q1341666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$4F0541B1-0958-40E1-92AF-BBFFB8D1D99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb40eaffa350ac2f00c7522e92d2e0a632635b28","datavalue":{"value":{"entity-type":"item","numeric-id":6488570,"id":"Q6488570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978233$0BAAA5D4-7CCE-4905-A4D4-E4A46CEFBA5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"116e87ceb82261943d5eac1f9cef5716fbf8aaa5","datavalue":{"value":"https://doi.org/10.1016/s0004-3702(99)00096-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1978233$BBA1500F-D0C1-472C-8B9F-FB34DC6476A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44b7dd3d725fcedaeca66e1e2ea2444338573f09","datavalue":{"value":"W2117752042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978233$D058F09F-7683-48B6-B17A-5BAE0EDF6A6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597602181c0f93a0ad3700a234bd849cd63f59ee","datavalue":{"value":{"entity-type":"item","numeric-id":4647503,"id":"Q4647503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"503b6ed983a45880a52bdf011b9dbaf98439940b","datavalue":{"value":{"amount":"+0.8479349613189697","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":"Q1978233$4D9FC067-B0E4-44C4-8B5F-2C8363716724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2ce9d05c86c088573e2213f25dbf60f15f642e","datavalue":{"value":{"entity-type":"item","numeric-id":4524774,"id":"Q4524774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14739681142d29451f89e7e2248444a10103d3e7","datavalue":{"value":{"amount":"+0.8013702034950256","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":"Q1978233$9205B0B1-E230-4787-9E0E-90481FAA17EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca7e506ff0bbe4c70d5c07908a5df786ebecee9e","datavalue":{"value":{"entity-type":"item","numeric-id":1854370,"id":"Q1854370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3180be397d6599c90a5badc254940969dba1cfd2","datavalue":{"value":{"amount":"+0.7941189408302307","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":"Q1978233$3FB4E183-1A13-45C2-B530-0D36BE7D0BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b7c44e867088ebe421d817a3d7cc3b11cb2ba65","datavalue":{"value":{"entity-type":"item","numeric-id":5302900,"id":"Q5302900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f72b9c8016ba8aba3c881e4c96e1db75cb4259","datavalue":{"value":{"amount":"+0.7611998319625854","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":"Q1978233$1F34197C-6E23-444B-94CA-E42F33A279A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1978233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1978233"}}}}}