{"entities":{"Q6544115":{"pageid":14155259,"ns":120,"title":"Item:Q6544115","lastrevid":55971325,"modified":"2026-02-21T15:34:55Z","type":"item","id":"Q6544115","labels":{"en":{"language":"en","value":"Decision problems for linear logic with least and greatest fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7853726"}},"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":"Q6544115$E0F1FAEB-981C-4713-A03B-6A4B60459D31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edbeddb6826c817e322e5de9bade5a86600c8ef0","datavalue":{"value":{"text":"Decision problems for linear logic with least and greatest fixed points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544115$1255D7EE-41EE-4F77-A2CD-285F5C05A634","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eea7966b7855bc83030df609551c11fc2413920e","datavalue":{"value":"1541.03169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544115$B88A57B8-27B5-4C79-A0AE-211B0DA2A639","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c255adfc712bad9b4346c358d68a6d24be790f29","datavalue":{"value":{"entity-type":"item","numeric-id":1694470,"id":"Q1694470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544115$5DDCCAA7-26D0-4023-AB61-CDEE2737ECE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"459062424b0fdd03ec294487540a00d8531d6056","datavalue":{"value":{"entity-type":"item","numeric-id":2180523,"id":"Q2180523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544115$553B0133-5A2B-4CC0-925B-4EFF1F620361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544115$EF08B0B6-2447-4497-BAB9-6E9A01BDC62D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6544115$97904CA6-1E88-41A7-A9E3-4CDDCC2DDA4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544115$44AF3FFB-E94E-4721-8DD8-8A447849E826","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d378ef896eb05eecafc6bcc20996cca1df21ac5","datavalue":{"value":"7853726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544115$C1AFFB3A-975B-448B-8D32-6072DEA1FF47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544115$15A9C220-E96B-40BA-9050-5FD500767F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544115$AA53AAB1-8D14-4761-984A-3FFFFD47FDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544115$C250D9DE-1FA7-445D-9EA0-EBE075EA2A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544115$EC67212D-F06F-40EF-BAFC-81A18C437161","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":"Q6544115$F29D2416-4288-4E18-93B0-0EA8782AFF43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fba90944254a8f862601faefd1eb8338be40491","datavalue":{"value":"10.4230/LIPICS.FSCD.2022.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544115$5975972C-FA99-40A3-936D-17747EC4973F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97ce14ea95f4a3fc8c3af98620ebc361d7a77fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7a78b2ed2f53c044119931961ad833fffef7c6","datavalue":{"value":{"amount":"+0.8353508710861206","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":"Q6544115$1B07ED36-5E10-4016-AB17-191005943A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0201347102d4f446ecd8d53fd39146a89eef04b3","datavalue":{"value":{"entity-type":"item","numeric-id":2180526,"id":"Q2180526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f05d28907fc1cc47cd148bd7d611b2e14a3ac23","datavalue":{"value":{"amount":"+0.8063990473747253","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":"Q6544115$659DE877-1907-4317-8ADA-5559F49714BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e699bbefc9664a9a1df1e940d3cf8f4583562bf6","datavalue":{"value":{"entity-type":"item","numeric-id":5079760,"id":"Q5079760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85977b8f8dc0575399a2f1e1beb957255f4bd090","datavalue":{"value":{"amount":"+0.7888336181640625","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":"Q6544115$409E7E4B-D6FA-4F75-BC37-93A4C9580E36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544115"}}}}}