{"entities":{"Q865629":{"pageid":867477,"ns":120,"title":"Item:Q865629","lastrevid":50036440,"modified":"2026-01-12T18:21:08Z","type":"item","id":"Q865629","labels":{"en":{"language":"en","value":"TPS: A hybrid automatic-interactive system for developing proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5128344"}},"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":"Q865629$A316CA1D-183C-4A6C-9BB9-85A9DD19685E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecb7ea758ad921484c80fb375636f3dbbcc12a30","datavalue":{"value":{"text":"TPS: A hybrid automatic-interactive system for developing proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q865629$49845E3E-DB1E-4CE2-8C6E-1C4DEA9602FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80841994bc3d7df53636087043b1cd69860a769f","datavalue":{"value":"1107.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865629$2C35799A-96A0-4151-B581-EEC02CC40C87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"025155ad88f33216a4124a2c377d3f6c78a58a7c","datavalue":{"value":{"entity-type":"item","numeric-id":804556,"id":"Q804556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$02B1C271-F7F9-46F6-920B-7EB11B3D6CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a1f3f19dead339cd86bffa0b34dbb56772c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":438560,"id":"Q438560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$2B628DEC-789D-4574-9501-82F1F5C07C0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$46D2ED91-EBD2-4FB6-9F21-8EEEBDACB2A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q865629$AC46CB60-A17E-408C-A6C5-703046227A97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865629$8418AA63-F8B3-425E-A9F8-789F039E19AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b4686a531843a3e624cde08c070272639f95a2d","datavalue":{"value":"5128344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865629$B0DEBBF5-7AFE-44E4-A796-296937037784","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d981c9dd92ca23cedbabf48988562a45239d72","datavalue":{"value":"TPS","type":"string"},"datatype":"string"},"type":"statement","id":"Q865629$9C62A419-228A-46BE-9371-518BFEE23C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e42183867ccae4135fabffbcc4c4af79c213e45","datavalue":{"value":"theorem proving system","type":"string"},"datatype":"string"},"type":"statement","id":"Q865629$3A4B08D0-5B2F-412A-8C13-76B9EBECFD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c69de3d87674333be95923d893489aa8738e965","datavalue":{"value":"automatic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q865629$7430C0C9-E14F-45D6-891B-BBBF15D54314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a49f390bcf2fefaea53d516d4f4a007989fec7","datavalue":{"value":"semi-automatic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q865629$277E0485-7519-4E3C-9780-13134672F5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f74924a7ce97d21c7357fafeeeadfb74940a632","datavalue":{"value":"semi-interactive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q865629$F2CC37D1-81B3-4007-8737-F34A0528511C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8428c3fa111c0542ed22960ce5dd7f76f7043e0","datavalue":{"value":"interactive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q865629$B14AE9CC-5FC4-4968-B273-D52594A9E280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q865629$90BDD5E9-8FF8-4BB5-9FC3-3F2BC1C86325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q865629$1C1B41F6-E88D-4622-AD79-B3D617B57AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q865629$E7C403F0-A5DD-45B9-AD43-FDD2600C7A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f13ec4c5a9b578c1974b14392309a5e73b4b5f","datavalue":{"value":"automating mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q865629$8877CD0E-2EDA-404F-9CAE-ECA10B6A9885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"633170a7a2adaaa610d7fe8bb369ad326fefe1df","datavalue":{"value":"mathematics assistance system","type":"string"},"datatype":"string"},"type":"statement","id":"Q865629$E76775E9-BC6A-492C-9031-1567B13661E3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$7C7D8B0E-D32E-4BD6-8553-98ECF878A2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$CB4EBC2F-6301-483A-992F-87592D50E78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$0EEB3C56-706A-4F97-B301-7F85EE0A6B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$80E6A1BD-54E5-4C25-9DA9-32E891C7D875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b799da0cc0efb29a46dd283874e64386ca0e87dd","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$B8075667-D27C-496E-BBF5-739D9B403893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0d692673f617481b2d4b5ce1d6ba76dfe8c4c054","datavalue":{"value":{"entity-type":"item","numeric-id":25223,"id":"Q25223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$D1A934B4-D997-40DB-9002-A50D53DF75A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42d0367ffc4d2b82e6fb2192cfde6351c1daa402","datavalue":{"value":{"entity-type":"item","numeric-id":31432,"id":"Q31432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$FD6D81C1-50BC-4EDC-9BFE-2481E552781F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec97af8dbde1b3f52d57c157b7fa0c737d48882a","datavalue":{"value":{"entity-type":"item","numeric-id":31439,"id":"Q31439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$2B299CE7-E533-4B23-B64A-9125F7EB4022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$D085E9E7-1A5B-499E-9F19-47FFED37BB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$261DDF53-78F9-476A-A691-E35436CA1257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$39CCAD7B-CEF6-433D-9BA7-9AC49248EB9C","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":"Q865629$256EA03D-D176-4284-93DF-37D7D6798045","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6eb92eac4c2e438a04f3044ade5a8c4d5700cf8","datavalue":{"value":"https://doi.org/10.1016/j.jal.2005.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q865629$9BF735EA-E2FE-4F0D-BCD4-71312D295A6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a1629bc681077a65ef08620a1e7494a0240cb90","datavalue":{"value":"W1987549075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865629$71A9441B-6C37-47EF-B586-2CB8826B3BFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad0eeac3b2d9aea59d4e0a75de4182d01753ee","datavalue":{"value":{"entity-type":"item","numeric-id":1923825,"id":"Q1923825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$9F0E7AC1-C051-4A17-B233-92559DBAEA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2754d25527675408ed3affc07580830095fee66","datavalue":{"value":{"entity-type":"item","numeric-id":2723416,"id":"Q2723416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$80E7DC15-3097-417E-BD15-3B97A2129725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a782dae04bccdcae6268f44742e68ac18ada1a","datavalue":{"value":{"entity-type":"item","numeric-id":3338232,"id":"Q3338232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$81990EFB-D9C9-4E5D-B035-5246BD2C5956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$87CFF678-376F-49EC-98EC-53F5821F82AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84661190c70e049933b7bb825904abf4b4a875a","datavalue":{"value":{"entity-type":"item","numeric-id":908896,"id":"Q908896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$542383D4-D890-4C24-BAA5-89D71BE34CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb436ab2eeeb524568a9b987facbb81b25a59620","datavalue":{"value":{"entity-type":"item","numeric-id":4809075,"id":"Q4809075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$77E2CC28-3356-4AB1-8EB1-84AA9DAB2364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85f4307e7d755efe8fde853eae81b7b10c52a7b","datavalue":{"value":{"entity-type":"item","numeric-id":2751367,"id":"Q2751367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$2D6DA34F-299A-4252-94AE-8265B3CC6711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$6D72271B-64A2-4480-BF0A-9BC8BE844CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f50ef70b1bd87b3fe870cc5fb000ef1fcbccbbf","datavalue":{"value":{"entity-type":"item","numeric-id":1319383,"id":"Q1319383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$6492333C-BAA9-4E4B-8465-AD94AEA322E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$DFA71814-90BD-4B58-8B16-C773CC5FB298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49380a5a0cffda5d1e1b4a498a844a9c2c454f3","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$7382899F-D2FA-4563-8E1E-F4E4708F9347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$4EEDA839-4BB6-41F6-B3A5-9CDB827A4E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90f4bbf6bc7735bf0bedb03783935847e3cbf07","datavalue":{"value":{"entity-type":"item","numeric-id":3140015,"id":"Q3140015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$8DC8306A-3FD5-46F3-9C98-DB7DE100D482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64a17260ef50bc61d32defb60063d695fede481","datavalue":{"value":{"entity-type":"item","numeric-id":1197385,"id":"Q1197385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$9ED3A8A3-8041-4272-BC22-04E746B17EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280442ce105b23ca3597e15fa2038c58314d7165","datavalue":{"value":{"entity-type":"item","numeric-id":1845619,"id":"Q1845619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$165CA351-0E6E-42A6-8D85-3AD518917C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed4e2b73edd0e2661ebb75822eda29ecb9eb63a","datavalue":{"value":{"entity-type":"item","numeric-id":3906484,"id":"Q3906484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$DB59DA96-3A4B-4CEF-A8F8-FBE03076E441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$935DD225-18A0-4A13-A913-7F89E2F521EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fba5a1fdfac74b8e0dcefe0e56f5b10792486d","datavalue":{"value":{"entity-type":"item","numeric-id":688547,"id":"Q688547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$A6E8165B-58FC-4E76-A5ED-E7AAD1D92CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$2051B1A4-CCC2-4FC6-9B9A-3D01A833CA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dc8108f2081291dc2c8a5cfd228eee449a3df8e","datavalue":{"value":{"entity-type":"item","numeric-id":4247078,"id":"Q4247078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$CDDAB34C-31FC-46EB-8823-94C6E83E3E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e135ccd561cdda0c1175a6bf5e311cd921c196","datavalue":{"value":{"entity-type":"item","numeric-id":2492154,"id":"Q2492154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$00CAD020-D989-42E2-8848-DF547100CE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$B5E86E9D-8333-446A-826B-CD7782B91FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$D4235ECD-BF08-4A5D-81FD-789E72FF3CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$7B3AB52C-0B58-4ED5-BCA0-887D104CBDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa946e46dd7fe5ebbecad5b92f77605dd2ee5cd0","datavalue":{"value":{"entity-type":"item","numeric-id":1319391,"id":"Q1319391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$5E721FC9-D93D-41A3-912C-DE2B6B7482CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e4088c957d4c5bfc6fb9d72d3bd83a8d4a327a9","datavalue":{"value":{"entity-type":"item","numeric-id":2767046,"id":"Q2767046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$4BCFA0E4-A80B-4DDA-A47F-597E1C162CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$A70E7A10-AAEA-43D1-A1D8-91FC0F7CB42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10630f5160097667960414f663a902e7cb3018df","datavalue":{"value":{"entity-type":"item","numeric-id":3087995,"id":"Q3087995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$27CAC4C8-D2F5-44B3-97A4-73B0913AC3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c35f4ebf8ba3be41685e193d999fe177c48a9c0","datavalue":{"value":{"entity-type":"item","numeric-id":4790648,"id":"Q4790648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$D1F9E430-8867-41B6-9B1E-B76E96EABA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb9865b9ec7d75ea6408f7463449ba93e2c161e","datavalue":{"value":{"entity-type":"item","numeric-id":5307478,"id":"Q5307478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$15D3F6AA-6D98-481B-9E8E-6672CA25F4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54610551b079750a1912b04c566b7c8cb84a1b21","datavalue":{"value":{"entity-type":"item","numeric-id":4809051,"id":"Q4809051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$555DC16A-FBA6-4F25-8EB4-1775A7EBFC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3889f1c4e59f3caf0fad68024f018e3e2f0e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1389909,"id":"Q1389909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$CC490B4B-7107-49C4-B36B-48AC8928415F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c043d2799fc2d98f6a4b192df15139c7e790b11","datavalue":{"value":{"entity-type":"item","numeric-id":1295984,"id":"Q1295984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$0DA1C1AB-6161-401C-91E7-C6CC83AF3009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e458e86c97f7ccf8f962d3236b3d8fde33bada17","datavalue":{"value":{"entity-type":"item","numeric-id":1613678,"id":"Q1613678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$9F818A87-578D-4CCB-B18A-291BF6018AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7fd37d204fb20b762bec6316b28d5a90dd2badb","datavalue":{"value":{"entity-type":"item","numeric-id":6488543,"id":"Q6488543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865629$6DC71882-E25D-4A1E-96C4-2C8E0C076AC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"673712469e59be1b7870d9355f5ac98ff97aa58b","datavalue":{"value":"10.1016/J.JAL.2005.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865629$FBD85716-32AC-4A5C-AECD-ED76BD19CA77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"799a38e83bea9921db7a769536fd5def8b656e78","datavalue":{"value":{"entity-type":"item","numeric-id":1923825,"id":"Q1923825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b84f1cdf9164d582d692771ac47003b3c500077","datavalue":{"value":{"amount":"+0.8525176644325256","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":"Q865629$888D3DF0-533F-49A0-A95F-DDD790615150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8db65f4a30f1bfae13dbc2dde40a4f8521358003","datavalue":{"value":{"entity-type":"item","numeric-id":2432769,"id":"Q2432769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e83658f14171ce733311e2d26ff5e32e4dbad6","datavalue":{"value":{"amount":"+0.8518706560134888","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":"Q865629$BCD1943F-2DEF-4E4C-816C-E9677E45FE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d791142e1e65a80dacca3a17722b4ad0e5718b","datavalue":{"value":{"entity-type":"item","numeric-id":3696551,"id":"Q3696551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7d25eafb73a0b8402b796a8abc4879966bf05c","datavalue":{"value":{"amount":"+0.7970370650291443","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":"Q865629$E48301C8-E8DC-47A2-A53A-D9ED2FC82E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5b9cb0856d127c2a916c295ebc1e9c91730609","datavalue":{"value":{"entity-type":"item","numeric-id":3804241,"id":"Q3804241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de932210e46121c3eb28805d2d1585d253d38ecf","datavalue":{"value":{"amount":"+0.7887906432151794","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":"Q865629$9338C8C2-E05F-4032-AE26-978427A4F30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7c8ec3a59ef97be96d96d0177ee5b1e08031ba","datavalue":{"value":{"entity-type":"item","numeric-id":1341710,"id":"Q1341710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be01b9f1ee3a90e69d60cbd242e2da4b13c5320","datavalue":{"value":{"amount":"+0.7829395532608032","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":"Q865629$6F4D825E-3353-4B8F-B5CA-94BDE9FE47C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:865629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:865629"}}}}}