{"entities":{"Q4364375":{"pageid":6393974,"ns":120,"title":"Item:Q4364375","lastrevid":46511850,"modified":"2025-12-24T22:50:25Z","type":"item","id":"Q4364375","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088028"}},"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":"Q4364375$0EF475C4-1882-4EA4-BC86-6F16D1F21FF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2295f67e785b88780299be6ab29360ccc15a97b","datavalue":{"value":"0885.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364375$1E8D5921-27B6-4A20-8D9F-493739516275","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6196248ea4f7015d5a81fd36913200988fc7bf90","datavalue":{"value":{"entity-type":"item","numeric-id":476187,"id":"Q476187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364375$904982B7-01F5-48B5-83A1-0605F155154E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"355fa2304b59f2df130700a6c93add4876a1709d","datavalue":{"value":{"entity-type":"item","numeric-id":1127516,"id":"Q1127516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364375$5C3EC66B-DC80-4C8E-8AB6-4219F4C80A67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5428ed54f73e0030d8e31bf1a0a854c10199b1ce","datavalue":{"value":{"time":"+1998-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4364375$F5018DA6-777A-4AD9-82A6-300F61C5C745","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364375$75DA9A02-0D3B-4C77-B6F3-242902914278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364375$A48C2D2F-C3D3-420D-9E2D-9C6B0B7E3584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364375$A086C2F3-7D04-4A17-8BD0-330EDDE38CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364375$C1A7D8CC-AEE3-4A72-8DFA-510C769FB22F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e51742da6c873fc30edc46f7cad8c3c7eae4dd8","datavalue":{"value":"1088028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364375$BDAD3AF7-C145-4DD9-AF28-E061D512AE08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364375$23027B1E-62A4-42D0-B4FB-6D41D8D8B1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364375$9A3CB896-1D2B-4671-AC3D-AB33AECCCBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51f7027bb3c11d300382ac67411ea2b780a41dba","datavalue":{"value":"proof-search computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364375$DBA9E3C6-CFD5-4661-99F8-A8AE462CC845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb47217a5324f83a53a9642387e49e734153d4b4","datavalue":{"value":"linear logic-based language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364375$24F714FE-F4A4-4C7C-8300-954212211EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3306b426793c42f1ea0743d64272cd0bb9253d58","datavalue":{"value":"interaction of agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364375$A6BACA87-B6BD-4338-99D9-BA0BD6705DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cf72cea7a2e1b2b32197b562dbf383c8a899a54","datavalue":{"value":"operational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364375$0FC61CCC-AB4E-4742-ADDC-02FA58285A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b15dfbe96a3ca4296848dbe5b48445c04999f2f6","datavalue":{"value":"partial order semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364375$8B48D1DB-32E4-4A5C-90CE-1C89D734E6F8","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":"Q4364375$41376031-683A-450E-8D39-18EFB6738066","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90ece50c455dd50cdf55a88690655d14aa89fee","datavalue":{"value":{"entity-type":"item","numeric-id":2703720,"id":"Q2703720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e120432c38fdc93c7c7bfb4d8a481637695553c","datavalue":{"value":{"amount":"+0.7671058773994446","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":"Q4364375$7142316F-F88C-442B-9338-2BC65A9BCF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46e9c15b4e6873bc4d9a9de52ad814a0b12f609","datavalue":{"value":{"entity-type":"item","numeric-id":2703721,"id":"Q2703721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b55688e7d89619f80934bda93a7b441b7866c040","datavalue":{"value":{"amount":"+0.7635952234268188","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":"Q4364375$98C38166-43CD-4725-A735-CA85C68E1570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b7ca8ca15998dfe64e463ea30b8bb03de066e2","datavalue":{"value":{"amount":"+0.7599798440933228","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":"Q4364375$73630C76-E67E-4073-9D7A-EA1E22F167C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7254c70d5edb0c87e8a56c929375f69578ccbd95","datavalue":{"value":{"entity-type":"item","numeric-id":1325054,"id":"Q1325054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1e8e10687848be804734603e1dc003371f3982","datavalue":{"value":{"amount":"+0.7586746215820312","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":"Q4364375$35376F22-1476-4337-8301-28E43B96F4D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4364375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4364375"}}}}}