{"entities":{"Q831140":{"pageid":832988,"ns":120,"title":"Item:Q831140","lastrevid":64699455,"modified":"2026-04-11T21:38:28Z","type":"item","id":"Q831140","labels":{"en":{"language":"en","value":"Generalised information systems capture L-domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7346939"}},"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":"Q831140$43CECE5A-831D-4B08-BE93-C58A99CE133C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e7476da6de38c85baf8c57ccc56f76443cf5dfe","datavalue":{"value":{"text":"Generalised information systems capture L-domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q831140$A5FEE794-23C1-41ED-86D9-6C555A285CA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15aee132122630944fe8d18eda92207d5e592718","datavalue":{"value":"1502.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831140$3F6A00FA-2D7F-4895-A5A3-3682EA9840FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82b1b744ece9c7e2a025b6f03ab954d3ff7eeb47","datavalue":{"value":{"entity-type":"item","numeric-id":582907,"id":"Q582907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$72C90393-AF25-4D7F-A790-33F8D825E771","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":"Q831140$0D915802-CBD0-456F-B54F-D5146F6C0667","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d81217b76b9db89d88b5d24cc3d5a29e7e31a60f","datavalue":{"value":{"time":"+2021-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q831140$E4C931B2-0682-42C0-9C36-608DC84A137C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a01466a9ed8b0643f89269f3628bcda3574e3c65","datavalue":{"value":"https://arxiv.org/abs/1610.02260","type":"string"},"datatype":"url"},"type":"statement","id":"Q831140$082A1EBE-154F-4836-818A-34C7F0F481EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831140$DEBF9704-A029-41AC-9764-7FCD247191F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831140$42085E31-C0B1-4BDA-982B-85B6B82E3748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831140$075A928F-D53D-4A30-B4D1-5AD45ACE5383","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"233bb55d25021d7cd6c7ebe3520fca996a727eca","datavalue":{"value":"7346939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831140$E885ACE1-35E0-4431-9F89-2BE134D23C67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q831140$FDB1ED98-7158-4408-8355-B1553EB0D99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a47aec2432084ee46442fde4f49122202736adb","datavalue":{"value":"L-domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q831140$4A77B906-2F59-4CDF-873E-069A03FF60EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9dfab2bcc04ca1c983f7a7cdce855d719a6a5f0","datavalue":{"value":"information system","type":"string"},"datatype":"string"},"type":"statement","id":"Q831140$B3BDA767-1EE0-4593-B6B3-5AE12935F270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"423ea4d0e2be16145702233b5f78fdc515ee981b","datavalue":{"value":"categorical equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q831140$F1B9E3AA-FDDF-4C27-82C7-00C9826B41E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0af6ae5a6ed00382a3f2fb0a03bd2b862555d2","datavalue":{"value":"disjunctive propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q831140$03A1E438-612A-4646-A781-AAF5A79876C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91779f3d29df21a5efa23c6ec637376c2748c550","datavalue":{"value":"conjunctive sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q831140$02D5AD43-5E39-49EC-8E1C-B15E400987F4","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":"Q831140$837B1497-54A9-44F0-BA48-DCD054B87C14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2cf22634dc72f40a4df8d00533a53ac007362a5","datavalue":{"value":"W2531098351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831140$FA27F641-E0AC-486D-A622-2C9EBC3BEA85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$43EF0D90-48CA-404B-9CD5-AB68CFE6AB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$DB4F5DF2-C38F-40F1-A6FD-BE6AC07B06E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$8A9C056D-9D3B-4DD6-82FF-8F1A66C2CED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4be0c480b46d1e4e2ff0c8ff4ab7e2cd4585a2a","datavalue":{"value":{"entity-type":"item","numeric-id":859843,"id":"Q859843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$C701972F-346E-42C7-B12A-54648B133F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb4408b726dcb40eb6cb23972f26d896669a974","datavalue":{"value":{"entity-type":"item","numeric-id":1263665,"id":"Q1263665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$8D1858F3-CAE0-4D25-92C5-2C433D653F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$E18DFEBB-712B-4CAD-86F5-C42FDF889BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$2DB00926-7479-4F57-BA59-B480CF5B223A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a61b7701da971a87c154b5ba63697136c95a92","datavalue":{"value":{"entity-type":"item","numeric-id":4385538,"id":"Q4385538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$A2DCFA82-25AC-4656-8521-0585E0F6AECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79a9b3deed22f0d794bc5b1ac0b2b727711d7025","datavalue":{"value":{"entity-type":"item","numeric-id":1260646,"id":"Q1260646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$1AF34A1A-C400-4F17-B41E-6104BD40D4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ded2d21f2267a3b229172346359f9c879f346676","datavalue":{"value":{"entity-type":"item","numeric-id":259056,"id":"Q259056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$CE447E39-163C-49EF-ADE2-6BFB0500C57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a687a410410024642a96f9db20b85de5897e8f26","datavalue":{"value":{"entity-type":"item","numeric-id":3997287,"id":"Q3997287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$61508775-0AC2-45AE-98F7-DB1A3D30B970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$92DCAFFE-7E46-4F57-8394-D039D5FDFCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd77c1416f46db1e477c06eb4d0c6518ccbfab0","datavalue":{"value":{"entity-type":"item","numeric-id":3326830,"id":"Q3326830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$373F9F40-5D4C-44D5-9E4A-725867917325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$15122BD6-2FDA-4073-904B-79CED8D6DB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$A30DC44B-69D9-4EA8-A447-22781886BA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce8e470fc8724de52c157e219a1476d33c1cde1","datavalue":{"value":{"entity-type":"item","numeric-id":4981459,"id":"Q4981459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$D9D6525D-C619-4100-961C-6A7B4B391CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29aaff7cf1954b2a53735b23abbb7120ce19540a","datavalue":{"value":{"entity-type":"item","numeric-id":6111738,"id":"Q6111738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$81E811AF-426B-420D-8436-997FC05C28FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a6d808cb8de05c1f0c938e5eecdf0c799e5020","datavalue":{"value":{"entity-type":"item","numeric-id":949623,"id":"Q949623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$5F4410FA-1220-4078-A311-E9159D9A19AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b696a588c8daf7d9300817ea999e8a22f654905","datavalue":{"value":{"entity-type":"item","numeric-id":4023580,"id":"Q4023580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$D5CB56B7-5E59-4721-9C0E-42963FA5E75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc792bae0bc77bd53e8aa6abf9176eb303ebe57","datavalue":{"value":{"entity-type":"item","numeric-id":5220179,"id":"Q5220179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$ABF6A414-4894-4C9F-B153-AF822767E1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad7165c95d202a5003de38706318a43bb8e1a6a","datavalue":{"value":{"entity-type":"item","numeric-id":1989346,"id":"Q1989346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$64961389-43B7-479A-B6D4-A4093F2DC825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0184608504df30ef0708c31feec5e399afa7c0ca","datavalue":{"value":{"entity-type":"item","numeric-id":896923,"id":"Q896923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$24625725-9D59-4BC4-B73C-5DBFD374DBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e08477502e3a31e51b39f20bf4937f96676c229","datavalue":{"value":{"entity-type":"item","numeric-id":5204324,"id":"Q5204324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831140$83132B54-B677-4E8E-B8C0-5A0721FADABA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ad337d2e456c99e79eb7a89c0d7ad07be6b7ceb","datavalue":{"value":"10.1016/J.TCS.2020.12.044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831140$383DE7C1-BAC8-4880-95E6-C39A60619F09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9401a21cc5735f62bd1bcee6099504e8b696effe","datavalue":{"value":{"entity-type":"item","numeric-id":4981459,"id":"Q4981459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd067044e453412d04046d8fca5a45ef32b814b","datavalue":{"value":{"amount":"+0.8678253889083862","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":"Q831140$A7F106D8-CB1A-4015-BBC8-D8FB585CBB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa9f1a979459ce3452b4697ce20a59bfdf3a642","datavalue":{"value":{"entity-type":"item","numeric-id":896923,"id":"Q896923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917a2681b98781f49ec56618204fb2a941213c12","datavalue":{"value":{"amount":"+0.8606545329093933","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":"Q831140$06FC7D56-AC52-41D1-A27B-A622C0431146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"549bec63845984f3acd8346ac004c6a717b47bdf","datavalue":{"value":{"entity-type":"item","numeric-id":949623,"id":"Q949623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67857b959d2a724d58402b2b565b78a238f02a3a","datavalue":{"value":{"amount":"+0.8470585942268372","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":"Q831140$95462DF1-DACF-4904-B1BE-806853AFADF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b06b588d7683de86037ccb52edb03b1372bfb3","datavalue":{"value":{"entity-type":"item","numeric-id":1260646,"id":"Q1260646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24283139349e4ef687a9f1ed39278c29c1c33ba3","datavalue":{"value":{"amount":"+0.8171701431274414","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":"Q831140$2D47EA81-F1EB-401A-AC88-85DE9BC4728B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99505f34258a4341c285782b507607ceced4ec9b","datavalue":{"value":{"entity-type":"item","numeric-id":4282568,"id":"Q4282568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24283139349e4ef687a9f1ed39278c29c1c33ba3","datavalue":{"value":{"amount":"+0.8171701431274414","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":"Q831140$7DFBA8AE-2B30-40A2-B2CE-D3AD5F657BBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalised information systems capture L-domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalised_information_systems_capture_L-domains"}}}}}