{"entities":{"Q3189820":{"pageid":3200528,"ns":120,"title":"Item:Q3189820","lastrevid":52089176,"modified":"2026-01-20T22:15:48Z","type":"item","id":"Q3189820","labels":{"en":{"language":"en","value":"Engineering formal metatheory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344211"}},"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":"Q3189820$9CFA69C5-7227-40FF-AC89-728AE7CED5C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2837316b6a65a115c431c4dd1be78977be4793e4","datavalue":{"value":{"text":"Engineering formal metatheory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3189820$DB93F1D9-7F92-4014-AFCF-69F7F5EEBC1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b836a7a13b264e9174706e1eeb5e2b59aa1937b2","datavalue":{"value":"1295.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189820$50CCE011-A11A-46C5-834F-6BC0FA23D138","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a04a2a71bb61454a4cbf1a3b8405a2266700f4eb","datavalue":{"value":"10.1145/1328438.1328443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189820$A4333075-9E61-4EAD-B50C-55D15B7DA5DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2792c493eb4bd3744f83a3841bfa129c70fc8ef3","datavalue":{"value":{"entity-type":"item","numeric-id":2871860,"id":"Q2871860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189820$2990B10F-5AFD-43CC-AA45-18B6FACB717C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b34313f1bad29f9702b9bd0cdb9e2cbc9d54ccb9","datavalue":{"value":{"entity-type":"item","numeric-id":670697,"id":"Q670697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189820$380D34DD-E094-4426-BB69-6A817C6CB670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99eac199dd442a993b294694241ddae3fe5dfca6","datavalue":{"value":{"entity-type":"item","numeric-id":879362,"id":"Q879362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189820$5DE5C79F-A563-44B3-9E1A-388717F4F83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3f09969608d8699dd0bc1cbe8a166511a2b5de6","datavalue":{"value":{"entity-type":"item","numeric-id":740483,"id":"Q740483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189820$AC12EEA8-FDB3-4E81-AB35-3EEFB006949E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe52ffa1b7468cd548841738a45dc4a65b5c47ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763692,"id":"Q2763692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189820$DB3000A2-DA7B-4202-ABBE-A77EA2B2888A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8fe873188e189663cac05fcfed6950f35ec1950","datavalue":{"value":{"entity-type":"item","numeric-id":3189819,"id":"Q3189819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189820$15615D79-8B5F-40E1-B3E4-AD5B93A1A5EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad0e577f2be69493b55b974834cf6fd5cd3ca834","datavalue":{"value":{"time":"+2014-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3189820$9006E464-0121-45A7-8599-8F202DF80450","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be43e7e6031aa87e353ea306a5b284a0296aae6a","datavalue":{"value":"https://repository.upenn.edu/cgi/viewcontent.cgi?article=1394&context=cis_papers","type":"string"},"datatype":"url"},"type":"statement","id":"Q3189820$14FFF75A-7258-4FD4-8AAD-65AE911182D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189820$82600C55-774F-4C24-A165-95A4B8875B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189820$86D647F0-25E8-4CE6-9817-39A1D6F0C361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189820$9185DE54-857A-4885-879E-73E177094B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189820$756EF104-9D9B-441E-B404-700B3384AFC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8979da87f9d116499c0cb07c7d85ab4d6a05af6","datavalue":{"value":"6344211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189820$20320400-3FB2-4BBE-B30B-6DB05190359A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"825e6e134e758868dbf51f02f1ab06c9e0c070cb","datavalue":{"value":"binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189820$4CCD0063-2504-46B8-A884-CD30E357F299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189820$BB56D825-63C5-4A0C-A68E-59E60590794A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c01231c9e0dc2e41bd1262b5fe9cf963f5eaea51","datavalue":{"value":"locally nameless","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189820$B63FEE8E-9087-4B1D-B2EC-66D5AF8F5FA2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189820$A3CFA8AF-CF59-4EBD-A5ED-A699CC2300F5","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":"Q3189820$3D1C39BB-9819-413B-92F5-A97E09E203C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8088e2fbe5af9a2019d8a929ace24dbea90884a7","datavalue":{"value":"W2025431400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189820$26847E17-A865-4CB9-9DF7-EBC4CE570E41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ec3446f944ddce5f627197ad5663afdcdade75","datavalue":{"value":{"entity-type":"item","numeric-id":5898169,"id":"Q5898169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb050571420c2e2d4657fafd1d25ac02f8b0c62e","datavalue":{"value":{"amount":"+0.7982344031333923","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":"Q3189820$4E7159A5-02C6-4609-8C02-B83F5FD3BBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9060d6e58f3abe9651a3bef1b7bd0afd802d6a4","datavalue":{"value":{"entity-type":"item","numeric-id":2931797,"id":"Q2931797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c86ae0c2b3c7684b66b8fb6b73ac79b2b2c4c0","datavalue":{"value":{"amount":"+0.7962111830711365","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":"Q3189820$82A39FA5-7765-4FE8-A981-A4EBC0BB40EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2830883c821c59e8ea357fc4abf509bdbccc9c9e","datavalue":{"value":{"entity-type":"item","numeric-id":1945919,"id":"Q1945919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e5f6753c7d02301cac62eb39ba19c45588318e","datavalue":{"value":{"amount":"+0.7958870530128479","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":"Q3189820$6DA686AF-01C4-4236-BF49-7A7AFBC3071E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ca390a037376bf0ee9810968554a6a01295767","datavalue":{"value":{"entity-type":"item","numeric-id":2892744,"id":"Q2892744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5f4eb5d6e2494c771d4837fff8efd343bdb349","datavalue":{"value":{"amount":"+0.7824580073356628","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":"Q3189820$3206F378-DE91-48FB-8E83-07E45A3BEACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb27ab82d86d579fbe962c877c8c6b995aaa7b8","datavalue":{"value":{"entity-type":"item","numeric-id":2392480,"id":"Q2392480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede7aef84b23e0562a485d69f418476d6b064c56","datavalue":{"value":{"amount":"+0.7550787329673767","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":"Q3189820$1B7289ED-549B-4897-BD25-3325C215E3B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3189820","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3189820"}}}}}