{"entities":{"Q3178265":{"pageid":3188974,"ns":120,"title":"Item:Q3178265","lastrevid":45619243,"modified":"2025-12-11T12:16:06Z","type":"item","id":"Q3178265","labels":{"en":{"language":"en","value":"An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602821"}},"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":"Q3178265$A45A4ACA-0DDA-4528-BCE0-1857CD60755E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcb8c60babf56568c4ca2527d8370664e8010763","datavalue":{"value":{"text":"An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3178265$FFD4891D-4D58-4D04-ACAF-1B45DD72F50A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f4037253a5e92db820928064cada762d0c7aa31","datavalue":{"value":"1343.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178265$A8C2D991-45F0-42C1-88B2-4C749230D6BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa467ab0fb5921a8aef55b984db7a2882bc4957f","datavalue":{"value":{"entity-type":"item","numeric-id":877885,"id":"Q877885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$6623E312-C98C-4B6A-B271-11AB80B3D4DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$CA0EBFF8-2498-4BDF-904E-ED2D966ED379","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3178265$CA44ED27-082B-47C4-96F3-E6699945D3B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178265$21737B0D-CC27-4C4E-B18B-C297BCEF576D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178265$F5ADBF47-DCAD-44DF-BC3D-AA617BC308C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178265$DA1D3792-FE53-4C32-A711-385B19834521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178265$63169207-1B10-45DC-9758-EE129081DBB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a1f8025bf5b58b4e9d86cfbfa0e9a54e982546a","datavalue":{"value":"6602821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178265$EAF2FEA0-A2C7-4BE9-BB42-11405F6AF812","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2850b3fee97919053637a71c68f0a3f86f00efce","datavalue":{"value":"Boolean bunched logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178265$F2F2B050-9299-43A9-90F2-BDEAD700C114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aafcb142be023e1c143ba8f4c9fd0a84ea6c563","datavalue":{"value":"classical bunched logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178265$180E815E-F3CD-4115-A402-C95C9B8BD6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178265$1674B060-4F98-48BF-9128-804DF682F6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31eae7b4103c2d8f09de63a339b891ce1e0e4e9e","datavalue":{"value":"Minsky machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178265$8CB63B78-AB55-42CC-806E-E15C5B1BF0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178265$78ADF8AA-EDA6-4E10-A885-1DF7E6CF0C8C","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":"Q3178265$68C3BA88-57C3-47CA-AE2F-85C5A1E07FFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d00c8e324d90b8545c834c5173535c167c6bb2fd","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.08.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q3178265$824A1E3E-731C-4C60-B566-840912D6D3CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c1372365990ba91c31124f8e2fff06a38141464","datavalue":{"value":"W2081691131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178265$1A48A714-795B-4D9A-80BB-9D248CFFB152","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$EC7E31DC-C3E1-4E05-936D-70E042AE5689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523faea15d08bbdc5ed104058cc086f9fc5025ae","datavalue":{"value":{"entity-type":"item","numeric-id":5261530,"id":"Q5261530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$B061033B-93EB-411D-B404-8910C0E9DBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66738c58246445fad9b7d2b001707a1eb800e26","datavalue":{"value":{"entity-type":"item","numeric-id":3575307,"id":"Q3575307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$2CDE4251-8749-432A-B302-E3A07C31F14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a5d0cf6f9353507581f003548ffc44ca59b72a7","datavalue":{"value":{"entity-type":"item","numeric-id":3189649,"id":"Q3189649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$B8AF3687-7DD0-4938-89B5-2B717A2F143F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc2454025503e5cae66c6b14840c90286ee8096","datavalue":{"value":{"entity-type":"item","numeric-id":5385999,"id":"Q5385999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$2D826F97-6F79-4492-807E-062A2453AD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab411898e21b7ff1dd2c5306da3bb87a5aa3f33","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$DF6265A9-2678-4B0A-900C-79AF88660087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2311d461f84f0b3be2db30252758168a03e2405","datavalue":{"value":{"entity-type":"item","numeric-id":3352996,"id":"Q3352996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$CDC272D9-BF34-44B8-86C6-167BCD4CBB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$6CF5B342-4F6C-4537-9878-60D1E3D29AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$899E1F75-642D-4472-A00D-038EAC67CEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db28547f650fcce3897da527a184075ca851ef1d","datavalue":{"value":{"entity-type":"item","numeric-id":4842971,"id":"Q4842971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$22F804F0-9103-49E7-A3E8-F82F4BC98D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f1c0f611deb235448f9baae9d2d65712063b36","datavalue":{"value":{"entity-type":"item","numeric-id":3636908,"id":"Q3636908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$D2FC8F2E-C58A-4B70-99FD-43DB5B14B35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483fd55ab9cbf6d3d40252e6e5fe64a391c1cc4b","datavalue":{"value":{"entity-type":"item","numeric-id":2946690,"id":"Q2946690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$5628669E-266A-4201-A5CB-6FC65B1FC2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$6E71C259-AFC4-4A62-B693-105C1F476AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$EB95B146-B190-4B2B-A2B6-BFAACFE70A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fde7dfe97558f718edc70a68b732f9b3b72d20","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$0DD637D3-DD45-4CDE-AACC-065C81BD54BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178265$88FC0D07-62FB-4BBC-BE91-D1EBEC713EA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9abdeb02e75631ac02766896e5eecf3149358240","datavalue":{"value":"10.1016/J.ENTCS.2010.08.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178265$58DB0905-B587-422E-B2FB-9D96E3D17376","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b099c97690ab69e1c5a6b7246d0f77d882899b","datavalue":{"value":{"entity-type":"item","numeric-id":4842971,"id":"Q4842971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b6c87eb0b52dfc45957e0c6e073064f4be35d7","datavalue":{"value":{"amount":"+0.8771595","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":"Q3178265$094E8C2B-3980-4FA3-B5FD-9B6D041DC3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7399737823428672f9cfb76c9043353de824b4c5","datavalue":{"value":{"entity-type":"item","numeric-id":2830042,"id":"Q2830042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a3844c4a58105536a4fe62d51cdffdd103e1ced","datavalue":{"value":{"amount":"+0.81383955","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":"Q3178265$DC0C155B-5573-4E1B-A745-47505AFE8FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ac58c1580b01d84b0ff2c452eefcac724d0f92","datavalue":{"value":{"entity-type":"item","numeric-id":2849495,"id":"Q2849495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7488887877834f23a67329edcbd05f181d4938ab","datavalue":{"value":{"amount":"+0.8107825","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":"Q3178265$74F81919-443C-44D5-9C7B-05FCFB9C39E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a090d0858bb9e3172e45e71006dcee7d46a3a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2848953,"id":"Q2848953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8419f02dd7ec94f0bbe3ee689fa5ed596c9a0a55","datavalue":{"value":{"amount":"+0.80911005","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":"Q3178265$CBCE41D5-29D8-4F7E-BD09-6BBCDDAFA364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697faedd0596f26144624d3922a5bd7f96c088d4","datavalue":{"value":{"entity-type":"item","numeric-id":332084,"id":"Q332084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"194cff31198ad4018888ac3f7600a1d4094e0df1","datavalue":{"value":{"amount":"+0.8084526","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":"Q3178265$E95BF9C3-F0AA-4ED4-A24D-89804A24F959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae2550321d0530cdc746a9069cfe7c9697927165","datavalue":{"value":{"entity-type":"item","numeric-id":3826523,"id":"Q3826523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd690eeefda4bfddf5a96f5b81cd32b48ffe164","datavalue":{"value":{"amount":"+0.80806756","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":"Q3178265$8F6536DF-17DB-4816-A6DA-85264A0626FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4cc9ec7a0135f44df969075dbf78edd49501ac","datavalue":{"value":{"entity-type":"item","numeric-id":4683217,"id":"Q4683217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7163a3972c798bc78985e79fe9a61bef5ce61661","datavalue":{"value":{"amount":"+0.80693007","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":"Q3178265$6E1A8BA9-3C8B-4506-ACA3-314F9654B7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87402d23545b8a131f875c032bcc525578873922","datavalue":{"value":{"entity-type":"item","numeric-id":6044128,"id":"Q6044128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd875c05daecb3efad63740545e057321ff9f2c","datavalue":{"value":{"amount":"+0.80572224","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":"Q3178265$9C3B604E-1200-4E74-9FD5-2B5EC18C1AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa2d57514ae2d655d67087e41b97b864caadb66","datavalue":{"value":{"entity-type":"item","numeric-id":5104711,"id":"Q5104711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f6e34b0d144a10b2153dac8d05f34e3ac4388f","datavalue":{"value":{"amount":"+0.80554366","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":"Q3178265$6880CB60-5452-4BE6-9DC9-06E4093F7392","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3178265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3178265"}}}}}