{"entities":{"Q4238487":{"pageid":6268088,"ns":120,"title":"Item:Q4238487","lastrevid":46581234,"modified":"2025-12-25T01:58:47Z","type":"item","id":"Q4238487","labels":{"en":{"language":"en","value":"Coercive subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1271154"}},"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":"Q4238487$7F2312CF-EF28-451E-A705-F864E04F9181","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d122bf591787af00b4297077ec153dafc47dea5e","datavalue":{"value":{"text":"Coercive subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4238487$E229F275-C016-4547-AD3E-FC7DE7FC362E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e99e26b257dc6e87f9b6e7a9904dcdf4cfbad3f","datavalue":{"value":"0920.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238487$41D4509A-3894-43FF-B7A5-00AC5E1DF757","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4238487$F25AEB6E-05C9-4C77-A42C-3F8274F548B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a6067367fba059f6e8b1ef3c6074b68fe3ceb6b","datavalue":{"value":{"time":"+1999-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4238487$D1512629-814A-4ED3-8FBF-EFFBB319B6CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0164ac5c94140bbabbba7c8becb5b685afbe1b62","datavalue":{"value":"https://semanticscholar.org/paper/082432bdb9cc0abb8c554c0ba2cae862ccc48fa9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4238487$9B3CB68F-64BD-4927-A966-3A3789F074DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238487$F0F7FA4F-1749-4F4D-AF24-0D3510AAC55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238487$23F728C3-B808-46F9-966D-CE40D9B219B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238487$B6F4348E-52B1-44B3-B54F-C1409BFD9B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238487$4FC93F8C-895A-4464-B36C-5282FB8E7EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238487$6951981C-AF96-4858-8154-065C89B3317F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b53ceeb1a59a2fbc6f27a52602f055b761b1acc9","datavalue":{"value":"1271154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238487$45E638F7-C70F-464F-A0ED-FC08B6E797D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238487$5B19B5FA-7D5F-4F33-AFF9-16D70E3B16F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7165fec9115f05c93be2e6750db8f2bb02167cc","datavalue":{"value":"coercive subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238487$5DED208F-7533-4F42-930E-0FCACCD894E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238487$13FE4252-B335-4896-9198-C2F5B9899E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca2438f3eff24257344742ef2d769ccb981f3fe2","datavalue":{"value":"computer-assisted formal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238487$E90D009C-D932-4696-A5F2-92CB460FA292","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":"Q4238487$6AAB839B-0121-4A09-878E-D4797E3788F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dad90cd4f1bccb2a4d60a85c7272cd3ee669d115","datavalue":{"value":"W4243054153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238487$C6D0EB19-AFC0-4655-A4B2-A8E32101F76E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"129350f9e50f5fe3b414950fc6484d14a73a0386","datavalue":{"value":"10.1093/LOGCOM/9.1.105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238487$964B3A38-4D4F-4A6E-8B9C-849D49305AE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4238487$781E8FD9-F63F-4A46-97DC-A5BCA0BA78DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66debf8c513c428c59edcbf061dbfc4c87ba8625","datavalue":{"value":{"entity-type":"item","numeric-id":4362923,"id":"Q4362923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c1caa8f8ca6df9cb32bec45fe8bf97b90381cbf","datavalue":{"value":{"amount":"+0.98358815908432","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":"Q4238487$C121D755-4FD8-4248-AE19-591503E4BC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"648908b5d41c6c11916370c6ee58e60f77eb1f1f","datavalue":{"value":{"entity-type":"item","numeric-id":1951591,"id":"Q1951591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc3e1559f5eb86deb9fe88d4e2f6212e61cd717","datavalue":{"value":{"amount":"+0.8928423523902893","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":"Q4238487$934257C4-D41A-4420-B99E-2B0D21A9AAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f29371f29340ab7599f22a7c91c5319d3120fea","datavalue":{"value":{"entity-type":"item","numeric-id":2996166,"id":"Q2996166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52d373a8486e22baceae330e3a3f9137151ba20","datavalue":{"value":{"amount":"+0.8774937987327576","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":"Q4238487$78ECFFDC-5B67-4DD2-930F-B102EFAE3D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6272bff2ef2753562174842ca396160d3c8e9852","datavalue":{"value":{"entity-type":"item","numeric-id":5957918,"id":"Q5957918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b720b6cab247d9f41e64d059dd7ec6acd74521","datavalue":{"value":{"amount":"+0.8548206090927124","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":"Q4238487$E8635677-9ED5-4EAA-81DD-13A47FDB958C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4238487","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4238487"}}}}}