{"entities":{"Q5145335":{"pageid":7174906,"ns":120,"title":"Item:Q5145335","lastrevid":100628867,"modified":"2026-06-05T22:37:22Z","type":"item","id":"Q5145335","labels":{"en":{"language":"en","value":"A logical account for linear partial differential equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298784"}},"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":"Q5145335$7632AB76-BD74-4C5C-9DAC-9746A6CD8141","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3f3da75e77f0d2483d3b3a6a81a883ba835ddc9","datavalue":{"value":{"text":"A Logical Account for Linear Partial Differential Equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145335$5D0E856C-A2CB-4651-870B-BB1CBD9B00C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a161fd9e02d0e658f81675c1adcd3894b109caf","datavalue":{"value":"1452.03135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145335$52188422-7107-4BB5-94B7-6FA30CBCA98A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77eb81b113ec889f80d15744618115c3492e56fd","datavalue":{"value":"10.1145/3209108.3209192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145335$15C7983B-99DF-45D9-BF32-1894120A0FA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f425776279bc8f40c9e6ad98966501ef1af7a787","datavalue":{"value":{"entity-type":"item","numeric-id":2289084,"id":"Q2289084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145335$6B66895F-D528-4A50-BA25-09F53EB64F9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145335$5F3116E5-A7D6-44A5-95ED-355C2DE4CDDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145335$F9766F24-53E2-4857-9692-2D71AFD46D72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145335$5EC6C99C-2DA6-4803-97FC-FBD86B691063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145335$ECF0C357-6D69-4813-ADF2-FA409C9EBBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0d774e28b260bbad3354a9788cc03514009802b","datavalue":{"value":"35G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145335$A616A468-33BC-4097-B0EE-7C22E4E25E25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bc7d9217b01aa29fe2d74bed1d795a1fc34f160","datavalue":{"value":"7298784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145335$67EC7A00-A17B-4890-A1D0-9589DE600469","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145335$13065013-64A7-426D-9A7B-DC87E4880309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7355a66e0232dac98853fe8bdd183ad4901131d5","datavalue":{"value":"differential linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145335$B61F5CFD-CC1B-488B-A14D-F0B0B6F491CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f649787e311d1d17a9cc36bea714473be983220d","datavalue":{"value":"functional analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145335$AF72C0C6-3344-490E-A624-3ED06E37ADE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f4dde6f52f1ec3dac3d4e5a19399ce0dc63e98d","datavalue":{"value":"linear partial differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145335$A235363B-FC94-4D57-98B2-AF211048F376","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":"Q5145335$1EFC7445-E00A-41C5-B795-7B6580EEDE80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13a3f0f9178d336384c33b4fd19b50534b2488ba","datavalue":{"value":"https://doi.org/10.1145/3209108.3209192","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145335$1F325242-17E4-4332-A68F-5CC5019FC9A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fda0a466405540fda5d281e068dbc53ab8aadce6","datavalue":{"value":"W2798338833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145335$2391913D-6884-4134-95C3-6AADBC6AB04D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f519426848a9bd5879e6d9a6cd350cb24ad8f5eb","datavalue":{"value":{"entity-type":"item","numeric-id":4577980,"id":"Q4577980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a74c0323d622b47924d17147f50ca937d2d744","datavalue":{"value":{"amount":"+0.8139575719833374","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":"Q5145335$B4986504-54AF-4A98-949B-09B75E8F3886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52937a2ae86f194f8f848e7e07954bea90743816","datavalue":{"value":{"entity-type":"item","numeric-id":3637207,"id":"Q3637207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e22b975943658e9c1b40ece0b05a0772ec1bbec5","datavalue":{"value":{"amount":"+0.7795772552490234","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":"Q5145335$59C924E0-8445-477E-AE8B-A383F87BE868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3981ddbb98ed63391025af451e709cfc0eea1003","datavalue":{"value":{"entity-type":"item","numeric-id":4606699,"id":"Q4606699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d9b573ca2fac14fdc9ad2cab480dc18553d1c7","datavalue":{"value":{"amount":"+0.779177188873291","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":"Q5145335$83666DC0-2FB8-463F-ADC2-5D37461F2891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1db0cdf24fccde140f9b1e5150508c2132c583b","datavalue":{"value":{"entity-type":"item","numeric-id":4988427,"id":"Q4988427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e24a0f24c0260e2bd3591f2e0be0da87f8811158","datavalue":{"value":{"amount":"+0.7748365998268127","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":"Q5145335$D4412F11-E8B2-4035-A5EC-3FE2F67676A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c60759b9ffe11af0465b95a04cb314212978e9","datavalue":{"value":{"entity-type":"item","numeric-id":5207357,"id":"Q5207357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd017d3c6cc064137a5ac27246c3a279e00d8a0","datavalue":{"value":{"amount":"+0.7595430016517639","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":"Q5145335$87A0D1C1-01F9-4BBF-A6CA-EAB2FEC38320","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical account for linear partial differential equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logical_account_for_linear_partial_differential_equations"}}}}}