{"entities":{"Q6925633":{"pageid":21056848,"ns":120,"title":"Item:Q6925633","lastrevid":84131708,"modified":"2026-05-10T21:59:44Z","type":"item","id":"Q6925633","labels":{"en":{"language":"en","value":"A monoidal view on fixpoint checks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8097705"}},"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":"Q6925633$225E3C6F-373F-44B1-A94E-B0C683E5B481","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca30814f996bb05d4e6f3a7a315d85053e20c6af","datavalue":{"value":{"text":"A monoidal view on fixpoint checks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6925633$09696617-36EA-4526-8835-50F89043B603","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3024ef60ba0529975ee4413e41672c725fd7166","datavalue":{"value":"10.46298/LMCS-21(3:5)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925633$9D359B9D-0862-49F1-A21F-63B1020CCAE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$5085E47C-CE14-4089-9682-DBDA469656E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"957b7a9764c381372b786208124f020608bf201b","datavalue":{"value":{"entity-type":"item","numeric-id":2233394,"id":"Q2233394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$78B3B76B-0878-44FF-80B2-C618B753288B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$6CB26729-4AB4-4FD6-8769-7BECAB4C450F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"761ff501cf57caa9809047cd72286c644f11c6f4","datavalue":{"value":{"entity-type":"item","numeric-id":6535503,"id":"Q6535503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$FA16A3C5-7D51-4AA7-8FF9-DD7AC7D98154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b7ca3834697b9eec4cb675b7abb884c9439cbc8","datavalue":{"value":{"entity-type":"item","numeric-id":1652978,"id":"Q1652978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$7A21836A-98E5-4314-AA8C-E3BCC4C6A3A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$86C682CC-4192-44B4-8295-84BFB39BF7E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4d35ab81cabaf95bc563e9fb08a1e3335319aee","datavalue":{"value":{"time":"+2025-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6925633$E2C1B06E-09CC-4CD2-BD9A-55702BC912ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925633$F7E83BE4-FD66-41D7-876E-EBD2AE481620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925633$793C8943-2B54-42AB-962F-E2CB9F36066F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e8bef256866ed32e3075b59be0f49f17027865b","datavalue":{"value":"8097705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925633$B99EC7C0-7A29-4DAA-86F0-6CF083629E2E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$25E5F9CF-2751-48C1-8FA3-407493649774","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":"Q6925633$DF45C821-0308-48FF-B230-160F1F828298","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"078674df8daffb21caf6680646427875d9ba7189","datavalue":{"value":{"entity-type":"item","numeric-id":4683862,"id":"Q4683862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$6BCC0F2F-DD71-4705-80EE-F727CD64D10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c75357b9c8737bf86af09d508f75aa9d90c26b","datavalue":{"value":{"entity-type":"item","numeric-id":5856412,"id":"Q5856412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$AEC6C2DF-29CC-47ED-98DE-4718083DA4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1e452ef70d88319d955b8a9de8397b35142ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5278079,"id":"Q5278079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$C2CFC377-E092-4E16-A9C5-756AFC7BD101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be3970bbeb5763bd476ec3ae32dc6811c75f4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3782818,"id":"Q3782818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$A9B622BF-DDE5-47B1-8D66-AB9EFF318C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad434f92b188824a76381188f3b5e51ef97b8b1d","datavalue":{"value":{"entity-type":"item","numeric-id":6535504,"id":"Q6535504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$EF1AA1B3-3857-4B6B-93C0-1722C3EEED60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3f74fdc2c04ff6adbcfdf9878c4749c85eb020","datavalue":{"value":{"entity-type":"item","numeric-id":2233395,"id":"Q2233395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$8B8C16C1-D9D2-4004-A794-8A5ABEF6ABAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28dd10172881ef72e166d6654972192b022d145","datavalue":{"value":{"entity-type":"item","numeric-id":6135764,"id":"Q6135764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$7A8B58FF-3849-4B61-9D28-4B7DB19B5715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f60a318f12f1e59ddc6d4776bc1f714b0d6a0a","datavalue":{"value":{"entity-type":"item","numeric-id":6610605,"id":"Q6610605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$99AFC87A-9D75-4060-9C18-23E027359396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46c91d0925c86feed4a287f9b92167f82741eae","datavalue":{"value":{"entity-type":"item","numeric-id":707454,"id":"Q707454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$2341F317-8C56-46BC-B15C-152E1CBD5E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$B3C819F3-A641-4598-B7F7-4D026D803FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6963cdf23c5c6491e4f2f740f56bd737d6216da6","datavalue":{"value":{"entity-type":"item","numeric-id":5009431,"id":"Q5009431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$36C94182-EF15-4FFE-9F41-65C04286C159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350f5c3549df6ad966d6ccb596b2708361911a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5178838,"id":"Q5178838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$64540D5F-3A33-493B-A254-4476210D11D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"732dcb5bb241382165027c32cb539c5f4c07b29d","datavalue":{"value":{"entity-type":"item","numeric-id":1971974,"id":"Q1971974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$02BF8FD0-F3E7-43C4-81E5-B9F7B751B978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e059f3dca199d7994c5fa7a4449218cc1872240b","datavalue":{"value":{"entity-type":"item","numeric-id":4287357,"id":"Q4287357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$B2F4FDCA-F378-49C1-AA3B-2A41D42C1916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8079eecc9579ae6400ae4118234ab46520c11715","datavalue":{"value":{"entity-type":"item","numeric-id":2892788,"id":"Q2892788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$B2F62AF9-E543-4C6C-857F-B109A32182AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$0E18EBC4-FE86-497A-A919-8B1D87C0F39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c5448a97fb364dc2992b0e91c0339742f9a8a5","datavalue":{"value":{"entity-type":"item","numeric-id":5702474,"id":"Q5702474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$234CF086-3E31-417F-AF0E-3C3243741B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d723f94e25f69e5b03f68ca0d8c73cd9dc1ea42","datavalue":{"value":{"entity-type":"item","numeric-id":6077384,"id":"Q6077384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$2E2FBB2C-2719-437E-B001-FE53797AF052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce6ae51c59747c05bdf8caefc77cbb3de2b3eea","datavalue":{"value":{"entity-type":"item","numeric-id":3839056,"id":"Q3839056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$E5D5D540-E6EB-43AF-9A5E-0BD7DF8558C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9402f242f0b7cefe78a38ad8e477f93566bb7192","datavalue":{"value":{"entity-type":"item","numeric-id":3146249,"id":"Q3146249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$EF528FC8-82C3-4E12-A7ED-8695B77F1CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$E253D6C3-9837-41B5-8648-7045716E308E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$EAF68F71-D36E-41A3-8E77-A70D57554161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$D73B9399-3D39-4C70-BA5C-5FC7E4FCBF99","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":"Q6925633$3687204B-8796-4AB5-9AED-82FFB2D83A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$11833D20-5DBE-4056-A6E2-3ABEBA5739F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61101b857a33b8dcbb92a269a2c197509ad10645","datavalue":{"value":{"entity-type":"item","numeric-id":5900191,"id":"Q5900191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$28124756-744B-4BA9-8921-5DAB65984A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69824830d316d90e6f36523f917b937f3c46c70c","datavalue":{"value":{"entity-type":"item","numeric-id":5094149,"id":"Q5094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925633$322F10A1-910A-455B-A4FF-D4946858BB0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A monoidal view on fixpoint checks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_monoidal_view_on_fixpoint_checks"}}}}}