{"entities":{"Q4279258":{"pageid":6308859,"ns":120,"title":"Item:Q4279258","lastrevid":46295385,"modified":"2025-12-24T12:34:28Z","type":"item","id":"Q4279258","labels":{"en":{"language":"en","value":"Building domains from graph models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 502865"}},"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":"Q4279258$68F44B6E-4570-4C64-B296-7527C6D38F24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a5fb35ae0867bf2af586c135147c5c5bd364a9d","datavalue":{"value":{"text":"Building domains from graph models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4279258$D6800F60-9620-46C3-9603-2C4824E9F227","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c859ff097fd93b5f8d2f72d3c370726769ecf3a2","datavalue":{"value":"0792.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279258$0DC97859-C99C-4191-A954-A8CBAB818DB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5b264692a223e5b76ae2e33b0ba7821334f8121","datavalue":{"value":"10.1017/S0960129500001481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279258$EF6E6FCC-5B47-453F-8370-D609A5218771","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"642309ed1e8b9db5cfe1a35ad5fdc89ce74673bc","datavalue":{"value":{"entity-type":"item","numeric-id":1322478,"id":"Q1322478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279258$2039B415-1025-4559-94D3-8B476A7B1223","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279258$8C696BE2-9DAF-4020-AC71-C41E0CC7463B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ce6b605d86b3d97b1a4810ba01e12a3ca3478f","datavalue":{"value":{"time":"+1994-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4279258$8D2BD9FF-D613-4866-BB13-EADBCFF3CDC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279258$BC1F7564-DA0E-4028-A05C-CDA60A6E92D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279258$E3A14DF2-3948-44F0-B595-13ABC5F3FB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279258$21E186AA-5AD6-4E80-ABCE-65F2F6A2DF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279258$2D114D3C-CF2B-44EC-BF45-1ABC5D9CE947","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be20507f6cf9826ff0e3694ab407ddad41a37db6","datavalue":{"value":"502865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279258$5B8E8375-D136-4158-BFA3-4820083C4D9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a7fe2dacddd56e5e43b3837797d32752c87aef2","datavalue":{"value":"partial equivalence relations over graph models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279258$2A420995-9F31-4963-89B2-96EF46A62CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e45185463b5e772fbca77d3925506061cb10f84","datavalue":{"value":"synthetic domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279258$82580EBB-BF98-4C8B-A61C-41C41379272A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279258$C7D07686-323A-4070-A0B0-FFDCDBE34143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"356d02b875924d9b94be88e3ab22321110828dbc","datavalue":{"value":"categories of PERs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279258$DAD9291E-CDED-4167-9E7F-6FA95A1B8F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ec49e65a676d9d8f765d37bb1f7e088809aa36","datavalue":{"value":"predomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279258$B935A06C-8E4B-442F-86D9-DEBFD3C9EF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c7ef2ebccd016252dd4c0a33f562cb4c71d7234","datavalue":{"value":"domain equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279258$81D085C4-5E77-4C20-A0E3-BAC67A985515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b718e48fe341633490fa2ced729b418e18c3ad8","datavalue":{"value":"polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279258$A1B96C52-3B0F-45E0-9ED6-DDAE41962FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a95c4dd43c8ad2447fd3f7c5290550e93b429dc","datavalue":{"value":"powerdomain constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279258$D6EE7D53-7EFD-41BC-9C0C-F9C84843D12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279258$DC727D37-4511-4B82-A1ED-6F337C55CF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de3d055264c78dbe5aaa44e69c341de12cdff13d","datavalue":{"value":"bounded quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279258$5EE8BEF7-1768-4839-9ACF-3B9E40397F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65baa80c66ffd926eb7c090c0cc443ecc29865b","datavalue":{"value":"realizability topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279258$528BB700-55FC-4F16-936E-E368CA529EAB","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":"Q4279258$508F1F40-B5D7-4AE4-B653-69E318BA6E75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279258$9BF45186-D570-4D6F-AB50-C4FD8EDCB661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279258$EEBA87BA-1316-4C30-9881-914858B17F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4bee9e7dfe28352158c647e2504f93048f73b64","datavalue":{"value":{"entity-type":"item","numeric-id":3138546,"id":"Q3138546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279258$AAA4056D-50BE-43F9-8B25-9919E2AAC8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279258$9DF985BD-392A-4EB9-BB9D-58BE559AFFC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1177c45e66ab2ff4e7ab1f184d726673f8f3b919","datavalue":{"value":"https://doi.org/10.1017/s0960129500001481","type":"string"},"datatype":"url"},"type":"statement","id":"Q4279258$EE5ADA9E-9A8A-4D05-8316-FE6611FFB500","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de39f0f46f2eeee306cf15948caf86b9534d7e98","datavalue":{"value":"W2150223832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279258$69D873E9-16FC-4C55-905F-8D1E73FFB642","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e50fe0403c890524c14042cdf25f10f16b81aed3","datavalue":{"value":{"entity-type":"item","numeric-id":5096213,"id":"Q5096213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adee8cf2fe4b23194758268777b92ec53551f4cf","datavalue":{"value":{"amount":"+0.8702983260154724","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":"Q4279258$80269AC9-7A8B-4D55-AFDB-D232E260D7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f87dd34a8eb14d673e58a4bd4aa2e852b6c180c","datavalue":{"value":{"entity-type":"item","numeric-id":1322479,"id":"Q1322479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639630f7e7ce9ddbb18bc710d56fb173bda9a937","datavalue":{"value":{"amount":"+0.8531986474990845","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":"Q4279258$EF6E540E-DBA6-41A8-AD7C-6BE5A8EC8A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5349fc25606d671f0341a0ce3ce48e116ae310f7","datavalue":{"value":{"entity-type":"item","numeric-id":5956841,"id":"Q5956841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"353d7304f16b71ff7ea50ae8314d290266517fb7","datavalue":{"value":{"amount":"+0.7927896976470947","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":"Q4279258$A81809AA-5351-447F-A545-64D57372C42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141c85b5be54175d7d08a6b36596533bbb91c644","datavalue":{"value":{"entity-type":"item","numeric-id":1193589,"id":"Q1193589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abbe6d9fdceb09e89796f1608841d011df469cff","datavalue":{"value":{"amount":"+0.7730613946914673","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":"Q4279258$28C5A4A1-DA18-488C-A6C9-46F85F3479C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4279258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4279258"}}}}}