{"entities":{"Q540694":{"pageid":542461,"ns":120,"title":"Item:Q540694","lastrevid":62636676,"modified":"2026-04-11T07:26:28Z","type":"item","id":"Q540694","labels":{"en":{"language":"en","value":"The use of embeddings to provide a clean separation of term and annotation for higher order rippling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5903839"}},"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":"Q540694$FB6B1944-ACE8-4AB9-907D-77D73E1A6B91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbfae06ba71380a3a3eb7d82973f7b6b3274a670","datavalue":{"value":{"text":"The use of embeddings to provide a clean separation of term and annotation for higher order rippling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q540694$2099A1F2-B391-46BE-B5EF-BE09DC16842E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a5955003cbd1f97919232f14514ebbbd894e434","datavalue":{"value":"1216.68232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540694$D0D83372-F6D2-48A6-9CE9-35EFA70028B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff7e731a225299809c7217b779a74b446dd9c768","datavalue":{"value":{"entity-type":"item","numeric-id":540691,"id":"Q540691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540694$CAF33CEF-0F1A-470D-8D5C-0ED368C28EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1049fb3a5c1f5f050767d0dfd05ea2dd53468c","datavalue":{"value":{"entity-type":"item","numeric-id":540692,"id":"Q540692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540694$B534BED4-70B9-4413-BEA5-5C90BFBB6907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6df844f896d888573d76c54cedfde12049f28d2a","datavalue":{"value":{"entity-type":"item","numeric-id":540693,"id":"Q540693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540694$950C7E9E-D83D-4B70-8702-873BCE6DC8AA","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":"Q540694$2697A46E-86F7-4578-972C-B7A37F48E057","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97ec2afdf79c6632e29986375b104998c12b878d","datavalue":{"value":{"time":"+2011-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q540694$45403E5A-9CA6-43B7-A93C-41B27B1EA665","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540694$2FDCDD13-84F3-4380-AE50-EFD5AC151A30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"653bffc3ec87b4703dde3e424b2460b6f9f346d3","datavalue":{"value":"5903839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540694$54B77480-8FDA-422F-B7F4-BC085662998D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01873808ed420453ae082d7e18447e172733687b","datavalue":{"value":"higher order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q540694$C03F58D2-AC4D-44D4-9712-B53DC83ADD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q540694$408C12B6-7524-45F3-A0A0-B1675CBFAB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e925d21691ae524cbfb2c7846fe00986c22417c","datavalue":{"value":"proof planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q540694$DEA2840B-611D-4AE8-9089-9313FB046D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dcd23f1ac15738884d4f597ff06d742c7a60a96","datavalue":{"value":"rippling","type":"string"},"datatype":"string"},"type":"statement","id":"Q540694$80AA3AB9-F409-4AC9-8A2F-ABC14EEBD708","rank":"normal"}],"P1463":[{"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":"Q540694$BB324801-24C7-4376-B0F4-C61A6E32A8B0","rank":"normal"},{"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":"Q540694$32C76552-9601-41C8-AE69-D91881D4FE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1ccc8faeab7e6c417af9846c477f0e521ebe1b","datavalue":{"value":{"entity-type":"item","numeric-id":14592,"id":"Q14592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540694$C50ABED8-AAD6-4AC7-87C9-B5B42FB87CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540694$3A42EF2A-29FD-464B-9C5C-EE745FE03EE8","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":"Q540694$5297B263-0DBC-48E2-9B34-7D88CAA1A5E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0668c9232eaf44f98c2366440b0a36e8921bee70","datavalue":{"value":"https://doi.org/10.1007/s10817-010-9177-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q540694$6BD1DC4A-A6FA-4977-9BD6-1F3160F33987","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f00ad507badb7fda7fe0d231eec9087ca56b126a","datavalue":{"value":"W1971433298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540694$2FF3F7D3-F1EE-4519-828A-0E6192843F76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6145ee3ad7ead0384969628693267a5884274057","datavalue":{"value":{"entity-type":"item","numeric-id":1915137,"id":"Q1915137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540694$A106101E-78E7-4327-8403-51BF422D536A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a42635e354ed5a90dff7abb6b01b6c7ff160dc","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540694$5B2A3F3E-FBF8-4A76-A119-76175013AD57","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":"Q540694$227C9A8D-4225-40A4-A3B3-085E033D437F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f67cb5cfdddb90fbb8ddbe2f7d68ef882e331a","datavalue":{"value":{"entity-type":"item","numeric-id":4790660,"id":"Q4790660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540694$17E12474-AF6E-4F67-AF5D-287AE339F7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1c165ac017b0fdebcae7fb80e24faa99c5a2d3","datavalue":{"value":{"entity-type":"item","numeric-id":5464664,"id":"Q5464664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540694$C3030703-8BB9-4CC8-8906-9F446C12B862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f9d1a63b9816e8002c34e1ca2d1799d12ae0527","datavalue":{"value":{"entity-type":"item","numeric-id":1582389,"id":"Q1582389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540694$EEEA7228-806D-4459-9721-BEE14A3ED7AF","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":"Q540694$36A7DB18-1129-4126-8A1A-8CE530309786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea54b811ff390aea0ed0ec764fa22772489e900","datavalue":{"value":{"entity-type":"item","numeric-id":4036585,"id":"Q4036585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540694$48370E13-01DE-401C-A2F2-F523E6893EEA","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":"Q540694$495CB6DD-61FD-418C-B70A-C4E5662D34D0","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":"Q540694$5A31F377-70CA-4AB3-85D2-C6C0A9E3D93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f3df713312a9e3c7a322486a58346b343f25100","datavalue":{"value":{"entity-type":"item","numeric-id":4264708,"id":"Q4264708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540694$4B6834E1-F918-4C1C-A649-F1B3BFD2024A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d43f8457a86837678a76c8437ede61dffc2e779a","datavalue":{"value":"10.1007/S10817-010-9177-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540694$AB827C2F-6998-4336-81B8-9C292354088F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7350440adc65afd101108240b617d27ec4780b","datavalue":{"value":{"entity-type":"item","numeric-id":1915137,"id":"Q1915137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b860c75b8e3b4b0e6f192b58a39bb8879dec3f","datavalue":{"value":{"amount":"+0.8285776972770691","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":"Q540694$7E60C2B9-A3CD-430D-963A-3CF4515399A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c96a18c240f93911be8e6b1a11d91073a171525","datavalue":{"value":{"entity-type":"item","numeric-id":5234713,"id":"Q5234713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd7d8f8d02bba17165f0edcbbf2e5644fc65227","datavalue":{"value":{"amount":"+0.7999520301818848","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":"Q540694$B7F0BD55-4FFB-48F5-A8A2-D1ADB9B42380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58008fa9e843b740103517488e6a1855d7482e65","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f531fe9771146073fd2bc113715f320bdbcd20e","datavalue":{"value":{"amount":"+0.7988532185554504","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":"Q540694$C4E97923-E99A-4423-98AB-D08F9C850836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4a89a7c13b6470a95b012a7f5ee0837e0223f6","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ce4df06d4b87f718e7ba36d89e79c02180240a","datavalue":{"value":{"amount":"+0.7971364259719849","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":"Q540694$D3D2A7E9-6CDF-46E4-A5C8-5BA84CF50514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a6a7803906ce00b51fba1fb0c658bb7d25eff5","datavalue":{"value":{"entity-type":"item","numeric-id":1582389,"id":"Q1582389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ce4df06d4b87f718e7ba36d89e79c02180240a","datavalue":{"value":{"amount":"+0.7971364259719849","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":"Q540694$4ECE90DD-265B-4142-A602-8FBC522A99D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The use of embeddings to provide a clean separation of term and annotation for higher order rippling","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_use_of_embeddings_to_provide_a_clean_separation_of_term_and_annotation_for_higher_order_rippling"}}}}}