{"entities":{"Q1784963":{"pageid":1795705,"ns":120,"title":"Item:Q1784963","lastrevid":53214473,"modified":"2026-01-24T11:47:30Z","type":"item","id":"Q1784963","labels":{"en":{"language":"en","value":"Multi-buffer simulations: decidability and complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6944944"}},"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":"Q1784963$410BE8A3-83C3-4016-A0CF-659AC5CE92A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea6eafe92f7513f69ad199568175338d12f9e7c2","datavalue":{"value":{"text":"Multi-buffer simulations: decidability and complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1784963$9A51FAA3-A5BB-46C6-AE17-8B5981A14525","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a6c2507cec4d4e1a235b5eb455441702e2fe837","datavalue":{"value":"1400.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784963$98C9C36B-1CE9-467C-B539-5357BC480B8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fc8fd6360c30b0c1d1d1efb3dacd319f88dbf34","datavalue":{"value":{"entity-type":"item","numeric-id":1685785,"id":"Q1685785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$754EAE87-2B61-4769-BE13-767CBD55C79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0e5c5fc848d568621d8bd53077c01095ad03bba","datavalue":{"value":{"entity-type":"item","numeric-id":493654,"id":"Q493654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$21C49F18-6E23-408F-9199-100CBE0BF86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$3306D0AF-F810-4942-9631-634F07588206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$88F3EA5A-30BF-4D66-9ECD-47653C8DF8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1c1ffcb608d047f67d583033b7312668433cc60","datavalue":{"value":{"entity-type":"item","numeric-id":418136,"id":"Q418136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$5A448024-E40A-485A-87E0-3334AE9DE4EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$E24A1ABD-B895-4ED4-9C85-DF1F3BE9CBA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fafee86c1e45e0bcaa02c3657a70c764319b69c","datavalue":{"value":{"time":"+2018-09-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":"Q1784963$51132019-1020-459B-81D0-931260E03193","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784963$8C23AA40-F06B-4F18-B0F9-E114A5E1682E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784963$8B9639F0-EBE9-4244-86F7-1AD6E0B5D6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784963$0AE802C3-058A-4152-B9E1-4551E94141AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c1f1adfcf8dfa1e6484eb1edcd97b26a7475c16","datavalue":{"value":"6944944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784963$61847A42-0F5E-4B5E-8125-7EB2168B8546","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784963$15A95EDB-7119-44E4-98A2-736469803B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05997b7aa2a642f98379a933c5b52e0fa86f19a9","datavalue":{"value":"simulation games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784963$AEDFD4C6-7250-408F-8D9A-97E9C398310C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048dab55940c5c060a72a2bbad5f3dabbb5c4f18","datavalue":{"value":"Mazurkiewicz traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784963$3C99D903-3BC8-4255-B3CD-86CE23C7AD46","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":"Q1784963$F933B69D-CC4E-4E92-857E-C3B090AB623B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1dac951b8a9b9f903d379bc88942e7895fe29ce","datavalue":{"value":"https://doi.org/10.1016/j.ic.2018.09.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1784963$7E1A4A47-F1E0-455E-9935-68E2C6BA7419","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a3133923b1fe10e55ed6f392cdb5599308009c1","datavalue":{"value":"W2891953455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784963$2D4DDE34-601A-4022-AE15-E00A15AB1909","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccbaa5f7b2e9d5aeb42789013262c8f5a138ab2a","datavalue":{"value":{"entity-type":"item","numeric-id":5458323,"id":"Q5458323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$F019D97B-F40B-425B-9038-82ECB0E34CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$49A71A08-FB8C-46E1-AB8C-FDD57117CDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28b3ff554a95ba9165844042be00e41e2a69c90","datavalue":{"value":{"entity-type":"item","numeric-id":1822501,"id":"Q1822501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$EC74FA76-364A-4ECB-A07A-9BDF99F1B6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed3bc478993852311ce77786a6a2b106b505f1d","datavalue":{"value":{"entity-type":"item","numeric-id":2931784,"id":"Q2931784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$684611B5-6BF8-4BD5-BB3C-663AD0E58365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc5022f128a975dec37fb8610712d3064312c71","datavalue":{"value":{"entity-type":"item","numeric-id":4484483,"id":"Q4484483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$650D0687-A5B6-4FD6-B231-88DB9510B645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17edde322a1e872b1d9c534aed707fc3c7e946d8","datavalue":{"value":{"entity-type":"item","numeric-id":4535058,"id":"Q4535058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$AF54F773-AB1D-4A8D-8A65-F06EC963A577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903ff2863ed2a1c35f53c7daf00be757d2c68bea","datavalue":{"value":{"entity-type":"item","numeric-id":4923292,"id":"Q4923292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$0C4F66BE-66B2-4366-A1C1-B00495DD89E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ebe0006b4864e6ddc269bcabb54efef153fd59","datavalue":{"value":{"entity-type":"item","numeric-id":557801,"id":"Q557801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$BBB1F207-AE87-4739-9959-0558D521557C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925f1cb1a313033ab6eef609a47c5ea7fde476c4","datavalue":{"value":{"entity-type":"item","numeric-id":1854506,"id":"Q1854506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$1742D621-1FDE-4D9C-AFEC-FFB93E56F361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adac5669b91f439996376921a90fb37416fde790","datavalue":{"value":{"entity-type":"item","numeric-id":3166215,"id":"Q3166215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$170D8280-03A4-4255-8AF8-F7E6233F52EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"facdeae309150212e9de82502252c171371d8e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5015280,"id":"Q5015280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$FDB7701B-4C2B-4DBF-AFE2-432530E4AEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1fd3825546df3c1ad7f3c5a3ddc15850056b45","datavalue":{"value":{"entity-type":"item","numeric-id":4910474,"id":"Q4910474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$22138ACF-AAF3-41E8-B24D-550CD6E9F770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e94ebe62dda0b38f3326e19e20aaadea9a609ad","datavalue":{"value":{"entity-type":"item","numeric-id":4994951,"id":"Q4994951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$E9FE12E3-BAB8-4505-96FF-7E0489BEF140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$5D7AFE44-0AA0-467F-84AA-0FD34F90DEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$9C8A25C1-E942-4985-9240-3F2FAC72C4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cc75d0170c0f77a05c577bd0244d258a28e193","datavalue":{"value":{"entity-type":"item","numeric-id":4348133,"id":"Q4348133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784963$2538E568-EA1D-4C9A-9874-2826AB68B02E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4eeeedb5a756ce6594a8da25b94db2c7581eb5db","datavalue":{"value":"Q129327138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784963$41AB3BB0-0333-481F-BEB9-048EA41BF18A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2151340486aa1c980f21ef0e5ee0135747bd5a8b","datavalue":{"value":"10.1016/J.IC.2018.09.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784963$41A31BE2-0D89-4271-AF05-78A6A019B3FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ef560f408134bb3d396898c7a854241ad18db32","datavalue":{"value":{"entity-type":"item","numeric-id":5015280,"id":"Q5015280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f82be8f69c3d0b49099cbdc09cd7182c81ec17","datavalue":{"value":{"amount":"+0.8970739841461182","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":"Q1784963$D5DCBED8-CB16-4128-B4CD-5B3AE648237C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc940d772b9480f9be1760785e8d15312048758f","datavalue":{"value":{"entity-type":"item","numeric-id":4994951,"id":"Q4994951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"562f90d61e3d5c481ba2d40b02562d3ad5e077f3","datavalue":{"value":{"amount":"+0.8677946329116821","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":"Q1784963$D24AC791-2043-476C-A693-73D35366578D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccaeb004e12f780e57d7799d5e918c17aacd3570","datavalue":{"value":{"entity-type":"item","numeric-id":4989168,"id":"Q4989168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db53087e367e18cb5d0e1075a22e2cd024ccf104","datavalue":{"value":{"amount":"+0.8277519941329956","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":"Q1784963$4B32CCD6-4420-4036-B41A-B9F916350F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e05c0e041b92c4c38eeae7e276356625cdb82bbe","datavalue":{"value":{"entity-type":"item","numeric-id":4910474,"id":"Q4910474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94bc81f9c49e51a77537180800f4707fcd731bac","datavalue":{"value":{"amount":"+0.8148646354675293","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":"Q1784963$E57AAA34-89C5-4301-8F8E-7556BA6D0FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e05627b0b3487b610816c494464314a33e9a8c","datavalue":{"value":{"entity-type":"item","numeric-id":3584938,"id":"Q3584938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7dcaaf7db2c2863d847507efc02aa9d543f09b8","datavalue":{"value":{"amount":"+0.7865778803825378","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":"Q1784963$132B2402-38FE-4410-8C02-BB091DA1DCFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1784963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1784963"}}}}}