{"entities":{"Q1663234":{"pageid":1673975,"ns":120,"title":"Item:Q1663234","lastrevid":56671503,"modified":"2026-03-18T15:41:03Z","type":"item","id":"Q1663234","labels":{"en":{"language":"en","value":"A verified SAT solver framework with learn, forget, restart, and incrementality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6921418"}},"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":"Q1663234$1AB843BA-EA01-414A-9C87-A8D67A48BABF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a9f95ec9a2db207a1ac17513a93aa4ef4ad1479","datavalue":{"value":{"text":"A verified SAT solver framework with learn, forget, restart, and incrementality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1663234$65F061D1-CDE9-455B-A22E-B5A2AD43843E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52647922f30bf3da80c83f8a043a2026d0ae5a85","datavalue":{"value":"1448.68457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663234$BB1B8F6B-20A6-45B2-A105-39878FA175ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$53FBEFA4-67C6-4FA0-8873-8470250D7F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef26cceb99c4befe66da5792d77abe576a865b4f","datavalue":{"value":{"entity-type":"item","numeric-id":287337,"id":"Q287337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$14322114-094E-419B-9B05-D7E08D983ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e4be225a6094490d6530fbb2f56929f5bbbcf0","datavalue":{"value":{"entity-type":"item","numeric-id":682349,"id":"Q682349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$2E84CD24-5616-41BE-B68D-D2883098DD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$3BEF9D7D-363F-4459-B9A8-358B2E547F82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$6C1C4024-BC9A-493C-8AA4-CF62203B273D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dea8b353f71cbbb3b5cacc724847e34eb1031d7","datavalue":{"value":{"time":"+2018-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1663234$95DCD9A3-CF5E-41EB-9EFC-C8240798B800","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adb8ffd622fa287f66c92dd88af121cf3aefa437","datavalue":{"value":"http://europepmc.org/articles/pmc6044257","type":"string"},"datatype":"url"},"type":"statement","id":"Q1663234$ADB7FC61-414E-4533-98B7-630CFD2C673B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663234$EF81C26B-1A26-486E-80B0-4F1C81245406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663234$371FB87F-563E-42E7-B23B-FA01CFB4A8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663234$8A2D3F03-0A81-4C21-BD33-2C3652A84AC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87ccdc250c013a3ea63846c025ed88ac1f59ec76","datavalue":{"value":"6921418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663234$4912937B-FA01-4CB1-BABE-C242E222C694","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543c7d0ffd0c52aa92a423848e3694a5bcbfca1e","datavalue":{"value":"SAT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663234$BB9997BE-9053-4253-9571-2BC3AB2FA62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c1009ce042b040215adb43e7bcff2e776d98ed6","datavalue":{"value":"CDCL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663234$36672A2F-C448-499D-AF22-34901C55C0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7ac674268224c9b1b4b60f07b959745a70f08d","datavalue":{"value":"DPLL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663234$FE610328-A6EE-4AF8-8031-FB94C367CECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663234$A4BC5A1F-E719-49D0-B757-D09AE819703C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663234$929E357D-FC79-4649-9E59-CAC4322A141C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$FFDB6B5A-631A-4FF5-9FF3-A4E9C775F208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$26349FCD-35EB-4D71-B0CB-D1F3C7770391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$83BD29B8-629B-41F1-8BC0-337118ECD33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e8d40c421847de2e0ab01b9932e18d4bfbfa229","datavalue":{"value":{"entity-type":"item","numeric-id":40949,"id":"Q40949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$AE72E3B3-B1A8-43C9-B754-F16F6A43AD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$1B0D7364-EBAB-446C-B110-3969303CCAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed664df4807a1c1480dbcce90c73c0ac4e6b59b6","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$446FCDD5-F736-4E8C-A101-E328B663FA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"71844b33bb0dedf8413e40660d0beaf63b2dcd4f","datavalue":{"value":{"entity-type":"item","numeric-id":39939,"id":"Q39939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$05AD5326-7F55-4039-B9FD-EDCE426E2FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"92ada66b7fad67177fdd185887b7c38f3272897d","datavalue":{"value":{"entity-type":"item","numeric-id":40276,"id":"Q40276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$3DC17B56-8FF9-4B70-9D4D-7356BE608DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64bf9be9ab36c39dedc3bc5290b05b2b8e2c3646","datavalue":{"value":{"entity-type":"item","numeric-id":40545,"id":"Q40545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$0B93C64C-D31E-4147-896E-21CDCC647C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$FBA50701-19A2-4018-9383-D081B14B8413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"179af68833d4e59c1e0a3c7b1bf054d82b9a6b91","datavalue":{"value":{"entity-type":"item","numeric-id":20426,"id":"Q20426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$0CB51A82-AAE4-4652-B8B8-57D3A01385E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$6AB94E08-6494-4B9C-BD51-766F7C792544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$524F8AFE-6130-43B6-B7AD-F7F46140108E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ad21f150c621099eebc7c2e673cd9cf43b81a4e","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$9B0B94D0-6CB0-4BE9-982A-32B0B76FDE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29f18acc81afc6ddd5da076039d49f7b2b84a2a6","datavalue":{"value":{"entity-type":"item","numeric-id":31023,"id":"Q31023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$E83B7FB4-E015-477D-A223-366DDA79E0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90c7c18880caa813a6bdace0f373d3dec3147690","datavalue":{"value":{"entity-type":"item","numeric-id":40350,"id":"Q40350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$D62238F3-AAFB-46CE-BB34-C684A6AE5276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$2E9DA726-D12C-446E-AB07-8AC614855A69","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":"Q1663234$4B7CBCB1-DDEC-4D5E-BF36-3A90B50FAA47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8606724782fd6f0e4c72bc1d83db7ab34cb986c3","datavalue":{"value":"W2790974881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663234$D0FE7194-EE44-4857-867F-450CA086D14B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bb1fbde49758627c155198368d63677404a4ac3f","datavalue":{"value":"Q64950500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663234$A14D7A3A-B9CB-41BF-BC04-F4B9F8E3F8CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$8169D294-481D-42A8-8577-B545BE03C43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4738798d9702e646d9743f53f948745583da971","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$56FEE3D0-1792-475E-A976-BAEC23922832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$48A41CE9-5E4B-4B17-9F13-C6F76A479832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$5C2FA814-20E1-4FF9-ABF8-2432881B1C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5469f72b3d14e0a040a00af8c98b8e5cf4cb2b","datavalue":{"value":{"entity-type":"item","numeric-id":3172879,"id":"Q3172879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$869BB991-3484-4EF6-8EE7-214A085AFCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399034269be6bba8be1aee8f83a7563dc96523db","datavalue":{"value":{"entity-type":"item","numeric-id":2849493,"id":"Q2849493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$A3A948B2-CB86-402C-A596-CF1EBFF044B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"961e583e188fc7cff1699f17f5a1576a96a31fd3","datavalue":{"value":{"entity-type":"item","numeric-id":287340,"id":"Q287340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$14428EEB-2654-4816-A398-487A364BDFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9395c9f1db18f2a2c543ea7dc76354d49c566d96","datavalue":{"value":{"entity-type":"item","numeric-id":2817909,"id":"Q2817909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$88DA6431-BA9A-4CCB-A273-4CBFEA29469F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac39b9a75827004294f51289a3c3e79253c87a2","datavalue":{"value":{"entity-type":"item","numeric-id":2362498,"id":"Q2362498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$FF07678C-E441-4E40-B2BA-A4CF9B0A75C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494aa31720bff090f87eabeb86ce7380ba058cbf","datavalue":{"value":{"entity-type":"item","numeric-id":5747649,"id":"Q5747649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$858FEE58-1F2F-45DB-9F94-4E07334AE4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a1ce762817aa67ba84d34579fd3b9060a2c653","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$CBB33D35-4756-4F91-9A21-E400051BB767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d5ccea7b6fe9f5a7082344f9edaface083da76","datavalue":{"value":{"entity-type":"item","numeric-id":2405252,"id":"Q2405252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$A14DC042-C518-40DF-9F3F-84E6002D31E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$4D181777-C6C9-4F71-BBFC-C470475F2AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$29D0FD23-9C29-4B12-AF85-3116AADF5175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24266047ac8ffcefe32630c940ffdb70489bec0","datavalue":{"value":{"entity-type":"item","numeric-id":2891429,"id":"Q2891429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$2C27B916-E902-4401-BB73-108C0143E288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd99a3fff630fa124f6ec734bbd66ab2c0e7f85","datavalue":{"value":{"entity-type":"item","numeric-id":2891399,"id":"Q2891399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$BE40487C-94D7-4701-9324-FD6C14721C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$9B1F75AB-53C5-461B-BF82-CE82E8DE73B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$1D5D8D8E-A684-4353-B8DB-A97789918AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205fc50b5519f69b83835852ede0d50684c7d19b","datavalue":{"value":{"entity-type":"item","numeric-id":4247076,"id":"Q4247076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$71E3592D-F6A7-4FC2-9A64-452759D939FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839fe9e80ad88458f41a8a24be5284fc203e2e80","datavalue":{"value":{"entity-type":"item","numeric-id":606999,"id":"Q606999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$94EACC3A-2C25-4D87-BF40-B668CC0F681A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935e96858077565d4f78764b795519c8fe29e5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3613436,"id":"Q3613436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$E0FE9B8A-9788-4C57-A888-733146186D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e6adf13c6408e6c2eebe9bb0eee05dbe30b987","datavalue":{"value":{"entity-type":"item","numeric-id":3524998,"id":"Q3524998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$6A9442E8-B5DF-4ED3-AB4C-C5F7617F6C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b98eb35b62210c470543927e38c2a7520c471","datavalue":{"value":{"entity-type":"item","numeric-id":689615,"id":"Q689615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$AF18D3D0-022F-4388-A207-496576090232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b0bfaa5604fbbf1607bb7e54efdd2fee887b49","datavalue":{"value":{"entity-type":"item","numeric-id":5327338,"id":"Q5327338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$3BB92394-F3B0-417D-996C-BBAE7D6EC362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5dffe5441220fd05c9ab29a095f510d384d606b","datavalue":{"value":{"entity-type":"item","numeric-id":2945637,"id":"Q2945637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$AAC05E59-0D45-4427-852D-E97155D20E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4aed9b8c360dba198361b37afc63de7b6c5158","datavalue":{"value":{"entity-type":"item","numeric-id":5920089,"id":"Q5920089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$188CA0F7-0BE4-4241-90E7-B71C2222DCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cf3ea0d02b0dab18bf43fa3a04332137d66e09","datavalue":{"value":{"entity-type":"item","numeric-id":3224685,"id":"Q3224685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$87F080DC-C371-4E03-99D9-654F8F1A547A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$EF70ADA1-B025-423D-8CBC-7DB998D006EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$A9CB153F-ED6C-4B8A-ACC3-237DF11CFFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$1E72BA0A-1F3D-4995-A2F4-00CD1C39C487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203d48d7253d124888377b269b6bdabd88ab4d55","datavalue":{"value":{"entity-type":"item","numeric-id":2829269,"id":"Q2829269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$F39FB790-866D-4B2E-8C05-61DC55E2FFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f1a85252a4c0a5bb2b7a3eae3c76b6088496bd","datavalue":{"value":{"entity-type":"item","numeric-id":4296962,"id":"Q4296962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$FE7E0389-20E2-4597-8953-4DD9B2566106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f769fe6ef8dd71200eafe07970c69907f40fbcb","datavalue":{"value":{"entity-type":"item","numeric-id":5179007,"id":"Q5179007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$F1764DBC-446E-4444-8B3D-D69E194B5433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa6750f3149d248c4e232f6fdbdc36d7bc86e39","datavalue":{"value":{"entity-type":"item","numeric-id":2920991,"id":"Q2920991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$D39FAEC0-8E19-46EB-AE38-579246A56BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a44575586a212592aeb45bf53933d890e6bf0f","datavalue":{"value":{"entity-type":"item","numeric-id":3449631,"id":"Q3449631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$716F8023-652D-4B6E-9857-EAEB0E2E7B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$5EE19BEF-C8AD-4D63-B89B-541429A0655A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4923c6bf191ba7f4ae681e053be78b91d56f1e69","datavalue":{"value":"10.1007/S10817-018-9455-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663234$41B21C80-76DC-4C13-BFF3-6CFE992BC130","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5ab12d6457ec42347bef47f7f7188cc8c836911","datavalue":{"value":{"entity-type":"item","numeric-id":2817909,"id":"Q2817909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663234$D80E4E4F-C7A2-4CA4-8037-3D92CE4E6277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe0ee0c65a1c6ba94d1ee4b58dc7ef6692e5989","datavalue":{"value":{"entity-type":"item","numeric-id":5429315,"id":"Q5429315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17e192540b5f0cb8cff6b979e2b21065b0e0e5f","datavalue":{"value":{"amount":"+0.89156073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663234$5137F2CE-CB3E-43A4-9B81-84BAC519486A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a107f55234536e2e675d2a36003e9039cb482f5d","datavalue":{"value":{"entity-type":"item","numeric-id":2891429,"id":"Q2891429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1411b3061ddeb5a2fcb20ef5844ad21575ba3abe","datavalue":{"value":{"amount":"+0.8845957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663234$0785D191-CF6C-4CD5-B876-9DA34729B0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc6cf94a941e73c549de5f3f28639ca1516bdd9b","datavalue":{"value":{"entity-type":"item","numeric-id":5386252,"id":"Q5386252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c43a26ab7697019f45e297b8764e3ee6775ebf3","datavalue":{"value":{"amount":"+0.8774822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663234$727BF5E3-D3EA-47CF-96AE-D73BFCDAB0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea53f4d0daf48dd7127e69ca85211a01679fed0d","datavalue":{"value":{"entity-type":"item","numeric-id":2583288,"id":"Q2583288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a707974ec42551a4075d3e67d135e6d98661ad","datavalue":{"value":{"amount":"+0.8717495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663234$F668A066-0890-411B-A60A-3A983F3B76E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cb9ca6f7e5b73344de0bcadf5fbc702aef3da29","datavalue":{"value":{"entity-type":"item","numeric-id":2118309,"id":"Q2118309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c380b5e57499e9c40042de099ee2c7f217566b","datavalue":{"value":{"amount":"+0.8716097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663234$73E06985-0141-498B-AA94-27471F819C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c98e3a2fca2e53bc3e7652a7ccc8979e2c9b05e3","datavalue":{"value":{"entity-type":"item","numeric-id":839035,"id":"Q839035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e4e4f84c7bdd9d884998c60089f13403a2c2aa","datavalue":{"value":{"amount":"+0.86758554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1663234$A74F082B-0591-4BF8-8DFC-C177C06FEAA6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663234$783BBB26-D25E-4AF8-885B-C6CD4A0F67F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1663234","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1663234"}}}}}