{"entities":{"Q683712":{"pageid":685561,"ns":120,"title":"Item:Q683712","lastrevid":63443415,"modified":"2026-04-11T13:13:01Z","type":"item","id":"Q683712","labels":{"en":{"language":"en","value":"Kripke semantics for higher-order type theory applied to constraint logic programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6836521"}},"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":"Q683712$20AE2BE7-E780-48A3-95B5-9B14D105F4E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f044d1d1b790291ff1f4af9be4901a0151cf0ad8","datavalue":{"value":{"text":"Kripke semantics for higher-order type theory applied to constraint logic programming languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q683712$28E6BD79-9BCA-4088-9638-E5EDF35736F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b77fe0788a5b9c011fe05d7747c62901212acf06","datavalue":{"value":"1387.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683712$29326167-648D-4EED-A070-ED7DE35FBB66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cb2e2584ec127f9fe86cd3c038fd58b43032080","datavalue":{"value":{"entity-type":"item","numeric-id":511021,"id":"Q511021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$31EA7294-5338-4640-BD39-03F589F5B0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1e0deb06a9287a1e74623f4839b0b1e5b1d5c18","datavalue":{"value":{"entity-type":"item","numeric-id":683711,"id":"Q683711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$7DFB4582-EDE0-4D45-9ADF-7C6F05C5AB61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$82033253-CAAA-4F6F-BB88-DA347E906F30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"696972687f2f7c2b21703a3524899b0c6104fe99","datavalue":{"value":{"time":"+2018-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q683712$93DBFADF-2186-4670-A7D4-F964E14FFE83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683712$FFB1099D-233D-46E8-B398-074C5F24CCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683712$CBA19841-9780-4E05-A1F0-A65B222D8D69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f95aa783bfda02551b77ad29897e5ac4459b587b","datavalue":{"value":"6836521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683712$027A926A-933F-4010-81B3-BC8F04A3956A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q683712$12742668-9A1B-4D22-BB51-A86FF17B9CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q683712$3DAB78B4-E385-4FD9-BE43-328048C32903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q683712$7C93C566-40D2-4852-BE53-6C14A420109A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q683712$2C4B7075-9A9D-43CD-A94F-A7C33C550F09","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8510cde1c8aae0f11e7e3f07edb7c4c1b96dfe0","datavalue":{"value":{"entity-type":"item","numeric-id":27977,"id":"Q27977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$B26E4001-9FD5-40A6-BAE5-BA8ED93312E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67c742ddc8c0df4e2405fcd2cc4fac307303288c","datavalue":{"value":{"entity-type":"item","numeric-id":14286,"id":"Q14286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$7E150F07-0750-4816-AA07-F4DC378B0643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d473e4ac61d0106ddeff894369ad4a0e0d0539d","datavalue":{"value":{"entity-type":"item","numeric-id":19353,"id":"Q19353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$79AC2947-C04E-41E7-BB22-FDC2980CFBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$34C90BF1-F31B-401B-9BF8-141DA6F77583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf05a0fe8c67d4d8f396d444a59573c809b42e38","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$D6C2CC18-450D-4E1B-9066-5067A37E7B1A","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":"Q683712$C2DC9171-B2D7-4A83-92F5-67F086EFD964","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89be7fd05048886e49f8b0954c66d6185c167f7e","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2017.11.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q683712$078C547E-A808-44E2-9470-536DF28A8245","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c870a3387ee799faca3b38da3ff7a2be63a01625","datavalue":{"value":"W2768784605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683712$CE1B3A14-B9E1-4D72-A48F-A0750FFBE15F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f86ea6a15d8521d94f8a5308b21778b73dee6c","datavalue":{"value":{"entity-type":"item","numeric-id":3546279,"id":"Q3546279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$76AF705A-695F-4ADF-85B7-2B361E318A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87000e171ea98427f9efb60b84553b6eeb21ef6","datavalue":{"value":{"entity-type":"item","numeric-id":5595152,"id":"Q5595152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$4AEBFC07-EC1E-43AB-BB41-8A99CCE525B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe4ae60a1c84ff6705fc504dc970acbe6abec60","datavalue":{"value":{"entity-type":"item","numeric-id":949170,"id":"Q949170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$655F76AA-3128-4C40-8171-3A8054B73CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aee9d69cd99d332b9e08dbab7c5776cc25e1dcc","datavalue":{"value":{"entity-type":"item","numeric-id":1035699,"id":"Q1035699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$0CECA0B7-8FCB-4ADB-857D-69EF748C636C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$496768BD-5041-4C3B-AEAA-9D098E631EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$CA6D4FBF-69C5-4677-8B28-E5E5763E2683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ef166d60e06b98e2bb90f406f34f3d84a94425","datavalue":{"value":{"entity-type":"item","numeric-id":3224684,"id":"Q3224684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$D930579A-1B5E-48B6-962A-125CA10E94EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd19e99b114a88ad938abb7d7510276cea429f41","datavalue":{"value":{"entity-type":"item","numeric-id":4255516,"id":"Q4255516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$637481BC-A265-44FE-8862-297D04023D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49380a5a0cffda5d1e1b4a498a844a9c2c454f3","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$F952D785-036A-4C25-B145-F82D9D740971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6388e17b038d9e3189e159f931e87d46a5a5ae01","datavalue":{"value":{"entity-type":"item","numeric-id":5463965,"id":"Q5463965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$FEB0C494-CAF7-4D6D-989B-90AA38D42314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f50e4bccc8749e402ccc75378d0b5c253e425372","datavalue":{"value":{"entity-type":"item","numeric-id":639643,"id":"Q639643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$75A6AA1E-9A0B-4B86-A406-9FAA2A94E465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b498da1f57b359fe0412aa8066698c92774a43","datavalue":{"value":{"entity-type":"item","numeric-id":4036287,"id":"Q4036287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$1851F305-B476-45CA-97C8-5A420E597C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ed0b34c0c7c39cf52c2b57b3122913e565beda","datavalue":{"value":{"entity-type":"item","numeric-id":1854446,"id":"Q1854446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$9E68E795-3052-4269-88AC-F57C112C23A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"491d79ebb333824e2a1d28fa415eece5d0654a36","datavalue":{"value":{"entity-type":"item","numeric-id":3371147,"id":"Q3371147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$54463A86-5D7C-4497-8F7E-36B88F344CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$B28E9C1D-16C4-460A-9506-121EF201AC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5caae54559776415a2ad5202e81ba505f1f0765","datavalue":{"value":{"entity-type":"item","numeric-id":3696485,"id":"Q3696485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$629752A6-5532-466D-B097-A49639ABAEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$F2CB49EC-EA86-49A4-8253-06A25403B40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$89CB8A0E-D954-47D7-84B6-6E8ECD97B7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa0f50f9e079e80672ae8d0c1e92d01238bcc7e","datavalue":{"value":{"entity-type":"item","numeric-id":2568449,"id":"Q2568449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$384250DD-D182-433F-98F8-4C9F7E30CC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$D7E31B8B-E77A-4B77-A25F-CE37C95F1F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389c270a04975059278317e246116b16c0bfe95e","datavalue":{"value":{"entity-type":"item","numeric-id":5897796,"id":"Q5897796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$4A6AF0C7-3D5A-45C8-B71F-5CAC7B208FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6ddc3048ca9b0d59f5ac2d8947832396faa644","datavalue":{"value":{"entity-type":"item","numeric-id":2915694,"id":"Q2915694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$CC314F2B-60DC-4DB1-8798-F968861FAC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$C4575B54-7FF1-421C-8CB8-8033C9ACAAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84055a6dd06ed15239c1c054126533ecd158eb8e","datavalue":{"value":{"entity-type":"item","numeric-id":2763634,"id":"Q2763634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$96EF0A7C-BD38-4A1E-B1D2-57B9105735BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd58b44b465ac87cbfe56d155513913ba5ac7605","datavalue":{"value":{"entity-type":"item","numeric-id":4452636,"id":"Q4452636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$B8BF855D-9D35-45B9-9B81-97E828E48E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$E440AC7C-6359-45D0-AD5D-10781FD715C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb530ca19c32d1648faf59b727d4a7ba1ce564e","datavalue":{"value":{"entity-type":"item","numeric-id":3612637,"id":"Q3612637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$5867DB00-4C4E-4C00-9F42-5418000B93E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$99CD630C-2105-4D83-9D56-ACC07151A7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a4fa4292d3e7cd41676b00b24428c34cfc910c","datavalue":{"value":{"entity-type":"item","numeric-id":4730754,"id":"Q4730754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$D491948D-A6B0-4C7A-B7DA-72FD33204BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91bd407bcecb63e1d4876dcd09d799ba25c8af78","datavalue":{"value":{"entity-type":"item","numeric-id":4391451,"id":"Q4391451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$C068533F-6597-4415-AAB5-3D235320ED4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$B1D69AF7-6C20-4453-BE9D-9D674D5401F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492542c2fa16745b6c1ab27c66663c1aea1182a1","datavalue":{"value":{"entity-type":"item","numeric-id":804559,"id":"Q804559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$228F34E5-2EFB-4062-BB31-165DC828B164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c29da5a9b5198339818ec2591e1df738b908b7","datavalue":{"value":{"entity-type":"item","numeric-id":5458443,"id":"Q5458443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$0D1E926A-EA69-4748-8EC4-0F099B55BD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e01195c08284f6de3b3e43a05d50fadc7c551073","datavalue":{"value":{"entity-type":"item","numeric-id":2900266,"id":"Q2900266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$3B62AE7F-5273-43B8-92C6-C81D74B52C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e9a7126fd3647b4929f8ad5e5b5d84f4d827a2","datavalue":{"value":{"entity-type":"item","numeric-id":2542723,"id":"Q2542723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$9E5B5766-2ECB-4CA0-B97D-3494E6868189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$D344263A-E1E0-4C0D-8906-286EDA4292D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbdf63a7896696ddb6905e29eda6c797354cd6b5","datavalue":{"value":{"entity-type":"item","numeric-id":5907067,"id":"Q5907067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$89536634-29E4-4BC5-B66F-5E9A0F7795F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$DCAC4D67-B1A3-4A15-8EA1-E3F2E75D86CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41440c940cfad000afc97b55b5bfd68e949a8b65","datavalue":{"value":{"entity-type":"item","numeric-id":1349686,"id":"Q1349686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683712$2547BDF7-AAFF-4305-BB0F-75278C135D4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4ca732cb1156dad81661afba205341feaa529d6","datavalue":{"value":"10.1016/J.TCS.2017.11.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683712$8D612169-2C6C-44DD-A5E4-352BCE6D4005","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f76ea96ca4729cff43dbe200fbdc9a360f441fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3612637,"id":"Q3612637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222f2ab37f2286672d57fcab003781694cf34695","datavalue":{"value":{"amount":"+0.9427680373191832","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":"Q683712$63E5BDA8-68E9-4229-A97D-6ABBC9023C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0486f4f34bd14f1100910ca9ed25bbe013078e4b","datavalue":{"value":{"entity-type":"item","numeric-id":1349686,"id":"Q1349686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178936810ae939d0d1d55a0cb6000be7ca7abd70","datavalue":{"value":{"amount":"+0.7850722670555115","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":"Q683712$DDBA0E65-1BCD-46B9-B177-E92E8A7D9534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1f34d0d178cdedb1f7a86dadfc07c0e705df4fc","datavalue":{"value":{"entity-type":"item","numeric-id":2763634,"id":"Q2763634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89312da4e01b4b505dc6a0bb24b075069b6ad7ce","datavalue":{"value":{"amount":"+0.7680022716522217","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":"Q683712$2DD37F4C-7B6F-416F-A662-B1998A75F06A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kripke semantics for higher-order type theory applied to constraint logic programming languages","badges":[]}}}}}