{"entities":{"Q4621170":{"pageid":6650753,"ns":120,"title":"Item:Q4621170","lastrevid":89892941,"modified":"2026-06-04T18:33:01Z","type":"item","id":"Q4621170","labels":{"en":{"language":"en","value":"Simulation and verification in a process calculus for spatially-explicit ecological models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020167"}},"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":"Q4621170$D429BB1D-6095-4910-963A-2CABDB9EDDB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6ac0a97903bc5427764d13e440687cd32c878c9","datavalue":{"value":{"text":"Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4621170$52319C69-DD55-4D92-ADF1-6543AC20D344","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b70d38f20a256cfd2d9955c595bc920554f92c87","datavalue":{"value":"1424.92059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621170$4D303D5D-99B0-4231-82EA-9C3AE16F2020","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d2298fccb7f2e2363a0fe645af45d028e155ff4","datavalue":{"value":"10.7561/SACS.2013.1.119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621170$D89FB8C1-DE75-4E0E-8079-7F323AF0E6E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e58ff01b43b09e53012558caf5d15800553083bf","datavalue":{"value":{"entity-type":"item","numeric-id":764282,"id":"Q764282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621170$04FA8F2E-E786-4FEB-8505-01556FE425B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7caa0a0294edd265c98895832cd616a21747321c","datavalue":{"value":{"entity-type":"item","numeric-id":2423745,"id":"Q2423745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621170$EE0EC356-32A6-4AE8-9E53-A0BF58676516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12cedf4e916cc4d9485c1acf3081ea4955e375d5","datavalue":{"value":{"entity-type":"item","numeric-id":4621169,"id":"Q4621169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621170$0EACFD29-5D09-48C6-BD5B-7C2BA645DDEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621170$1959FECA-508C-4ECB-8998-F7D7DB6999DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-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":"Q4621170$9AFF0741-8DC0-499E-B8EF-7DC63AFA84FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"29a178185dbcbe6a9a658bfa3f45b1d0e718a0bc","datavalue":{"value":"92D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621170$F7ED04C1-C82A-4F9E-96D6-FEB6C7C2C3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8dce91b45aae56da74aca9c1ed1bc5361b215565","datavalue":{"value":"92D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621170$606B5CE1-4E40-4BCD-B13F-FE8E5D78683D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67472bc6fc13e3edc878e1e86a475f4722398ffd","datavalue":{"value":"7020167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621170$657AF7E6-4C0B-420D-89AE-676A8139EAC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621170$BE96F506-4DAA-4268-8571-F48F18C90154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"defbec2816722354379282beb38648f3b34b238d","datavalue":{"value":"ecology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621170$F12F8541-638C-4CFF-B375-CBAA95301607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621170$7BA0CC06-C1F3-44DC-A4AB-FBDEADE8959E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"647a1992bce61214a26cde19464863ed3c6a4d33","datavalue":{"value":"spatially-explicit individual-based models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621170$EEC29993-E6CD-454A-98B8-794C1E2E3B00","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":"Q4621170$FA03C2FB-1AC3-4DF4-B993-19448F6ECEEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cd11dc05d7409c5e56bb1b31ebbf91d25fa5adf","datavalue":{"value":{"entity-type":"item","numeric-id":2938179,"id":"Q2938179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0fb9162b79d8f86a55e1024dc8f1ffdbdf9a6d6","datavalue":{"value":{"amount":"+0.8452808260917664","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":"Q4621170$101CC33D-6CEC-4B8A-AE7C-7ED00972EEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d71d9d2fa62ef4563946c64776eea826015a0f6","datavalue":{"value":{"entity-type":"item","numeric-id":5013824,"id":"Q5013824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d14043978a6e249883c8236fe49fd2c05aa750","datavalue":{"value":{"amount":"+0.782830536365509","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":"Q4621170$4EA3E6F5-BBEE-4147-BD5D-DEA9126BB588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd78600de84fb41276c9d86a2d0d9165dfd20aee","datavalue":{"value":{"entity-type":"item","numeric-id":3076603,"id":"Q3076603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44121accc5d369830ff8f48dc5e4a964419b0215","datavalue":{"value":{"amount":"+0.7106887102127075","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":"Q4621170$D964F25F-4F41-4E22-9E09-C9F31F3FD664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4246e2f172aaa89d57a307844fe0b27453778dd4","datavalue":{"value":{"entity-type":"item","numeric-id":3599199,"id":"Q3599199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e179b83ab518f3f6816916ddc73e18dc5ea8fc6","datavalue":{"value":{"amount":"+0.7013031244277954","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":"Q4621170$4E90D04B-7440-45BA-8A26-C70FB03AE734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e356c0e3fe45f353dfb952c022cc1a95d84f2293","datavalue":{"value":{"entity-type":"item","numeric-id":2870304,"id":"Q2870304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692286c317646d05420737f097d58e0e7b0447d2","datavalue":{"value":{"amount":"+0.690605103969574","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":"Q4621170$EA19F02A-A74E-4A36-8CDC-BAD7A4733441","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulation and verification in a process calculus for spatially-explicit ecological models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulation_and_verification_in_a_process_calculus_for_spatially-explicit_ecological_models"}}}}}