{"entities":{"Q631090":{"pageid":632938,"ns":120,"title":"Item:Q631090","lastrevid":63104850,"modified":"2026-04-11T10:36:41Z","type":"item","id":"Q631090","labels":{"en":{"language":"en","value":"Hybrid logic with the difference modality for generalisations of graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5869152"}},"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":"Q631090$E909AD38-0DC8-4AE6-AFED-69CFF9109CDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4c0719c9f6454fe67a1a56d9d7118e1d948c696","datavalue":{"value":{"text":"Hybrid logic with the difference modality for generalisations of graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q631090$B5CA2034-E116-4F46-86C5-B8FF0FA33DC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93a87097fb47d01be40d2d2214024bafc9c2d1c0","datavalue":{"value":"1215.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631090$5329EC30-21B2-4563-BF15-9FE7320A7F5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0a3f7c11d50764b5763f414538062ef9bd19c69","datavalue":{"value":{"entity-type":"item","numeric-id":265817,"id":"Q265817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$B579BC00-FBE5-4DB3-9BB4-411A859C145B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$AAE8C37C-750C-4620-9E52-CA9C3FB3550A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$78B03658-51A0-4DAD-96FC-B5389315774D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec164f2bfe48fa82cbe0f6953c3fa41144bb83e0","datavalue":{"value":{"time":"+2011-03-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":"Q631090$F447B595-6281-4147-94AF-74ADB1C1672B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631090$58A28CCB-1702-4346-B0CB-2131CB79CFA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9ae6bf7250c6b0471de85873511ecf0c378eb1f","datavalue":{"value":"5869152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631090$183C3FE0-A46A-41FB-B3E3-2AC3448EE441","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d64ca6f53acf429cc126edf70c03b7f98198789b","datavalue":{"value":"global modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q631090$91506EBD-EE7D-4BE3-878B-E2D29C908DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e0ccf219b9d3559ffe1c612ca2738894146cec3","datavalue":{"value":"difference modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q631090$843496F9-5F3B-4592-BFB9-E991008FECA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"523eb4dee4e0de4d796d9cbea25be1afad3f8a00","datavalue":{"value":"coalgebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q631090$341B97E0-276E-424A-8B9F-DFB7584A9757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"550ee3da3fa8caf541d5fd141bc78c4c9c646c72","datavalue":{"value":"cut-free sequent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q631090$1293E27F-825F-477B-A820-51444F4855A4","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":"Q631090$65E2049A-EBF8-45D6-A16A-5B9E4675B965","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bacb7e2c12f8e3b53e5371759753f0df576443b","datavalue":{"value":"https://doi.org/10.1016/j.jal.2010.08.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q631090$CE4ED556-FBD4-42DE-B1B4-B3371F2A0C5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a10cf880495a31c64b678a14b88a22e42226c2d5","datavalue":{"value":"W2092988840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631090$C82F05D7-8980-465C-B382-D29FD8273087","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$7B46F1FC-99F1-41DA-8577-8062A33E93E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a434d8d83635d48a94c51e468983008bba00fd2a","datavalue":{"value":{"entity-type":"item","numeric-id":5431611,"id":"Q5431611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$C602FBB9-92AF-4E9C-AA79-AD5E780F927A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a7cec9b821e2e4c8ea02adb846615582ed2171","datavalue":{"value":{"entity-type":"item","numeric-id":3431972,"id":"Q3431972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$7795328A-7EB2-4429-9D7E-95D70190C4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$883CFACC-7FBB-46DE-96B0-0708D16848A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d2a217a4f89905810d12fb9d8a428ab9ebf7dcb","datavalue":{"value":{"entity-type":"item","numeric-id":2464936,"id":"Q2464936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$0071137E-53D2-40D8-8EBC-0C463410CC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c793f82f1f4ddec2d78cd1e47bdfc2545b41eb1","datavalue":{"value":{"entity-type":"item","numeric-id":3647271,"id":"Q3647271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$6A3DFC23-674B-4499-A62E-CC3386EB9C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2fd5d319da772b2fe398f9fb301c77d80ef407","datavalue":{"value":{"entity-type":"item","numeric-id":1006640,"id":"Q1006640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$8BAC13FD-FA25-44AD-90F9-3324B7FE5DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72aa0a961c18435f164afb4f6b68b2d2e123d3e7","datavalue":{"value":{"entity-type":"item","numeric-id":5492822,"id":"Q5492822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$EB20638F-9EBF-4199-91E2-1AC05C0D566C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e8305dd6156397d433e508ae60e0123d3f96d4","datavalue":{"value":{"entity-type":"item","numeric-id":2849846,"id":"Q2849846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$3B18F52C-D705-43F9-B010-424343B67C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"954bbe3830df2d56eef4d93b8ebdd9c070b0019a","datavalue":{"value":{"entity-type":"item","numeric-id":3541703,"id":"Q3541703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$FC3C5014-69B9-40EF-9D93-C081FE3A8C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc4c8239c7db52d7e12426e8cf2b047af192e29","datavalue":{"value":{"entity-type":"item","numeric-id":5902295,"id":"Q5902295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$B70E0F68-789E-46CB-B29C-548DE0EC68FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"868791ecbb8b2fef99c94f8ac3bfdcc20ea5c8f1","datavalue":{"value":{"entity-type":"item","numeric-id":3644748,"id":"Q3644748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$94CF64BA-412E-49EA-8271-3386FFFB4125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93970932bd7f6d4c83da854c59f14484a5035e8f","datavalue":{"value":{"entity-type":"item","numeric-id":3617726,"id":"Q3617726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$9FAB0EBB-41F9-49A4-BA46-91C751976EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564179a3065c43e795b643ec9273069a6cc72505","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$92619BF4-B03C-4A1A-BFF1-3D782BC2BDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6cb83a8072779e554d8824cf5651798f1e717b1","datavalue":{"value":{"entity-type":"item","numeric-id":2873670,"id":"Q2873670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$43441B21-6D65-4C0B-BA34-EC851AFDB49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062c756fa9733f49060155583a38e4009df699fb","datavalue":{"value":{"entity-type":"item","numeric-id":5458351,"id":"Q5458351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$883AF89C-32E8-46FA-9FD9-0AA8BC1356B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4bef7064c2f980668d1f3333d7ffc1cc33b6047","datavalue":{"value":{"entity-type":"item","numeric-id":5902296,"id":"Q5902296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$87DF92D8-496D-4576-83E1-B1817413EAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$0744CC36-2699-423F-AEC3-D6A0FF915513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5602a712555e3999df12c4260f8589c5a167f0ac","datavalue":{"value":{"entity-type":"item","numeric-id":2643335,"id":"Q2643335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$7E6F9537-7F1E-4D6E-BFD7-4D4A767714FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2a146bae799e67d19c2792d562d311cc75bcfa","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$1E5AFEF4-B895-446F-B6E5-D82FE5EAF3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f57cd5952b6bdf2070db56a859fb9698500bfa","datavalue":{"value":{"entity-type":"item","numeric-id":3590964,"id":"Q3590964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$084AFC53-2141-48A5-997E-1B43FFB4A6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50717835f7f6961b0d32328866377521644caf81","datavalue":{"value":{"entity-type":"item","numeric-id":2946571,"id":"Q2946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$03D2A802-C70E-48ED-90DF-6E6379ADB3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631090$42EB7909-8DC7-4E39-A9B0-B71102798177","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c84999333841d8b06d0d44099159478aa858765e","datavalue":{"value":"10.1016/J.JAL.2010.08.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631090$340B5EFA-884B-4802-B437-4AB09614099D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ba7e99d457b2b3ac881724188f4711cfce91e6","datavalue":{"value":{"entity-type":"item","numeric-id":4982124,"id":"Q4982124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a052b5afde117b239a326ac1fa82a47bd04a147d","datavalue":{"value":{"amount":"+0.7803921103477478","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":"Q631090$887726A2-4149-4178-A3D8-D6A47C44C5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c8603b2d8f201a1b66efa4ac981e09b8b947fc","datavalue":{"value":{"entity-type":"item","numeric-id":1047795,"id":"Q1047795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b2fead593e3ce64fc4046d6e75a4a7f4300f69","datavalue":{"value":{"amount":"+0.7686360478401184","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":"Q631090$D945B3B3-9B49-49FA-9621-A9659CDF5B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9fb46176b6712b99d7a2afe9166512817cc544d","datavalue":{"value":{"entity-type":"item","numeric-id":3541703,"id":"Q3541703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5d47d8f5c100550a10104ba0052d75428d435f","datavalue":{"value":{"amount":"+0.7595365643501282","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":"Q631090$B0C63992-EB79-4AD9-8154-677A06C884A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef373fc5f463e56073ebff023e0d00e9eb5b1392","datavalue":{"value":{"entity-type":"item","numeric-id":5446314,"id":"Q5446314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff54d100c7d3619964d6882aa6c18dfe145942f","datavalue":{"value":{"amount":"+0.7572275400161743","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":"Q631090$2F09905F-1024-489B-A3ED-60BA4CA8C364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca65b1ef67cc79b38b83b3852a64ec15fd51044","datavalue":{"value":{"entity-type":"item","numeric-id":3509061,"id":"Q3509061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"504e23f434f3034aa38cfc858311b30cba93ec50","datavalue":{"value":{"amount":"+0.7401094436645508","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":"Q631090$40E52E18-A4A5-4D6A-BD93-1952E4672C5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybrid logic with the difference modality for generalisations of graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hybrid_logic_with_the_difference_modality_for_generalisations_of_graphs"}}}}}