{"entities":{"Q1312161":{"pageid":1322911,"ns":120,"title":"Item:Q1312161","lastrevid":67141680,"modified":"2026-04-12T15:34:04Z","type":"item","id":"Q1312161","labels":{"en":{"language":"en","value":"What holds in a context?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 488234"}},"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":"Q1312161$07232A8A-59C9-4516-A463-D05F6471B0C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e125f3eae278363b6f2ba9c2614302250482fbef","datavalue":{"value":{"text":"What holds in a context?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1312161$240059BA-B5C7-464A-B0D3-7693D3D8E8B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3e1d7960623cc6e717d02f50c59e3b165ea99a8","datavalue":{"value":"0790.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312161$075BB4C0-1634-4CCC-8755-9BFD244A38E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7d2d2c064dd6bc2bf4876e7215e3c48507d27d0","datavalue":{"value":"10.1007/BF00881865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312161$EE4D7504-0383-4632-B35E-9C63075ABA9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdac9989e7d2090fda08ac22dd165b39082acf58","datavalue":{"value":{"entity-type":"item","numeric-id":1312160,"id":"Q1312160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312161$28373001-9C34-4D1F-B475-BDD46F8C9365","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":"Q1312161$9D5A02AC-4257-4F2D-997E-E5558E5F4FBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68b724eb687dbe57c6756b615ba860966fd43d36","datavalue":{"value":{"time":"+1994-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1312161$CEEEBC2F-AEE4-4D25-A1DE-76C4ABDE4EB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312161$C0F049E9-C898-4832-A2C6-F6AA1ABF382C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312161$89052E27-15C6-483B-ABCE-DED4172929C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312161$6C7DF898-1EA8-4E89-8368-BBFF11CB62DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73da8b3da669b05004a778f3cdb2123164675e7e","datavalue":{"value":"488234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312161$51B5ACF7-1243-4A47-A564-B08F2BEA7CCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e44156d364a17bea91ff9d3e4db1d56ab81ce77","datavalue":{"value":"context sensitive substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312161$72EAE406-33F1-4435-9BBE-83DEEBF3FEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312161$98B4DEB4-806D-421C-B779-6083F4DE2C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312161$5B272120-6B49-40A2-85F3-FBFC2424A3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312161$C5FF16C4-4A2C-412E-8435-9CA8542A5D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01873808ed420453ae082d7e18447e172733687b","datavalue":{"value":"higher order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312161$4435BA24-D176-460B-BFFF-B4B80801FF68","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312161$A98AE5BA-F172-45C9-9CD3-345BBAC69A09","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":"Q1312161$D6C758C0-ED31-42F5-B78F-214A39C6BC2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312161$469FF592-E088-4AD2-96E1-9536304B44E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c9f2843640e7eabb53dcf6b38d2e418915c6350","datavalue":{"value":{"entity-type":"item","numeric-id":3343471,"id":"Q3343471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312161$A9C27B8C-476C-48CE-82F6-6D40F65A7F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c045b2931e5b29dfd279ebe4b2af128460579d","datavalue":{"value":{"entity-type":"item","numeric-id":3086786,"id":"Q3086786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312161$A6FE879C-63A6-4F60-8D1A-AE76B7B93491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312161$54EBAA68-5EF7-40EC-A62C-99793B30C49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36376988472fc0216bb876b5e2853c33726777bf","datavalue":{"value":{"entity-type":"item","numeric-id":3787530,"id":"Q3787530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312161$AA2EB296-4F9A-4F51-BC1F-88B938E00E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111f0eb16bef0501ce0fc399f1827e597f8b82f4","datavalue":{"value":{"entity-type":"item","numeric-id":5332209,"id":"Q5332209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312161$1DB3CD78-430A-4602-8BEE-69F0022BD852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ceaa295163b971ae499531a20e1ec0863c4f76","datavalue":{"value":{"entity-type":"item","numeric-id":751642,"id":"Q751642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312161$3E339620-B9FC-4ED8-933B-8C09EBA42B45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140519a7bd52fe68ea40e223a863ed9a6b489c41","datavalue":{"value":{"entity-type":"item","numeric-id":2629935,"id":"Q2629935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"187f601f80085a2881daf698d8c69022e25ae7a4","datavalue":{"value":{"amount":"+0.80121166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1312161$9563A53B-1E30-4112-B28A-902EBC2D6493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1194bc3cb362f4db90119c453f871b9ee570b8f4","datavalue":{"value":{"entity-type":"item","numeric-id":3552474,"id":"Q3552474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e397d84b8db4765c05e891a3ba32ebdfc6e80b2e","datavalue":{"value":{"amount":"+0.719366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1312161$C462ECA6-0E0F-47F5-9E56-520640F2239A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29d5fc0eb8cb50382c9841ce81089721c5bd1488","datavalue":{"value":{"entity-type":"item","numeric-id":6075147,"id":"Q6075147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c735c56a0549aeea6d1045543ce467d19c53d30","datavalue":{"value":{"amount":"+0.7050391","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1312161$7D78FF5A-A705-4CDA-971C-F61ACE6862C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f437f33a1c49f8cc14611f814fc7937be8bdaf","datavalue":{"value":{"entity-type":"item","numeric-id":2286732,"id":"Q2286732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1b2c3339eb14be1fc6644fb6d10674f071f0555","datavalue":{"value":{"amount":"+0.70358396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1312161$689FD607-C6B3-4C2A-9E99-83A03E59BBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310443e55f1b30810a56744c17aa98882da86bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4262488,"id":"Q4262488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8b5ccbe5c69c71ae8f5b8bc2be7f341122a1ec","datavalue":{"value":{"amount":"+0.70282066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1312161$32CD0C40-96D2-440D-8D15-C20033C43FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f10c0b1b34d0b509a2ec9c7df11a55170f56f9b6","datavalue":{"value":{"entity-type":"item","numeric-id":5711929,"id":"Q5711929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1a3e2ded16136500e8f7ed8b5f9f3bd18aa60d","datavalue":{"value":{"amount":"+0.7015711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1312161$4DDD00E8-E5D4-4C5A-A9EE-D2A926608505","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"What holds in a context?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/What_holds_in_a_context%3F"}}}}}