{"entities":{"Q4933282":{"pageid":6962864,"ns":120,"title":"Item:Q4933282","lastrevid":41575546,"modified":"2025-05-06T00:34:30Z","type":"item","id":"Q4933282","labels":{"en":{"language":"en","value":"Collecting Semantics under Predicate Abstraction in the K Framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798875"}},"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":"Q4933282$3AA4F135-198F-4B83-8C2F-B36038D30F84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a0b78c4f86b06ac118119caf8c119d3bc85258e","datavalue":{"value":{"text":"Collecting Semantics under Predicate Abstraction in the K Framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933282$8847BC38-4B7E-4C13-B0E8-59B9C9540B42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5324968e80dfb6179b5891bff832c03fd44287cc","datavalue":{"value":"1306.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933282$919376C9-F084-46FF-848E-EA6F6D12F69F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6dc8eda347aa9db4a631104bd5c29230948d7ed","datavalue":{"value":"10.1007/978-3-642-16310-4_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933282$70D74A08-58F4-4C15-AB43-2FCFC6B13477","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4225555324b48ba21484879c38f915eb1eca15c9","datavalue":{"value":{"entity-type":"item","numeric-id":2141284,"id":"Q2141284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933282$FF168024-5753-400B-B97E-C16D3AF0B9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"509a7ce7e7eb41cef598356cacf3be14febc573f","datavalue":{"value":{"entity-type":"item","numeric-id":2848887,"id":"Q2848887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933282$53E0CD85-0EC5-4D24-A1DF-BEBEDD090776","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933282$F9555BE9-F784-42E7-9305-2007873151E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-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":"Q4933282$73773661-59A3-4660-AD67-B03036038483","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933282$38852B7B-CBB1-436E-8D06-84A672FEE279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933282$0E3900A8-8195-4E87-8864-495623F4670B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933282$716FD14E-E6DE-43AF-8AF4-C1E943F68529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933282$FF3B7467-F789-44AB-BF88-684CBEBFEEBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46c8616cb6135df1c30895e11d9763135139c4fc","datavalue":{"value":"5798875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933282$8D4BE09A-8013-49AF-987C-D2D641B30B87","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fb38876199d3a569289f9c3366994be8ce0d8047","datavalue":{"value":{"entity-type":"item","numeric-id":21726,"id":"Q21726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933282$D539799B-C264-42D2-B9A1-39B1FC609331","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":"Q4933282$929EB8A8-477C-4862-AD58-7DCE41BD6CF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35aa8f2bd7327801554b1f17e0ed25b8c007a281","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16310-4_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933282$604AE12F-37F6-4E38-B620-4703B626C386","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aae10e767f16a125afa6cce81db4d9cb43d7bbe8","datavalue":{"value":"W2157449911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933282$A3ED7F3D-1486-4513-941F-51F1FA401BA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202220c6fbcc86eaf73cd13e67301ef04335c259","datavalue":{"value":{"entity-type":"item","numeric-id":4593956,"id":"Q4593956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f23638ee0f791ab4e24da923af66870fd18f290","datavalue":{"value":{"amount":"+0.8493339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933282$C5C45FB1-398E-4329-A160-441A10380278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161118802484d431fcfd10386c29a1c76fdd246c","datavalue":{"value":{"entity-type":"item","numeric-id":549686,"id":"Q549686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4249bab4c6526c9c9632f411ec43358e4c1232d4","datavalue":{"value":{"amount":"+0.8433219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933282$3372CBEA-8D16-4395-92B1-5AD9DAB8BC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06955dffd6e327f4d11c4c479c99ae3ef1bd848","datavalue":{"value":{"entity-type":"item","numeric-id":3605465,"id":"Q3605465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4249bab4c6526c9c9632f411ec43358e4c1232d4","datavalue":{"value":{"amount":"+0.8433219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933282$2238A977-86E4-465D-A262-9CDF46DEB9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489c2f39a1831141b4f06404278419f93eb393ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd43b4b8d23d03891e11d73670f51e4413ae193f","datavalue":{"value":{"amount":"+0.84054685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933282$83832CD3-611D-4CB1-A6F0-E621A8CF2D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc138c306ee525fd39a5dad82d8c7830af46979","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff934ae13e6627141ff51a9104d3aaa8e3b1799c","datavalue":{"value":{"amount":"+0.8388929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933282$870F1133-B394-41BC-A3BC-146DEA6DA286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b68f530c13a3c1e3e15cccd287639e4550fc678","datavalue":{"value":{"entity-type":"item","numeric-id":2182314,"id":"Q2182314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c8f7948275964f05632060505f8909c665f4dc4","datavalue":{"value":{"amount":"+0.83821046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933282$57CB54B3-A05D-492C-A222-7EA9A4D55E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c28fd55a29f6d32a1c55565c108241b7d263d37","datavalue":{"value":{"entity-type":"item","numeric-id":5170808,"id":"Q5170808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d17024721b3b82aa8fa80df8067ffb6b09221ef9","datavalue":{"value":{"amount":"+0.8372811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933282$BCB32EA3-321F-4F22-BAEE-2D4079A34AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"999375bb39403446b655884783d866a5eae1eecf","datavalue":{"value":{"entity-type":"item","numeric-id":4287476,"id":"Q4287476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59affc54fd980f72e279e28997bd4cfbb69a8942","datavalue":{"value":{"amount":"+0.83655846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933282$74A6B736-5DBE-457E-8558-B55143A5C6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f665c572367093997ece4b413563438c29d28d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4571129,"id":"Q4571129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e383f3c238eccebee07efdb090c44ded1b23685","datavalue":{"value":{"amount":"+0.8342885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4933282$0248E610-0E3F-4A8F-ABF2-865BD6331BBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933282"}}}}}