{"entities":{"Q5292622":{"pageid":7322196,"ns":120,"title":"Item:Q5292622","lastrevid":50119916,"modified":"2026-01-13T05:08:53Z","type":"item","id":"Q5292622","labels":{"en":{"language":"en","value":"Computer Science Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5166475"}},"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":"Q5292622$328BD5CE-16B5-4E6F-8C8D-B0954B8CA835","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":"Q5292622$4DF6DD17-5605-405E-9DAE-F29A29B66675","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01ae47d465dcdab9e05614c37528c32a9d65a2a8","datavalue":{"value":"1116.03311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5292622$D5244D65-9D26-4E94-A142-C3D1A20DCCE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edc6b08afc1b2eff2d555228deeeb1c4cf07164e","datavalue":{"value":{"entity-type":"item","numeric-id":1818357,"id":"Q1818357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5292622$6624160A-67F1-46FA-B02C-23AE8AB04D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0186bc7dd1d1b4a4788ea11c9251ab62aea699b5","datavalue":{"value":{"entity-type":"item","numeric-id":2848038,"id":"Q2848038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5292622$DE263C3E-1B6C-468B-9F28-DC4F2B8C9A86","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":"Q5292622$6171B4A8-F7B7-4113-8DB6-5722D6D67F7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"091c76b3262577e7d9236eade659189d2a570886","datavalue":{"value":{"time":"+2007-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5292622$62A8C939-8850-4D7B-96E4-DF0BFA41F16B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5292622$2A4EA9E4-896A-4193-9F04-2205EF4FA575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5292622$390B1B04-EEEF-47C7-9170-9492AA0BA0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5292622$81C3D1D1-98BE-4D5C-AD6F-CEBC2493D2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5292622$3C2127D6-86F7-4064-A185-9DFD9205F922","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32a9d110a9807f7909975c362482a1e756f252fe","datavalue":{"value":"5166475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5292622$AD778D37-814A-4A6C-92C8-A69C80ED0B6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da5fd99c48f13d5f3004570fd610b9c6eab4cfa8","datavalue":{"value":"Logical foundations of programming paradigms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5292622$AB451771-BFED-4FCB-9FD7-55AE4F0F5965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e63d174b80a6af02048f4fa585d270650815b667","datavalue":{"value":"Linear Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5292622$9A89C6D7-1275-484B-81BB-2B78907F2364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352166304907b9d3ad172e15443f4d4299319fcd","datavalue":{"value":"Proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5292622$E4E0301B-61F1-4873-BE89-26FFE3D2A18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ab01a9249e8b8b5ce5b297680636743e961ae3","datavalue":{"value":"Concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5292622$6E939308-5EA2-4CA0-9322-408ADF5DD1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70ef690c856983494d11da5c7f863caed81192a3","datavalue":{"value":"Transactions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5292622$DE3B8EC2-966C-489A-97D3-B555322C151F","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":"Q5292622$7FC920CF-2941-44E8-B0ED-81FB53730DE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cee382200f47514bc70b3090d8cdfeaf4381dcb","datavalue":{"value":"https://doi.org/10.1007/b13224","type":"string"},"datatype":"url"},"type":"statement","id":"Q5292622$87A5A8D4-E453-4589-B9B5-144807906D39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14f26df48d85d7d7c1273460c557fc53444d035e","datavalue":{"value":"W2623947920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5292622$883E5C4D-8E51-41CA-85E3-868B75D5E3FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdf0f831d616eeeb0eb2690135941b8b80dfe4d3","datavalue":{"value":"10.1007/B13224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5292622$87FC3215-CA5B-409C-A275-EF76C46266F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3837bf372fb081e7e469905c459161e17c08ed3e","datavalue":{"value":{"entity-type":"item","numeric-id":4236204,"id":"Q4236204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a1b3d27050406db5d51575acc58bc425d1881f3","datavalue":{"value":{"amount":"+0.8290423154830933","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":"Q5292622$19ECEA2D-B61B-4409-8120-1781850006B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494ba3b30bd7d3b854c4c149567e3f3551c58c8a","datavalue":{"value":{"entity-type":"item","numeric-id":4809081,"id":"Q4809081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4d5c404ac1ca6fc105186d5a984d9d8f68d863","datavalue":{"value":{"amount":"+0.7818500399589539","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":"Q5292622$B5ABE0D2-6CB1-43B2-9DA2-A41EE4AB352D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0091d5e5747a0bd36de97ece545da51ab5098b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4223029,"id":"Q4223029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f44ba7a8d83fef6e5e8579fb24c82fd0956595","datavalue":{"value":{"amount":"+0.7813909649848938","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":"Q5292622$86FCE19E-5C25-4FC5-8B26-9D9F15661280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cae292f37e87f9cce269098b78f0fdcc801418f","datavalue":{"value":{"entity-type":"item","numeric-id":1575879,"id":"Q1575879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c662f345f0a94cbac8cc3e0748a040cc9e51ed6b","datavalue":{"value":{"amount":"+0.7602857351303101","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":"Q5292622$A68865B0-520B-48F3-9860-E9BAFC8613E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8e691198e24242b5309c7e6a7afb2b53aec453","datavalue":{"value":{"entity-type":"item","numeric-id":1342247,"id":"Q1342247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daee72bec88042a2f814334df368ab9ee24fc9fd","datavalue":{"value":{"amount":"+0.7509693503379822","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":"Q5292622$58545453-AC22-4E26-8C9B-61BDF500857E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5292622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5292622"}}}}}