{"entities":{"Q2963901":{"pageid":2974626,"ns":120,"title":"Item:Q2963901","lastrevid":55938910,"modified":"2026-02-21T08:10:58Z","type":"item","id":"Q2963901","labels":{"en":{"language":"en","value":"Evaluation is MSOL-compatible"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687758"}},"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":"Q2963901$B1770E0E-754C-4849-80EC-F9C2230113BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f12467e7d01ae1d81686a6dd276fa7128b4fa253","datavalue":{"value":"1359.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963901$97A31F1C-2C97-458E-8CA9-4C948119BC81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c362ac3b16803115650ca1635e62ab561b04cbac","datavalue":{"value":{"entity-type":"item","numeric-id":476195,"id":"Q476195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963901$332BFCC7-0EC9-4A09-B7F2-14573E6671E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963901$7C16362C-4E8E-4F7C-AFC0-2DFDCF86FEB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2963901$CB4AF308-B364-4754-94D3-49C6C26CA8F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963901$1B45AECD-5DF5-4EBE-BADA-A1A01D410654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963901$0656E9E8-C9CE-4DC8-B60A-B6526CC23959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963901$4CC9488C-308A-4849-B0C2-024A69082E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963901$CE616C3E-2824-4289-A269-6AEC030BA751","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf85038094247f54f1d2ef43ee2e6b2f56f714c5","datavalue":{"value":"6687758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963901$24943CC6-A41A-4FD8-B52A-5CDF043DE66B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f2094f3560d5ad44ec6c24dc76072d12f640cef","datavalue":{"value":"simply typed \\(\\lambda Y\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963901$743725C8-BFDA-4215-B34F-BEB73C4AA4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963901$B8939EB7-6544-49F8-A226-E30D18529997","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":"Q2963901$381BC8B0-B476-4A95-B934-6AB28653D760","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5e80ff81e4f9ca202c6d30c1001feaed1d28add","datavalue":{"value":"https://hal.inria.fr/hal-00773126","type":"string"},"datatype":"url"},"type":"statement","id":"Q2963901$2A771152-813C-4E5E-9F5E-21486E28CEE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec766af0af1f57289a83058073da2ff4b8aefde0","datavalue":{"value":"W1514149009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963901$D8D8090B-2374-4B87-A8A1-1545119307E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63f4404fba745f4c18fab0d370780203ec99dc2b","datavalue":{"value":{"text":"Evaluation is MSOL compatible","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2963901$7513E720-4C34-4C88-90CA-77D5890B374A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a877161bb0b9d146bdd6b1f826889e3c27b9a4c","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2013.103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963901$AD5704C1-32BE-4570-B790-F6CE2A21754C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c77ad559524e1a8fd7c6e2ae6c977a0ae52376a","datavalue":{"value":{"entity-type":"item","numeric-id":1603690,"id":"Q1603690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6966ae9fd684cffb8e7227de74d6a4ab5c91ee1","datavalue":{"value":{"amount":"+0.7735774517059326","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":"Q2963901$08CB01F7-5660-46B1-8344-B8786C96E167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"589884ed2057accbd2933ccaaa2c819486adf0bd","datavalue":{"value":{"entity-type":"item","numeric-id":5351960,"id":"Q5351960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54df95c63555ce3606a0e41421b2d3b7b8598da9","datavalue":{"value":{"amount":"+0.7619109749794006","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":"Q2963901$5FB8F20A-1370-4F21-A6AB-84B535D25A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4650aba39cacb27e2010918eb661fb5eb8c81d84","datavalue":{"value":{"entity-type":"item","numeric-id":5278397,"id":"Q5278397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252a7f3a6bf8a8a616c9cc6c6ba8229e4cba3210","datavalue":{"value":{"amount":"+0.7587301135063171","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":"Q2963901$A48D2AD7-FE12-44E4-9273-0040144732B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2963901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2963901"}}}}}