{"entities":{"Q2866315":{"pageid":2877035,"ns":120,"title":"Item:Q2866315","lastrevid":79682774,"modified":"2026-05-06T14:28:42Z","type":"item","id":"Q2866315","labels":{"en":{"language":"en","value":"On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238170"}},"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":"Q2866315$CD19B731-A6E1-442E-B221-5168393AFF8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a83732dd1ebf0a1d5790f23e8fc053fb375bd182","datavalue":{"value":"1277.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866315$C7D9AED7-EAB7-4D50-B423-C6DB2FBE5934","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866315$C89ECDAE-4846-46DC-9A06-24429C0EBA87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2866315$3AE9A122-A362-4852-A56A-2C2F66AE6933","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866315$5938F0CF-840B-4CB2-9AF4-AEF2E39112ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6472f631256e6b01a4742d17ae5b405bd52977c9","datavalue":{"value":"6238170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866315$BDF055BB-B74A-4AF7-A771-AC7BE8D88A2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b2ac82eaf9b989ba67f87812e2035aef9ddfaf","datavalue":{"value":"structural operational semantics (SOS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866315$F0F72454-7B7E-49DA-86A6-A4058D98E8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a3f3571f40b003becf5168648ca69b9553e6050","datavalue":{"value":"SOS rule formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866315$6FA95CCA-F598-47DF-BC95-BCC3749CF8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94b88f13fbbd9ae6cb51f324afbc21579c93593b","datavalue":{"value":"promoted tyft","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866315$7647F7E0-4066-48C1-A301-B561D81EFD42","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":"Q2866315$30F3F855-673D-4984-8E1C-4F85BCCA0E51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2eda00b232bc27b1ab707139801574262bd516d2","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.09.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866315$58194DA6-DEE6-4532-AE8A-BF7A3F460449","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"099eef34e00b70eccc07d51f7b30cda42b52dd7c","datavalue":{"value":"W2150711875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866315$A0D738DC-5F1B-4A36-9344-8143E602B696","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3ec5317e5d86fe9535bab252c3e2f7cc28338a9c","datavalue":{"value":"Q57745712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866315$8C4DB182-E214-4B58-9258-2FB61FF7ADA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866315$7DE7FE03-DEED-4C8D-A37D-94548D6EC019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcfd5d986a476d287890338f885cfd01a0953f2","datavalue":{"value":{"entity-type":"item","numeric-id":1917088,"id":"Q1917088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866315$F3441989-373E-449D-9F6A-8A33A3BFF44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f85766aed5174f55a67db76084f9289f72d7c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2852093,"id":"Q2852093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866315$00EE4682-7F26-4A26-B2D0-36B38D22A569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866315$018D185F-AA66-4BAA-B36D-22EABA818C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866315$55C81EC9-CF2E-4376-BE24-967E3A30F008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde321b65edc6ca92c524be1f1dc3a54d0ce2735","datavalue":{"value":{"entity-type":"item","numeric-id":5897491,"id":"Q5897491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866315$CEE8423F-6109-404E-BCB7-0089E02B9576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84a34f7ed2a4c6a1f340d4b5ffdb2124876a3c1","datavalue":{"value":{"entity-type":"item","numeric-id":1346714,"id":"Q1346714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866315$F3F0DA2A-FE3A-4442-B741-A500B3343335","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e269159074397f505f9a6a4e10c99dd7ad2900c","datavalue":{"value":"10.1016/J.ENTCS.2006.09.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866315$F69A0256-D769-4319-A815-5BA86260FEFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4227dd546b31a1a8a3f54a045fab68e0a71b533","datavalue":{"value":{"text":"On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866315$37434BE9-A7E5-44C6-AE14-2E70A2B99A48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5cf1b3c448f4f53abd3f8acb71b2d1bc15a6f1a","datavalue":{"value":{"entity-type":"item","numeric-id":3409383,"id":"Q3409383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866315$051ECC92-B8CD-43F9-95D7-D5393E417139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"245cb7082c223752c880c91a9a6b04a10554bd9a","datavalue":{"value":{"entity-type":"item","numeric-id":835034,"id":"Q835034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866315$2341A78F-73DE-48EF-892A-B677F1EAA434","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fc933934099fc702f7ade85c62ea1c18c9b13c","datavalue":{"value":{"entity-type":"item","numeric-id":4490742,"id":"Q4490742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f51f1506943ca7f3d95181c07a67f9b3901061b","datavalue":{"value":{"amount":"+0.7436649203300476","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":"Q2866315$059F9F0F-4D05-44BF-868B-89739E332217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6491a152425c81adcde5ff215a1aea2f24b75f6a","datavalue":{"value":{"entity-type":"item","numeric-id":4847024,"id":"Q4847024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f51f1506943ca7f3d95181c07a67f9b3901061b","datavalue":{"value":{"amount":"+0.7436649203300476","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":"Q2866315$7B75D0E4-CE19-4431-A140-E701F8DA3DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502f1538e6cf2873ae166aa7d3960336bd9ca45e","datavalue":{"value":{"entity-type":"item","numeric-id":1917088,"id":"Q1917088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c6df3bb4ee912f74ca99cf0c43892609f7eb9b","datavalue":{"value":{"amount":"+0.7168639302253723","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":"Q2866315$11925376-6737-4AAE-9F5E-AF041BB81E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b6ece8bcc7816a4788e66092ed565d648f8f5a","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d85e7987df51be37db04ef84cc185b711cfa6da9","datavalue":{"value":{"amount":"+0.7140793204307556","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":"Q2866315$BE0FB706-11F6-462A-B165-B48A19D7A847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b47747060d769e1eb8f7da4c7221d4fed59aee","datavalue":{"value":{"entity-type":"item","numeric-id":2796231,"id":"Q2796231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e624f4218a7a70901557025b675b6d7ac8cb955","datavalue":{"value":{"amount":"+0.7137814164161682","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":"Q2866315$F0DEEABE-5B46-4CA0-B79F-06EA6CA1CD86","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866315$681B233C-9D94-4937-9B22-341E3A14D46A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_well-foundedness_and_expressiveness_of_promoted_tyft_(being_promoted_makes_a_difference)"}}}}}