{"entities":{"Q6831453":{"pageid":15517395,"ns":120,"title":"Item:Q6831453","lastrevid":84297119,"modified":"2026-05-14T19:26:02Z","type":"item","id":"Q6831453","labels":{"en":{"language":"en","value":"Strong nominal semantics for fixed-point constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8183036"}},"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":"Q6831453$AE82BDAD-F34F-48C5-8D66-6B3BEE4FAE1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d6f59ce71c66b65dd1de3d73a9c98921d9a559b","datavalue":{"value":{"text":"Strong nominal semantics for fixed-point constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6831453$50792A5E-3F34-40A6-AE11-8E69F8CECF69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dad40de5844d9b649bdf3267835ac9bce5375758","datavalue":{"value":"10.46298/ENTICS.14777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831453$0504742F-E41B-44AD-B38F-BE9CDA1B3BE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f95e27b74a199dffb75ad1219ff59f38b5d8bf18","datavalue":{"value":{"entity-type":"item","numeric-id":6831452,"id":"Q6831452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$9D9B720A-3F62-488A-BB8D-4574FB667392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$3877A38B-5441-4F22-B90B-399376418BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a780894b40753623b223e1278bb24d0df726e149","datavalue":{"value":{"entity-type":"item","numeric-id":683745,"id":"Q683745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$4B914A60-3BFC-419A-9814-C9C0B0F97B18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef22be3cab946a9eed3cd714b0a97bde62752794","datavalue":{"value":{"time":"+2026-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6831453$30C8E5BB-69E3-4262-AE8D-91608A8C4914","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831453$F2F9D588-8E03-4D22-999B-DB9B53EB86BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831453$848ED7FE-A989-46FC-BCD5-A8FE1C632BA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d1028d81392e2036bc55bed2e2a0e4cb4a42e99","datavalue":{"value":"8183036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831453$9D482296-2A61-4AE7-91BC-649A7E8B340B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$E8E8D7F6-7FED-49CD-87CF-64FDB1C9DBF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831453$8CAF5334-E962-4818-96A2-53AB3ADBCADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831453$B57C20B9-DA19-4F72-99FD-0E58332AD7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"825e6e134e758868dbf51f02f1ab06c9e0c070cb","datavalue":{"value":"binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831453$8E9BF563-890B-4E29-B8F9-59EA9CCF94CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4edb35af393665c20f1bab6d82a33753ad6a2493","datavalue":{"value":"nominal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831453$FDB259C3-422F-4D1C-9354-6160265FBDD7","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":"Q6831453$18BDC783-2F0D-447C-9797-86B3225CA60E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$2E0B33C3-FD10-4A63-948E-5ABF713EA028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae73f98004443a1cec304045a8647243605478a","datavalue":{"value":{"entity-type":"item","numeric-id":1687556,"id":"Q1687556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$08E7353F-8ABD-4023-AEA4-E47063DD8E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523969521351e922268601919badf5f95b6cdd41","datavalue":{"value":{"entity-type":"item","numeric-id":5022930,"id":"Q5022930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$085CB542-25D7-4452-90A3-959DA3D29E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db0360340640239c2351bd427f4ae063528a7bf","datavalue":{"value":{"entity-type":"item","numeric-id":5216313,"id":"Q5216313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$19FD640A-27EB-4F42-BD4F-318925B2A8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e923b94e1baf9ed22828fd3ef8651f78619451","datavalue":{"value":{"entity-type":"item","numeric-id":2219072,"id":"Q2219072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$FF99CC64-1755-4058-A5A4-830D95A5E90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbbaef770005812f1c2b152acce38398f00ace3","datavalue":{"value":{"entity-type":"item","numeric-id":2233392,"id":"Q2233392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$37F907ED-EFEA-4627-A345-F200ADF14DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55b861e5da5a0b09cfc74cd6df9a847a0d552e8","datavalue":{"value":{"entity-type":"item","numeric-id":2424886,"id":"Q2424886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$6266CDA6-2294-458E-B1CE-F0C7CE4BFC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ad93a2635c77f005f2edbc05b345961d24e486","datavalue":{"value":{"entity-type":"item","numeric-id":980937,"id":"Q980937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$64078CC7-B61A-450C-BF77-2EA40809867E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2146fe71b39638fd1364e80615a2a1a9ddb51fe","datavalue":{"value":{"entity-type":"item","numeric-id":5313189,"id":"Q5313189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$106BE242-D45D-4614-865E-32FE00DF7FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$849B96DB-69F0-44FA-96B8-BCAEFF0CD599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b39ebde12f7eab1460c18b571fd40950d7e5cbd","datavalue":{"value":{"entity-type":"item","numeric-id":1197097,"id":"Q1197097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$9464EE6F-2F9F-4DF0-B536-FEFB0A743C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85314db5e43acb14d5a9b05c176b4c831211e5de","datavalue":{"value":{"entity-type":"item","numeric-id":677036,"id":"Q677036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$1D5A34F3-4904-4613-95F3-C8D1DE5F91D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461b8596f936b4acd4b9ccaf6444d9340797391","datavalue":{"value":{"entity-type":"item","numeric-id":2373703,"id":"Q2373703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$52BA6264-1BF8-46F6-996C-C629A3C6FFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e26026922b8de1d8a19d7898e64e9a4a494f6b2","datavalue":{"value":{"entity-type":"item","numeric-id":3623222,"id":"Q3623222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$1D4741CD-2CD6-492F-B8B9-A5456C916ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a1e2d1118091c3f76cf87566b6c9eaa67545a5","datavalue":{"value":{"entity-type":"item","numeric-id":3656778,"id":"Q3656778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$6294FF14-C199-413C-8456-1143A3B98BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$5FEC2D34-F6B1-490C-80CD-78CC4AC6B7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1941b7cb92341f40b7cb9e626a0964ecc7a5bd19","datavalue":{"value":{"entity-type":"item","numeric-id":3540120,"id":"Q3540120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$C5A7CEE8-855A-4EBB-88AB-E6C727BD6938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9a9c0b836dd52deb4af6247573462295b48a90","datavalue":{"value":{"entity-type":"item","numeric-id":5389146,"id":"Q5389146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$67F723EC-FF5D-41A4-A132-DFD2E0BDB112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$1E13293D-EDED-4313-B68F-9B15F982985E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d434966473eea1b46469590e756fbfa4aaa54d1","datavalue":{"value":{"entity-type":"item","numeric-id":5261281,"id":"Q5261281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$2023F00A-D06A-41D0-9B98-733740975525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade402c8643377c95736cc4de881776c386a1875","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831453$697E085B-C3E3-4DA3-B266-F1745DC7065D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong nominal semantics for fixed-point constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_nominal_semantics_for_fixed-point_constraints"}}}}}