{"entities":{"Q1434358":{"pageid":1445098,"ns":120,"title":"Item:Q1434358","lastrevid":68694864,"modified":"2026-04-13T01:29:27Z","type":"item","id":"Q1434358","labels":{"en":{"language":"en","value":"Semantics and logic of object calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2081189"}},"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":"Q1434358$AE7D1347-67C1-45D1-8C30-3535C4EFDDB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04ad85ad49584a3ec4d2bb5932e1ac0cdcff9291","datavalue":{"value":{"text":"Semantics and logic of object calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1434358$B2C1825E-9790-4ED5-9457-B6D2981FB7B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f71c0b851d0557106043be3554e72a429fb23860","datavalue":{"value":"1072.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434358$C6937120-2014-4F9C-86A8-95DB9A77759E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3e42733fe340979767bce67d5c97029b2e5567","datavalue":{"value":{"entity-type":"item","numeric-id":287262,"id":"Q287262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434358$A64D6680-F41E-4127-89AA-A1751BFB34B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434358$1855BA0C-AC78-4F47-A529-CD31C849685D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434358$2C128585-B69D-4D4E-B713-540DF1A3B91D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"135faa3d5a875c7827ad0c91fd6b706e732e8e4e","datavalue":{"value":{"time":"+2004-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1434358$B7AE807D-6082-4830-88B7-6CDD75A4AA1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434358$33BC5EE0-D9B4-46CF-A182-EFE32694F168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434358$5D1BFE05-C4B1-4462-8250-D5D1F8CCFEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434358$A7A0037F-D2AB-4540-B529-AA719E2F5839","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74ed024eac79beb78cee9fbb997b320ba7e2a3bf","datavalue":{"value":"2081189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434358$E2A721F5-B56C-4CD0-8B98-059DA37A7439","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab5d1b1f3be0e52e4a0403db4a500fef47ffe691","datavalue":{"value":"Object logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434358$3FDCACF3-3399-4F2D-86F3-73D5582F1C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b426356bf1a809edb6bd4d41683d2bf12bc9683","datavalue":{"value":"Programming logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434358$BF9C3CFC-B1BC-4972-BA94-9E5435449EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9928ae9fcfaf03e4706ca2a7e2f249f4a8e042bb","datavalue":{"value":"Program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434358$3A8D8299-8699-4B74-820E-500F7F1C5472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9db8868b1fc14b46844832778d836062e97f588","datavalue":{"value":"Denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434358$751EB035-4500-480C-95D4-3B3218613559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3e9677d66ceefa453568c158b067cad6510230","datavalue":{"value":"Domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434358$3F97586F-F66E-451F-9F47-6ED1E333D11F","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":"Q1434358$80F913DD-9086-41F8-942F-8ABC3043A3D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d683f1b5a791495cca4d60acc05fe427824e284","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.01.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q1434358$61923734-A849-40B9-96AD-2F85444FDA8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"408022f22bf3aa0af622f0c1e0b422145ed32606","datavalue":{"value":"W2027723207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434358$AAA86E1D-F76B-4BDE-B6CF-6CE9E603E8B9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"50de1077ece4c67fbfad59f91f39b4161d0ffec1","datavalue":{"value":"Q56092882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434358$4919597E-A257-4758-A9F9-068DB74C8DF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434358$DACCFFA1-0D73-42BE-B5DB-FB46E8D784DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec3fab40cc2d2e106280bcaa4a13109b0361ac","datavalue":{"value":{"entity-type":"item","numeric-id":5305637,"id":"Q5305637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434358$DD5F0EDE-D25F-4119-B9AE-9C501EF439E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e160316787539efc8758d4bbe989f1e19c31eba3","datavalue":{"value":{"entity-type":"item","numeric-id":2769428,"id":"Q2769428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434358$02EC3A09-7AA9-431F-9303-6CE565A3135B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fee693ed63de795908d9ea9b39d5124d8fc52c","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434358$0BBA1227-E965-4CEE-BBF6-55255EFA29CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929ff820f672483b6de035d1898767e05677bb95","datavalue":{"value":{"entity-type":"item","numeric-id":4855345,"id":"Q4855345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434358$A954F3C0-5B89-4E88-A170-71EEB03F5AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9134c58e54d930921f3bed1c10f8c24262f2dd","datavalue":{"value":{"entity-type":"item","numeric-id":4230924,"id":"Q4230924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434358$81150247-E596-42FD-8366-DC872D4F5215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434358$B684BCBF-7403-4959-828D-D90933F59915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434358$A4AEBF01-7216-4DDC-8B50-A2D25DE03C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91e3af0c45dc79034d8d58aebc7d51324081ad71","datavalue":{"value":{"entity-type":"item","numeric-id":1854495,"id":"Q1854495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434358$77FE03B1-15FF-4FAA-B61F-07677BAB541B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26ab23cf4ad99df4e4bcde44dbbe06619cdb33f5","datavalue":{"value":{"entity-type":"item","numeric-id":2996130,"id":"Q2996130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434358$2462EDD7-9EAF-4F9A-9597-5C488F8E4128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27a54476c95c21bccf060ad41edfc2fcbb1686b","datavalue":{"value":{"entity-type":"item","numeric-id":5292658,"id":"Q5292658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434358$5443D549-46E9-4FB2-9473-E0B81A7F5DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11cdba64fa9b15de71b86a7b8f0097eb030b20c3","datavalue":{"value":{"entity-type":"item","numeric-id":2764133,"id":"Q2764133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434358$426921AC-0E60-41DD-9896-8658B5AB8169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b452ce4d1f95cf97b29e4fcf514310575ada4e9","datavalue":{"value":{"entity-type":"item","numeric-id":4417622,"id":"Q4417622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434358$E852E1DD-4C38-4C5E-B912-EE4ABA657BB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3565af4587688aff7094cbd847beaeeb21e5735","datavalue":{"value":"10.1016/J.TCS.2004.01.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434358$33CE63F0-9DC5-4DBA-9233-F05962166DA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49348d4d19df3c31a72ae42decbba878b3f9ccbe","datavalue":{"value":{"entity-type":"item","numeric-id":2848697,"id":"Q2848697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"422465af436e6f2bc14e0b8752c3b51dfbb0874a","datavalue":{"value":{"amount":"+0.9388234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434358$AFDFDFB6-620B-4950-9BA3-826A84F05F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed69deb6b33d43a9fe033c2121cef167cfbb0a8","datavalue":{"value":{"entity-type":"item","numeric-id":5481596,"id":"Q5481596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e75da43a8cfc1f06023c6dd3f349a0317ef16f6","datavalue":{"value":{"amount":"+0.93242896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434358$BA573C92-212B-4024-A385-29BA9F15F209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eaf455a96d5c605eb37fd44919b5f262b2c81f8","datavalue":{"value":{"entity-type":"item","numeric-id":2390933,"id":"Q2390933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688d39dcc1171bdd9ad831d9dc7ed414199c31c3","datavalue":{"value":{"amount":"+0.9284905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434358$BFCC1C8F-2945-41AC-95A1-F6C679427C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"728360e4b4cf7e280f683528938063c9cfdcf6e0","datavalue":{"value":{"entity-type":"item","numeric-id":4952027,"id":"Q4952027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d198a300c2613b6d44506f6d65aa38175e211f5b","datavalue":{"value":{"amount":"+0.9235233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434358$90952209-0691-434B-915B-FBF40ECAF071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582eb3110b663aa6298b9d019441d9416993c700","datavalue":{"value":{"entity-type":"item","numeric-id":4222907,"id":"Q4222907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa570a9ed9a47d6d07ffdb5133226d9c5958e9cb","datavalue":{"value":{"amount":"+0.9180925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434358$47E14530-4620-486B-94F1-8DB677E1C69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ba3038fd3db031e5d33c616f57d63ef877e453","datavalue":{"value":{"entity-type":"item","numeric-id":4369882,"id":"Q4369882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4cc84adbef4257695ed34c553d5219120f257b","datavalue":{"value":{"amount":"+0.89910537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434358$3B6F071D-C269-49A5-B0EB-5FB2D9CA5BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32809c293635d049ae406af9f8691702a58a15ab","datavalue":{"value":{"entity-type":"item","numeric-id":3983346,"id":"Q3983346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2c42e24cd93fc3821067696ea97b01f4d0fd64","datavalue":{"value":{"amount":"+0.8968023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434358$44D17382-F404-4679-9731-BF619D8A8F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e66620bec751c644522c23a1de6bfbd9223cdbbc","datavalue":{"value":{"entity-type":"item","numeric-id":5316569,"id":"Q5316569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef0091757773e2748feecee31c3cbcf5d588fbd","datavalue":{"value":{"amount":"+0.8959732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434358$BE3E4332-73F4-44CE-981F-35FC10AA5104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b2ba5b3fb5d88c8559447c47456b00691c1bfe","datavalue":{"value":{"entity-type":"item","numeric-id":4808814,"id":"Q4808814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f50068118f4c8904c672e41d994817b078badc","datavalue":{"value":{"amount":"+0.89516526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434358$2CF77DD3-8017-450D-98BC-471566C945FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02658ea832e71a99ea5469476d7e1df85df4a9a2","datavalue":{"value":{"entity-type":"item","numeric-id":5305637,"id":"Q5305637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905fea6d6b2b0bb0b713b379b78226eb8986713c","datavalue":{"value":{"amount":"+0.89451706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434358$5FC1759A-5381-425E-BF7F-96DF7D80AEFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics and logic of object calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_and_logic_of_object_calculi"}}}}}