{"entities":{"Q344796":{"pageid":346563,"ns":120,"title":"Item:Q344796","lastrevid":61125183,"modified":"2026-04-10T21:20:21Z","type":"item","id":"Q344796","labels":{"en":{"language":"en","value":"Functorial semantics of first-order views"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6655883"}},"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":"Q344796$74D70CE8-F088-4E9A-8E83-86A31B3662EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"422460de625b4e0b21a9dac74d252e9397b7a3ed","datavalue":{"value":{"text":"Functorial semantics of first-order views","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q344796$761493D0-0E1D-41ED-90F5-2D4EB4A5E2A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61d2394971f58b784f7058db8187415f13bec6c9","datavalue":{"value":"1370.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344796$5211F944-70DC-4AF1-8FD0-58F8A56D28CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2289c57fe71d0e69841efc981491fa17b2cd3710","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$1EAD368F-3949-454A-B05B-D7DA69383B64","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":"Q344796$CA623515-41C9-4BC1-B818-104324F8BF54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6459ccfdc17c418caf693d4fa3ff617fd06c807a","datavalue":{"value":{"time":"+2016-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q344796$6FEEE801-1B4C-44B3-947C-7C0223873662","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344796$FA127C8E-5DEE-45BD-8486-B87ED141BDC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b0178e2c047acc061d795bd527ad224b2d9e534","datavalue":{"value":"6655883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344796$A3E4E91E-947D-4824-99A1-8078A87A48D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q344796$3F768F20-F310-42D7-B8EA-51F57CAA6CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf7c58e39250bcb8a10efcfac0e672655ccea00","datavalue":{"value":"parameterised specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q344796$D438F178-5BE3-4A92-9B36-7E192A25DD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10daa1248ac0b2fc9ef1c465c98a883341d56680","datavalue":{"value":"views","type":"string"},"datatype":"string"},"type":"statement","id":"Q344796$22547D60-B374-44A2-A4C0-3B019429CA72","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$63E40FB2-FD65-46D4-9310-B24653080DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$7B8A9EE3-F16F-4B46-9841-E4EC470A63A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$25519337-EBFE-443F-A999-35F0D5F917CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$3D52F55A-F42E-4786-985E-4E59881EB105","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":"Q344796$F07EB7FF-DFF2-43E4-90C7-DBECAD1ED3F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2c46e481cb1f7516e82df09522557717ebff4c6","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.09.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q344796$B16DD80D-9BC6-46C7-83C9-FD11EB2600A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f625156227bf97fc1aaf82073dbbff5184e40fd7","datavalue":{"value":"W2524176006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344796$239E82BF-C1C3-49E2-8081-27F767F192F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9ebb73fe3d0b6da0e793044f959ba014caee12","datavalue":{"value":{"entity-type":"item","numeric-id":995670,"id":"Q995670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$D266D801-C0DC-4894-8DA6-F7C566189FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34dbb4e440c2c0a440372140a7aa1bfa2a146dc3","datavalue":{"value":{"entity-type":"item","numeric-id":3677150,"id":"Q3677150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$22478A2B-E201-45F1-84B6-6CA4AA4EF156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$CC298897-0316-45C8-8CD5-72B70CA6A0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$AE298218-021D-48DD-A858-6CB9008317B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe3f980fc119b002b487bf3081d6fb285e26cf0","datavalue":{"value":{"entity-type":"item","numeric-id":4659504,"id":"Q4659504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$BD915B4B-9F63-4372-B2CD-5C2D69D7ED52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5213c52509acdb57ac43c8b8a97a79eb060f12c7","datavalue":{"value":{"entity-type":"item","numeric-id":2390213,"id":"Q2390213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$A7F6C44E-F9F7-42F2-B7F3-50DA84BD22D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$1F0D0549-4AD4-4353-AC96-80F6C7B16D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d1de760332b3dd4ea8d5b332ec04d53b08525d6","datavalue":{"value":{"entity-type":"item","numeric-id":657588,"id":"Q657588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$498C91DC-C498-444D-B0C3-53DDC1A82C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8064e8adb6a9b2fc5f798a829c1736748d10064","datavalue":{"value":{"entity-type":"item","numeric-id":428861,"id":"Q428861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$684F6902-906B-4961-AE36-2622830A41D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b12696e13e967e6ef19fc3a2a647ce25d97b17f1","datavalue":{"value":{"entity-type":"item","numeric-id":549182,"id":"Q549182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$32A402CF-816A-40BB-A800-0048B16CE674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$F0FD8F64-0063-48A9-B0BD-CA5C5374B2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0bb99e3e9d50031eb160f83a73f353bb15f90e","datavalue":{"value":{"entity-type":"item","numeric-id":992038,"id":"Q992038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$5A73902F-BAA0-40CF-AB46-1D2BC5B7E970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$D1ABE418-21F0-44A3-8429-7A568DB9B850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa50274afe93d36321710963f13ecc75cdfb300","datavalue":{"value":{"entity-type":"item","numeric-id":3995276,"id":"Q3995276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$E97D0D54-5980-434E-8778-3707112B9B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$61F7795C-84DB-4A7B-8271-0AF121F88B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e28be0aee999133c37d7d1c120c52890a28f7461","datavalue":{"value":{"entity-type":"item","numeric-id":5390274,"id":"Q5390274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$29FDDC3B-B44D-4039-A367-F1FFE137BCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa36aed112541f67c947aa95c4f5543a348e5157","datavalue":{"value":{"entity-type":"item","numeric-id":4399511,"id":"Q4399511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$2EB17608-5C8E-4191-9C33-9B6FC6C9240F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0223ea41de9d0d3a3b57ecfe38bc4d40a15c3492","datavalue":{"value":{"entity-type":"item","numeric-id":1326777,"id":"Q1326777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$B41CB1C8-CDFB-40CC-9F97-FD346398DDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b6d9441aac6897b5d45a7a0f662fb26bdc2630","datavalue":{"value":{"entity-type":"item","numeric-id":1391731,"id":"Q1391731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$A8E11ECC-FDFF-4344-B01B-1FF995DECA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$1C015358-F953-4CCD-B6BE-8AE460737F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68846a18ed55aeabe9d47edb1111eca82c571bda","datavalue":{"value":{"entity-type":"item","numeric-id":2787340,"id":"Q2787340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$CB268640-AE0D-43E0-9334-FCF8A9112FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9eb6c941375c753f19057467c47613aaec27a9","datavalue":{"value":{"entity-type":"item","numeric-id":1881752,"id":"Q1881752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$E02220AE-2C3A-48EA-9A0B-455C9683592E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99bc8b61abb9ebc17679cd4f5c0433edfb191cf0","datavalue":{"value":{"entity-type":"item","numeric-id":4792970,"id":"Q4792970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$8D92B271-4A0F-41CE-B658-51DF82A5E90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1fec13708686f567ce8f652a4b4b1f5722daf5","datavalue":{"value":{"entity-type":"item","numeric-id":610397,"id":"Q610397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$B607CBAA-ED23-4CEA-AA1D-9BA9C4ABEF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c30a3116696d804ddace4adcd38c0f01a8c165f6","datavalue":{"value":{"entity-type":"item","numeric-id":387996,"id":"Q387996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344796$63527233-BB6A-4AC0-9DB6-0B4574AA8F2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4159647a6ba0608fdffccc0d86be047a0e6c3a8","datavalue":{"value":"10.1016/J.TCS.2016.09.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344796$B47A564A-7F89-47C5-B603-5B31E0300D10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684338194fdc5293059c6daa5f255953aa2f47b5","datavalue":{"value":{"entity-type":"item","numeric-id":4493877,"id":"Q4493877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb671f5a4a2aaf41ae07febc5c7e420b2696ca0a","datavalue":{"value":{"amount":"+0.7571858167648315","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":"Q344796$6D1C41B5-DC18-464B-A9CF-7C981F2F7B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6755d6edc47ad41765a04021d2cf863d0733fc0d","datavalue":{"value":{"entity-type":"item","numeric-id":4288283,"id":"Q4288283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb671f5a4a2aaf41ae07febc5c7e420b2696ca0a","datavalue":{"value":{"amount":"+0.7571858167648315","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":"Q344796$48FD436F-E4E8-4909-B5C0-1A1AEFA47C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16185d9dc59c298034be5a201f6d0b6f61bc7f79","datavalue":{"value":{"entity-type":"item","numeric-id":673181,"id":"Q673181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f078adbf65d8e7eee6432cfa35cbc7695d51d192","datavalue":{"value":{"amount":"+0.753367006778717","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":"Q344796$ED5174D6-D7AE-48C0-9ABA-25CBCDEA4EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f11f8f6913d31478bdaae2aa007f373760094e2","datavalue":{"value":{"entity-type":"item","numeric-id":1346622,"id":"Q1346622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25477058401dc8abfaa16204416281e8b796ea75","datavalue":{"value":{"amount":"+0.7295653223991394","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":"Q344796$D19779AB-3BBE-4B43-A3D2-0BA7C804333E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04ab48c719e37a05a4fd853516c3ebd27c9042f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d160a6ad4a21f015f630b9bf09300e2caa1f59","datavalue":{"value":{"amount":"+0.7295646071434021","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":"Q344796$DB99FF5C-C961-4B8A-AFE7-AA849451C83C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functorial semantics of first-order views","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functorial_semantics_of_first-order_views"}}}}}