{"entities":{"Q4385454":{"pageid":6415053,"ns":120,"title":"Item:Q4385454","lastrevid":46525266,"modified":"2025-12-24T23:30:27Z","type":"item","id":"Q4385454","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1140686"}},"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":"Q4385454$8CAC0F96-0C4C-41EF-9913-56665670B1EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a670b59bcd125c936ab14306f7b568ea6877a07","datavalue":{"value":"0893.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385454$B9F1FDBE-3376-454B-9E70-AD9D1059FD12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33423fd214e41478017ece7904a590cfc211acb0","datavalue":{"value":{"entity-type":"item","numeric-id":752666,"id":"Q752666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385454$0AA0FD29-19B7-4B32-B727-895B1B7B5D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2155ac03f59d95df5f11151c03e023a3e51d8c2","datavalue":{"value":{"entity-type":"item","numeric-id":4385453,"id":"Q4385453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385454$7B9DA92D-F2DC-4136-8716-15E8BAE35702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63343326dc3782dfaf32190a15d54584cc577d5","datavalue":{"value":{"entity-type":"item","numeric-id":541294,"id":"Q541294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385454$9A60531D-424E-40A3-AA5E-1B1112022AB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5db0d405f6ae86d2c7391df1633165283031cbc2","datavalue":{"value":{"time":"+1998-07-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":"Q4385454$ADAC7F80-309A-497F-8EFB-F720230F4FA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385454$1127070A-AE89-494B-89A2-BA03911D30EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385454$D919735A-BC7C-4BF2-A842-C7DC2C03E9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385454$897748FB-F428-469D-8222-E1C89A0DA3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385454$BE4CD537-C30E-4610-9A1F-EBF12608733A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27caeccc13c4c1c8fc1a79a445e2310144c80278","datavalue":{"value":"1140686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385454$0E1009EB-E976-4B1D-A0A2-A4B489351E62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385454$7F9024DB-E497-4962-8099-60D0750FF5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385454$F1E7D12A-6562-4594-9F97-30DC9717AF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385454$EF2AA942-B677-4BEC-B6D7-9E98A0CD4A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ca6addfe8bee707903287ae5b3c8b3de7623da8","datavalue":{"value":"existential quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385454$A167A14E-FC73-4771-A27B-FB03D1F196AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385454$3506EE81-1E0F-4F2E-B6A5-0815CA02BB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385454$4129494F-11F3-4F33-AB26-B46CE16704B1","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":"Q4385454$2A7C6C17-EBC4-4CF1-9E44-C20DE59C6AEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536862937f54924263f733391742c6bfa1dc050c","datavalue":{"value":{"entity-type":"item","numeric-id":4737136,"id":"Q4737136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c3416625cfda390492185710fa5fce364dfd4a","datavalue":{"value":{"amount":"+0.838117778301239","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":"Q4385454$E1F7243E-B7D3-42C4-A3EF-69D404695CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e494e20ee7532b98fa669f6d974be3afa196ddb","datavalue":{"value":{"entity-type":"item","numeric-id":4876428,"id":"Q4876428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad37723df15169d2104ec962ff936790f4a1e4c","datavalue":{"value":{"amount":"+0.8302228450775146","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":"Q4385454$28FC83D6-D51D-45AA-A085-4ACD1A666CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c8f0d16329165fe0ac5e33f214650c2d90baad","datavalue":{"value":{"entity-type":"item","numeric-id":4536107,"id":"Q4536107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"868e167718f51bdff2f3d1bc91dc0be8d191ec39","datavalue":{"value":{"amount":"+0.8093003630638123","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":"Q4385454$E0ADD219-97CC-4902-BB52-80540E9C636F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea29a1076ddda4202bfb5f99b015185b73b3dbed","datavalue":{"value":{"entity-type":"item","numeric-id":5387830,"id":"Q5387830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"439858868f426786576b9a47c924dc4d0ca7ce59","datavalue":{"value":{"amount":"+0.79192054271698","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":"Q4385454$BEF443E6-64D1-4BD6-9442-D620F8E491D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4385454","badges":[]}}}}}