{"entities":{"Q3067494":{"pageid":3078210,"ns":120,"title":"Item:Q3067494","lastrevid":86309609,"modified":"2026-06-03T18:13:43Z","type":"item","id":"Q3067494","labels":{"en":{"language":"en","value":"An integrated approach to P systems formal verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5839850"}},"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":"Q3067494$BB25137D-1B30-4025-9124-DC0E43384F17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c09686b30ab6e6e0ee61e9e94fb041c154702f7f","datavalue":{"value":{"text":"An Integrated Approach to P Systems Formal Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3067494$441CA33C-3B35-4126-90D2-40F0C881E982","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"213919640635044b8cc27531ed73b07bc224475a","datavalue":{"value":"1259.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067494$C48F8AFD-C343-4CDD-8CC4-6B997ECD765E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"869ca4011d1318bdb6c31007e4ffebde868cd1a7","datavalue":{"value":"10.1007/978-3-642-18123-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067494$AC59F8E2-F15A-4182-BA5E-2DC6F614DACB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"796a4ed2b345ccc4a5578468dd3a43ece3c7f227","datavalue":{"value":{"entity-type":"item","numeric-id":204591,"id":"Q204591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067494$A7243DEC-C115-4887-A4F1-C33C47326877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a780ef79608749556230cbbde02f78eda1ce0cdb","datavalue":{"value":{"entity-type":"item","numeric-id":204589,"id":"Q204589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067494$D0E80E0F-B15F-4BC5-9105-917D2455CFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da05053fca1feec683a093fed96af154fa0c3ffa","datavalue":{"value":{"entity-type":"item","numeric-id":537816,"id":"Q537816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067494$2D41F167-ED0C-47C3-85C5-A47EBD984AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797e27d66a219e3826243a1eb2d31db419bd2782","datavalue":{"value":{"entity-type":"item","numeric-id":3067493,"id":"Q3067493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067494$DA764D10-8CB7-435F-AEB8-9872EAFE06D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdd6a1c153f75713f57bdbbdd1af0bcd8c762242","datavalue":{"value":{"entity-type":"item","numeric-id":2789111,"id":"Q2789111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067494$626B67B2-EC9B-414A-A839-63B98CA1AB57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3832aa8c4413a9f491fedd54c1d4e68094c46118","datavalue":{"value":{"time":"+2011-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3067494$8F57832F-3959-44DD-9866-27284BB8E0DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067494$D77D5441-3249-4180-98C5-002CAF89806F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067494$D97303B0-689C-4CCD-995E-B06EE50EF44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067494$F323F234-9EE7-4531-96D1-68A93FA13B4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9480336d32caf6d43e0ed8361b820d5e47773eae","datavalue":{"value":"5839850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067494$D84F1373-3420-4A29-BAB8-85E530D4F444","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067494$874BD49C-FADC-48FA-AADF-C33DFA3C0D1B","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":"Q3067494$86B55582-28C7-40AD-A6D7-B7BA32C184BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4c42d2601aa639a451a9ddb714f4cfbf0011819","datavalue":{"value":"https://doi.org/10.1007/978-3-642-18123-8_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3067494$D90D0573-7E1F-42E3-8115-148CB89637AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55818c967ed3e1cee3e33317087a827c7a8da57d","datavalue":{"value":"W1713535472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067494$57590614-8DD5-4AEA-8330-2B0269674DE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e965f9091659e8dfd242a4bfc4c8b39b045532","datavalue":{"value":{"entity-type":"item","numeric-id":3076605,"id":"Q3076605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9e865d3b1d4c1ecc5be61a4f83371ccdef0029","datavalue":{"value":{"amount":"+0.8636470437049866","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":"Q3067494$A523A5D0-ED2D-4AD5-99E9-4E0E7E4A204C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d6a87c3317ebaf2af401c9011e33499c33da67","datavalue":{"value":{"entity-type":"item","numeric-id":2890294,"id":"Q2890294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44605aeaa7b624bfb0687b3004e2283c8af951a2","datavalue":{"value":{"amount":"+0.8474866151809692","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":"Q3067494$2CFF096B-A4F6-46FA-ADE2-B7D316E1DF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36258116623966e4f90ed7ba6a441e7310ba87bc","datavalue":{"value":{"entity-type":"item","numeric-id":2152300,"id":"Q2152300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c36f63f21417921fbe10fbb07b6b722ac06e49","datavalue":{"value":{"amount":"+0.8107076287269592","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":"Q3067494$05B3C492-F609-4865-AC27-ECFBB5E2637C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f01d742923cf7fa04a778e068dd9b7565a7fe3","datavalue":{"value":{"entity-type":"item","numeric-id":1982961,"id":"Q1982961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4fffad3be7991152b937d6b285b3ac26300c295","datavalue":{"value":{"amount":"+0.7856916785240173","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":"Q3067494$0BFCA1F5-3FC6-4FF0-B004-EB54BF3E6300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fb8120f126a8764424f3603d960616bb33c850f","datavalue":{"value":{"entity-type":"item","numeric-id":2282267,"id":"Q2282267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e67b53c6a0db9ab970e7d5505fc8713905f8397","datavalue":{"value":{"amount":"+0.7815235257148743","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":"Q3067494$F7BAF89B-D015-4589-81AC-034BA30C4896","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An integrated approach to P systems formal verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_integrated_approach_to_P_systems_formal_verification"}}}}}