{"entities":{"Q2864500":{"pageid":2875220,"ns":120,"title":"Item:Q2864500","lastrevid":51886337,"modified":"2026-01-20T11:42:25Z","type":"item","id":"Q2864500","labels":{"en":{"language":"en","value":"Undecidability of model checking in brane logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236496"}},"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":"Q2864500$C924178C-5E6B-4A35-9FBC-4D44FB9FF0BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eea41f4f0d6c67a9dd55cb45fea2b08b53be0a1a","datavalue":{"value":"1277.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864500$5AE10FF6-1344-4686-94E8-2DE1DDFB7861","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbb61a5e2961b90c24cc43ddac18e0207af6e1ed","datavalue":{"value":{"entity-type":"item","numeric-id":418839,"id":"Q418839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$35FB1AF5-38BA-46ED-990A-CFBEAA161A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"980feb4557ce980fc3913fdc63a43f303f4040ab","datavalue":{"value":{"entity-type":"item","numeric-id":418840,"id":"Q418840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$F30277E5-D070-4C7F-9D2B-E81356D6141B","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":"Q2864500$8C9AF0ED-859D-43C4-821C-0EAA283D1945","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864500$BED5D1DF-98E5-406E-AE32-9DA08B9A11E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864500$89DB78D0-A145-48C3-B07C-6DD11ADB2918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864500$C5D4BC28-2296-4DCF-94FA-C497CEEF8ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864500$609C4102-113B-4C0B-B0DF-4FC67BD3CEE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bd84e7bea59d8c21fc3b50a8e58ddefd92262f1","datavalue":{"value":"6236496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864500$4E638F2A-8E2A-41B7-B96A-152E418BB08F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d3d1d1c5a5b8b5bc4e46a7f4a740811c9fb0a30","datavalue":{"value":"biological and bio-inspired computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864500$8AD26957-0FE8-47BE-BCA4-2C87BBCA7CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2f6f8c5bfbaacf7d76fadeb9e4d1dddc720c38b","datavalue":{"value":"brane calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864500$954A16FF-FAE4-45F5-B496-DB6B1EC6E98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6164b90708edc61301ab03da8984823759888e","datavalue":{"value":"spatial logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864500$EA77CE79-5D02-456A-83A7-5B04EC27A301","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$859AD1F0-A08E-40F7-B346-1F77E65C1487","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":"Q2864500$E483D2E2-9A62-40B8-AADF-3EF7D84110D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c458ffb4d900c60af7e421f43ed8e8a410366b1","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.10.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864500$D4F9CF71-829A-4A1E-A56B-4A479662ACC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cfab6915772a3d025b8c8ca9caca29d77fb992f","datavalue":{"value":"W2121442433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864500$555B98CB-2462-44E6-AC30-9D2C59214731","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e121a6b33c301ace58f34d91764af44f75a9323","datavalue":{"value":{"entity-type":"item","numeric-id":5308443,"id":"Q5308443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$D6884BB8-A997-42FB-8C2F-CBEEE53D1F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0706fb42492bf37f601b52423e1abca9c845ca8","datavalue":{"value":{"entity-type":"item","numeric-id":1884885,"id":"Q1884885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$98473421-7F38-45A5-BAA0-8D5D0E5A675F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c519b1ea6a9004bb401d13cb797dc280ec42a45e","datavalue":{"value":{"entity-type":"item","numeric-id":2766526,"id":"Q2766526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$84AA0B6C-EB12-4BB5-8F3C-FEE4275B54AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12504ddf4e7044ad9754f9dc66781eb835656468","datavalue":{"value":{"entity-type":"item","numeric-id":5712379,"id":"Q5712379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$65D1EF99-D063-4C58-A27C-9E43EE7B3F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72bb6b42c5806ded93a54e4c4781bb33dc7004f","datavalue":{"value":{"entity-type":"item","numeric-id":1773141,"id":"Q1773141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$0389D5D7-CCAA-4391-9597-E63CA8F2EEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$E5A0BD8B-2D05-4E75-A38C-DE515A9663FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd895783119ec3154d81e6bfcbc7efa9133501f","datavalue":{"value":{"entity-type":"item","numeric-id":3613068,"id":"Q3613068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$2D16D87C-0247-4126-8FBF-ECB7FB883AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a005cd084d722198d76e3455a1d2254587269ff","datavalue":{"value":{"entity-type":"item","numeric-id":418841,"id":"Q418841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$D7C7B581-FACA-4D7F-8A55-7BA0EBE18EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$9A0A300C-F7BC-45FB-8653-6D8671DB2571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$64EC86A7-9F7D-458C-9478-B45B79C2101E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d938e2cf16a516c25169e92ed68817a27d01f44d","datavalue":{"value":{"entity-type":"item","numeric-id":5845382,"id":"Q5845382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$648CB3CC-5368-4FFB-8799-878C6F3B124C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce1d2025f83ba87c5f9f1e30f04dfd63c630b93","datavalue":{"value":{"entity-type":"item","numeric-id":924865,"id":"Q924865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$8A520CC1-A2F4-461B-B973-A7E43F2D649F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb41d95ac6b19b3c7aa547d272e7788124eb1be2","datavalue":{"value":{"entity-type":"item","numeric-id":5712405,"id":"Q5712405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$FA94E59C-677A-4869-B93A-9F199EF0E4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f992dd70dfa2428e0541bf5d0f892f3342ea38","datavalue":{"value":{"entity-type":"item","numeric-id":5178868,"id":"Q5178868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$0587D509-A0DF-4DAA-AB05-C3B44C6A24D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c43b7e3610435da5759ec0170acf5a3e0de1df","datavalue":{"value":{"entity-type":"item","numeric-id":5797034,"id":"Q5797034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864500$E05971C9-D1F0-43EC-BEDC-24975765007C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cb3e26ee030c4d4c8eff20936fff2d26244766f","datavalue":{"value":"10.1016/J.ENTCS.2008.10.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864500$B096FF18-6BC6-499D-A3FC-9C248286D741","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0213a75af6ecf943b9aade981a16f9189dd3924e","datavalue":{"value":{"text":"Undecidability of model checking in brane logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864500$1D40AFED-861C-4245-8730-E2FD0AA8D54A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b3af1f0b522c95f21dace1d1115198e879ad8b","datavalue":{"value":{"entity-type":"item","numeric-id":3505122,"id":"Q3505122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4528163f1d4458b24b60ba787797e8f29c23006e","datavalue":{"value":{"amount":"+0.7400652766227722","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":"Q2864500$DC43F173-9446-4264-A52D-45452BEF45A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f294ba1664f43517de564bb6bb6acc44dc3bc16f","datavalue":{"value":{"entity-type":"item","numeric-id":5712418,"id":"Q5712418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9d3d0fc7bfef8aa4df51a6325bbb4a20dd57f80","datavalue":{"value":{"amount":"+0.7396525144577026","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":"Q2864500$9EC1F241-E880-462C-A865-23CC2D8CE0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251f20b556af2de2dca9c4ed82d006fa3b3a3029","datavalue":{"value":{"entity-type":"item","numeric-id":1884885,"id":"Q1884885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d5e6a178584b2f990739ec2ec3373617c930cd","datavalue":{"value":{"amount":"+0.7305527329444885","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":"Q2864500$242AFCEF-7A59-4190-97A7-9D5047EA16B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512cc706ab522967df1289f8cd4ef083a224baeb","datavalue":{"value":{"entity-type":"item","numeric-id":5479203,"id":"Q5479203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"605adb68d4c5cb6203dedf44a1f719dbbed00e8d","datavalue":{"value":{"amount":"+0.726137101650238","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":"Q2864500$B66D74C9-AAED-416B-971F-22749801496D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2434cb14887deea5486bcc75498553508ac9097f","datavalue":{"value":{"entity-type":"item","numeric-id":4783317,"id":"Q4783317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6998d13b1c5a49bebc8074f0ad0bc53fceac4471","datavalue":{"value":{"amount":"+0.7213325500488281","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":"Q2864500$DCE068FA-494F-44F8-8F02-A9B6C4F96EB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864500"}}}}}