{"entities":{"Q5311263":{"pageid":7340837,"ns":120,"title":"Item:Q5311263","lastrevid":48533191,"modified":"2026-01-05T03:26:48Z","type":"item","id":"Q5311263","labels":{"en":{"language":"en","value":"Computer Science Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2197059"}},"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":"Q5311263$B646300A-4CE5-42DF-B8E7-A139E53AB311","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad022184a1fd83344f48f6051574ac5d36e03383","datavalue":{"value":{"text":"Computer Science Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5311263$BFF47BC9-12C8-443D-8000-DBC19F45694A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8aa0ebe995db05f2da85176d6014f82f216e781","datavalue":{"value":"1095.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311263$0086D630-A531-43C0-AFF4-6045A4916D63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311263$8440AD1B-F1B5-4B8E-BAEA-D92E885D8E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145dfc643b53f471cb50f045a5c8b4f60a920b97","datavalue":{"value":{"entity-type":"item","numeric-id":511011,"id":"Q511011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311263$A72E8668-37E8-46F0-80A1-5ADB9F513BEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311263$0F17FFFD-1900-4143-838C-E5A289B22B07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dd83e30b5291de8829d091c1ba44aab3df736da","datavalue":{"value":{"time":"+2005-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5311263$395E4954-C3D0-44BE-AC12-7064D5C5EB40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311263$0C83A4FF-FF67-4A6C-BF2E-EFEF7137C35E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e901653b4be22e3e043d7cd5ecb7c12e3e91691","datavalue":{"value":"2197059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311263$90C1D2D1-C5F9-4598-B55A-9314D0E93E20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9a271776a9075dc205a70cafdbb0270002d5ac","datavalue":{"value":"Abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311263$A7EB6A45-289C-440A-8C7E-A0F1FC02534D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ba51d6878c7074729a0b7abc58c4f481c5024c","datavalue":{"value":"language-based security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311263$B1AF2D28-B75D-4FB5-85BB-5DD8F44F8097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ad424d81fcccdae936afff2d9d799733908ce04","datavalue":{"value":"abstract non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311263$0192C4D3-CEEE-4918-B5BA-B1B714E65314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311263$EC336C28-8EBD-42EB-8101-3BFC78585433","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":"Q5311263$9B177BBF-28AF-4380-A144-D0E95941FC59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fc1961675d6f9ad1bf08478fa8b6ea94c5358ec","datavalue":{"value":"https://doi.org/10.1007/b100120","type":"string"},"datatype":"url"},"type":"statement","id":"Q5311263$B1ED6FDB-5E6E-4846-BD7E-C6F87121C90F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"037b92d209c09e403b5028445faba68ef705f470","datavalue":{"value":"W2481899496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311263$E68857CF-E491-4357-AE51-9AEF2AAEDF20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25e6c456a79e396869f0fe4cd1dcac9a0edb7913","datavalue":{"value":"10.1007/B100120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311263$DA7FFB5B-8A80-4694-9F37-B97DD83B08D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78211e0705ffe64b85409cb8e2f0ac3e274a403","datavalue":{"value":{"entity-type":"item","numeric-id":3452260,"id":"Q3452260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c85228794d0040dc1d73f80be80d3848349cac","datavalue":{"value":{"amount":"+0.8894092440605164","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":"Q5311263$75423426-3DC5-48D0-9CF0-E9A108F8A1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c627fee83162a10b7f15ae07d2cce803aaaeed7","datavalue":{"value":{"entity-type":"item","numeric-id":3553917,"id":"Q3553917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f8e95f82e4fa930430f714419699547d105fd4","datavalue":{"value":{"amount":"+0.8851680755615234","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":"Q5311263$1629CD79-73DE-4487-8751-3D0C7C4C0694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a49713591421d542ac856c60647732701ed74a86","datavalue":{"value":{"entity-type":"item","numeric-id":4916055,"id":"Q4916055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35746de382e5282b6ec5623705a745514d7d6635","datavalue":{"value":{"amount":"+0.8201380968093872","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":"Q5311263$09DD5F04-1F50-4925-A1E4-EE8E781368A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8647b5bd3a16140498b98acbc8915eb6e6865ffa","datavalue":{"value":{"entity-type":"item","numeric-id":3066121,"id":"Q3066121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c65d605b373c2608057244caa92129c975995d8","datavalue":{"value":{"amount":"+0.8137940764427185","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":"Q5311263$1C39AFF9-5C6F-454A-B7F2-DD5254F63B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181aaf2e075edd85fd284841b93c713e116af6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5704026,"id":"Q5704026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5ee8f9b084b05e66a4bcdf0f55c8dea16ae4ed","datavalue":{"value":{"amount":"+0.8109350800514221","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":"Q5311263$94718E88-E2DE-4ED8-B7A9-CECC896DAAEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5311263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5311263"}}}}}