{"entities":{"Q3224672":{"pageid":3235380,"ns":120,"title":"Item:Q3224672","lastrevid":87091976,"modified":"2026-06-04T10:39:44Z","type":"item","id":"Q3224672","labels":{"en":{"language":"en","value":"Constraint solving in non-permutative nominal abstract syntax"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6020580"}},"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":"Q3224672$E45B9849-1A78-421C-AD07-27CF3656F630","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f56d0166fe3416b58931560264a508fdc63fee1","datavalue":{"value":{"text":"Constraint solving in non-permutative nominal abstract syntax","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3224672$F173E43C-0EAF-4FB2-A36F-69178B454B5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bac8115dc91e850dea17b245fa722d8e730ebaf","datavalue":{"value":"1237.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224672$17A93473-183E-408E-8FB9-E6651F8F5C7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9bc77b5f48e903ee376fe3b8036fd9afa815f5f","datavalue":{"value":"10.2168/LMCS-7(3:6)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224672$5E5D1A88-163D-4D50-B406-079BC67C16B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8b4e778c280d6d8cb813f4d61e1c839d2cd798","datavalue":{"value":{"entity-type":"item","numeric-id":288809,"id":"Q288809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224672$E177E8DE-C61B-4648-8BA2-26D6D771A159","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224672$3EBF36F1-D08C-4E32-9810-FB47AB04DDBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a20009f475df93c72840e2e5b3a3e90a55f1389","datavalue":{"value":{"time":"+2012-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3224672$A43B78B4-084E-4F14-B513-82ADCB817060","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224672$10B73104-E701-4C77-874C-574D583CBA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224672$1B92B8E8-1065-4D50-9347-B4EADEBB15CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04c815daa19ffb7c639030a98eb91be6cd49d780","datavalue":{"value":"6020580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224672$668ABBD8-3383-4175-AE68-C45972848367","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224672$099D65FA-8641-40DA-AB43-FCCD12A4BB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"343d72c13fd2950200a59b3246024e9ab24f10d9","datavalue":{"value":"alpha-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224672$910E8D12-0066-4936-B20D-B35CBDF71E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f096f8ffbd1ceedf6bc993ca7f44927ad0aacae2","datavalue":{"value":"nominal abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224672$5A38673A-74FA-4091-994E-70451701EA6D","rank":"normal"}],"P1463":[{"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":"Q3224672$AC351752-F844-41C9-A543-9D3FC2AB09D1","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":"Q3224672$039F0B9E-EDA8-46D5-82F3-E9EC631DEC40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc696d8568c3294ae60acdfffe5e7b6a328a78cd","datavalue":{"value":"https://doi.org/10.2168/lmcs-7(3:6)2011","type":"string"},"datatype":"url"},"type":"statement","id":"Q3224672$B922BDA5-D7E0-4DD4-B608-EB906F18DA67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b84a4dbae1e9f79b04e7e1be1ca27221a5ff9f63","datavalue":{"value":"W2074167529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224672$56F0E3ED-B4EF-4FB2-A00C-C12E1F97156B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313f9a8b492844dd2fb6471886de7fd6e033aa99","datavalue":{"value":{"entity-type":"item","numeric-id":1687556,"id":"Q1687556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15cfff0c0415d564de31a30f46788eae9317a6e","datavalue":{"value":{"amount":"+0.7986937165260315","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":"Q3224672$3BD2F19A-B8D7-4BC5-87BA-3ED3AC3EB4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca82decccf7ff025d61eb1b0750250aeb6181e3","datavalue":{"value":{"entity-type":"item","numeric-id":2219072,"id":"Q2219072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f57a6815d9fa854c5a6a3ff823c88c5ea130b708","datavalue":{"value":{"amount":"+0.788179337978363","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":"Q3224672$6D3C20DD-9BBA-492C-BF04-221D120C4C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4edd30ecd222b7f1d3b078cafe8207a9540d3359","datavalue":{"value":{"entity-type":"item","numeric-id":616849,"id":"Q616849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14c5d9d8744e584c88d0096f0807b43a1db7eff","datavalue":{"value":{"amount":"+0.7880334258079529","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":"Q3224672$E82D82B6-E3DB-4CAD-B2CD-3E6EA45A1A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60acd6cf49ce20d1da209d3d8ed26dd790744cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5466474,"id":"Q5466474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a0d0688b177010d104a1493c7426ab59209530","datavalue":{"value":{"amount":"+0.7827107310295105","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":"Q3224672$939A7B2B-A35C-488E-939C-F047D2EA30B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82a566c5a4510d10ac65aa16a67b65293e15e1ad","datavalue":{"value":{"entity-type":"item","numeric-id":944382,"id":"Q944382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa2d73a319b657fc82502f961f02e2703ce0573f","datavalue":{"value":{"amount":"+0.7817007899284363","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":"Q3224672$A284BA56-CB41-43A6-B30D-77ACA1BCD5D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constraint solving in non-permutative nominal abstract syntax","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constraint_solving_in_non-permutative_nominal_abstract_syntax"}}}}}