{"entities":{"Q4635625":{"pageid":6665206,"ns":120,"title":"Item:Q4635625","lastrevid":53070314,"modified":"2026-01-24T04:10:27Z","type":"item","id":"Q4635625","labels":{"en":{"language":"en","value":"Pattern logics and auxiliary relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863098"}},"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":"Q4635625$0F2BDEF8-6B12-4EEB-ADEE-37AAB17C1D96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32e562514be4d2db22a53b5098e5a831301e6a9a","datavalue":{"value":{"text":"Pattern logics and auxiliary relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635625$07D17DC1-451B-46C1-A178-2738D0919E5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5ead27abe32c9c480bf9587d9902101a364cab0","datavalue":{"value":"1394.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635625$DB787813-3DEE-4DAA-9C7E-D7A92A593A7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48bf8e415381ca025a855b1cff28084c297301cf","datavalue":{"value":"10.1145/2603088.2603136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635625$5DF158D2-0630-44CE-ADBA-CD1A2C0D2ACB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c0e46338d9cf33563ae57333053dcfe22df5cd8","datavalue":{"value":{"entity-type":"item","numeric-id":905681,"id":"Q905681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635625$1E631F74-5B57-462A-9AA5-68EBE3E60257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7031b84dffab1e32107789cd00559636fcfb642e","datavalue":{"value":{"entity-type":"item","numeric-id":923676,"id":"Q923676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635625$DBB8C378-144B-454C-A238-EBA1C3C594F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635625$47AE21C8-9A65-41C3-911F-18799FE57FA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635625$73A513C3-FC29-405B-A36A-DFE7229E1182","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9d8b2c795866c0c0f3761282b310cb338b19820","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/19466014/Figueira_Libkin_2014_Pattern_Logics_and_Auxiliary_Relations.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635625$0BB9AD62-F692-4CBE-9742-F1CFD5434F4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635625$B063BBE6-2DAB-47C9-A055-2DA003E8005B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635625$8E5D5FFC-1F1E-40E4-8903-E83B89FF74DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635625$8ECB2A2D-349A-4D42-AF22-A2E1D8945AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635625$9FBCB2AA-B7D8-4770-BD6B-73F3DF13ECBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635625$D8B460DD-A983-44A9-9454-724E85D62867","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1388eb777473f2efc11460a73350448637eddc39","datavalue":{"value":"6863098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635625$DE0092E0-2D0A-47CE-A11B-1B7449A5D25A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"557fc20e1cde6db6856c52912c38558653037ec5","datavalue":{"value":"XML","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635625$C53CCD27-7FD5-4112-B3C0-A2CEE3FD8105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfcec6116cdb5493b34a38f5d7566149d7933705","datavalue":{"value":"data trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635625$869717C7-4178-44BA-A128-2AA7E88710A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635625$C52AF9BA-D338-406F-A938-E517850ED99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635625$EF78F6A0-3163-492D-879B-7C2B25A95155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635625$8B670FAE-C83E-4560-AA5F-EAFE0FCC0706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c27c9628743f80c1ad24b038a649eb1858fcb7","datavalue":{"value":"homomorphism preservation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635625$ECAAE0E7-3E18-4B8F-8AED-1F88520B8593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5b73a08163a09a75cd91878ee7b2e9cf204284","datavalue":{"value":"locality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635625$734FCAE5-E9AB-4B57-9429-441B542EEC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a650f15583af62d1827b2ebb16e134294cf5840","datavalue":{"value":"pattern","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635625$2E743239-A6B6-4CF6-BCBA-0F93D29F046A","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":"Q4635625$3CDE3EFE-3235-4940-9ADC-EDA4A3CA325C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffe1f7b06f96f7734150248151838515e2b1c0c8","datavalue":{"value":"W2101722040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635625$A48D7F59-535D-40B3-9120-BCE0DB963288","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e5d6bb1fbd0ba59751307d6f69c273b248562e50","datavalue":{"value":"Q130880065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635625$AC3061E6-62B0-4B25-B475-480348089A61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286aab354a56ced22c1d7857ca9a8be8199cfad9","datavalue":{"value":{"entity-type":"item","numeric-id":4413449,"id":"Q4413449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb014d53a303b29ecc2f50ddb18c03060e8dfa1","datavalue":{"value":{"amount":"+0.739557683467865","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":"Q4635625$111218B1-5617-48F5-8242-B8E835B35BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51cf7b05be876b3948522f21cb7bdb22c8d7427c","datavalue":{"value":{"entity-type":"item","numeric-id":4418631,"id":"Q4418631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26849b9fa1ed7f6c400ea1a4b6ebe27a73a0293","datavalue":{"value":{"amount":"+0.7154127955436707","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":"Q4635625$9C9F6768-9181-4984-8F64-FC35857EAA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd60cfb764a4a648bb744000cda0ab64645455bd","datavalue":{"value":{"entity-type":"item","numeric-id":5716799,"id":"Q5716799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35735c5503a61ae0fc95466856b9008de011ef07","datavalue":{"value":{"amount":"+0.7040899395942688","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":"Q4635625$C31DB37E-4DDE-4873-8B66-D560E4C51801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9177b42f6f10a2968fa388fdac4e838f999de088","datavalue":{"value":{"entity-type":"item","numeric-id":5310661,"id":"Q5310661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c84cbd5e1e6bbc5677a25941978e161e2de22d8","datavalue":{"value":{"amount":"+0.7039520144462585","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":"Q4635625$9CC869C4-41E6-4114-8FD2-40C9259F8B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cab9eff004440717ac12f3c036d5eca67c3856ff","datavalue":{"value":{"entity-type":"item","numeric-id":5278208,"id":"Q5278208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b338be14bdd249c17308a4b4b6ef5f6d6153c2ad","datavalue":{"value":{"amount":"+0.6990655064582825","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":"Q4635625$F1815C1C-B73B-432D-ACA8-98358ED4C7C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635625","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635625"}}}}}