{"entities":{"Q2234096":{"pageid":2244839,"ns":120,"title":"Item:Q2234096","lastrevid":71634237,"modified":"2026-04-13T23:32:49Z","type":"item","id":"Q2234096","labels":{"en":{"language":"en","value":"Formal semantics and verification of network-based biocomputation circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410651"}},"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":"Q2234096$B05B412F-35B6-4D93-9279-B442C5AD104A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3002aa2269501d34d45c73af5047ffc53a336fd9","datavalue":{"value":{"text":"Formal semantics and verification of network-based biocomputation circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234096$F655B6E3-AFE4-4EB3-BB8E-A5F1E8383608","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d269096194e54931a65458e06bfa34ef1f06e2f","datavalue":{"value":"1472.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234096$252A7290-60AA-47ED-A4E2-2932992D62A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd4b49fbfdb5df7baf0d719731ca1b99ceb83e13","datavalue":{"value":"10.1007/978-3-030-67067-2_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234096$1D5B1790-67DE-4D9A-87EC-52271290F0A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a72f7ffeadb3320be0ec39263ca2afd30e85f3a","datavalue":{"value":{"entity-type":"item","numeric-id":2234092,"id":"Q2234092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234096$1733041D-6651-4375-9749-C77C2D018E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa9f7f43a076f6fcf13a108021c7fd97510aad0d","datavalue":{"value":{"entity-type":"item","numeric-id":2234093,"id":"Q2234093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234096$37469A06-651E-4915-B2D6-5E777F0984C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb132b8838a306cc8824f81681fa5ddb91b50cf9","datavalue":{"value":{"entity-type":"item","numeric-id":2234094,"id":"Q2234094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234096$9EA6022A-21C2-4AC0-946B-033D5BC3E68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4669f9eebc2afd9514ace727dddbdb640ed89532","datavalue":{"value":{"entity-type":"item","numeric-id":929169,"id":"Q929169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234096$DD33C6B4-E927-4FC6-83B2-E219C9A94EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ba31a0dd52d729abd5e87310a7cf44922fd880","datavalue":{"value":{"entity-type":"item","numeric-id":2234095,"id":"Q2234095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234096$ADC42B09-71F1-41C6-AFA7-F130500425DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234096$A3955768-316A-404A-995F-DD8A93693053","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"08d6627ae2c019bef2c123de72ca8195cdbf2423","datavalue":{"value":"68Q07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234096$F2426AE3-44A9-4440-9348-5D90FAE4A45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234096$5D39BAFF-1FFD-42BA-8252-9DC0ADD812F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234096$BAA391A0-8BD1-41C2-B233-1DB339038C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234096$A0455612-F516-4607-A7AD-1599507DFEEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96ec5accb7e23b9e82b99f384a6bccf34c9371b4","datavalue":{"value":"7410651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234096$2C5DD596-F1A2-41DC-87D3-D832C58E34AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b78e3c649863b4c26adf9f64e5983fa89e0cc6f","datavalue":{"value":"biological computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234096$B1AACE93-01B0-43AF-8A66-77D4A4E0F8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e6f3ac7bf75cd083f4bbdaec423df3a76852b81","datavalue":{"value":"network-based biocomputation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234096$A79438BE-3B5F-4EFB-A4FA-935DAA53F8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234096$F377F229-917F-46FB-98B2-7A48F12915AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04c467c9e060fd0e7ddb66ee7667c46a0afc7c91","datavalue":{"value":"subset sum problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234096$1F187F19-BD38-41AA-9BC4-B2AC90407339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afefb78b68ac9c51876f5017d2796195ef1f190f","datavalue":{"value":"exact cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234096$6A9B9025-471D-4A2B-9F0A-0DACBCF364FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234096$3A803501-EF3C-4F05-90B5-0ADC1AE83BBA","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":"Q2234096$09E3EADE-2BAE-4048-B912-8E69BD65522F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1b6983ba774857c3d8c76c15d5a97435a0d786d","datavalue":{"value":"https://doi.org/10.1007/978-3-030-67067-2_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234096$04F51884-73FD-4410-990E-26D671EFE6FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"495439676cf90b963a2e9d6d0609c237f2d4455f","datavalue":{"value":"W3121081585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234096$4E378928-D351-4E36-A879-E1AC82773B47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"496775fa9e1a0ddede2da5abeabd8d55cbf2ce86","datavalue":{"value":{"entity-type":"item","numeric-id":2948415,"id":"Q2948415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234096$31224A3E-A553-4C86-92DB-D8BFA857F3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0002858691d36f1151f3c0038479d7be3d0f19f4","datavalue":{"value":{"entity-type":"item","numeric-id":4413225,"id":"Q4413225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234096$BC88E84F-E39F-4764-B26C-894650F0234F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234096$8F7F1F1D-9038-4DFF-9C9E-862FB1708639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9851021647026ebe4175697414e895b3add405","datavalue":{"value":{"entity-type":"item","numeric-id":5168496,"id":"Q5168496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234096$2968F374-7578-47DC-83E2-D64819C876E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234096$5EF78424-88AC-4B42-B2B7-40BF7A97CE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234096$620A2418-30B5-4D99-A72F-BA5D4121508D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d598fc4399e353e967bf7ad53c2220d296bbeb","datavalue":{"value":{"entity-type":"item","numeric-id":3092338,"id":"Q3092338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234096$E183F40D-9F54-404A-A986-455ED7B9CB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0166044305b7328cfc6b5ac76568495800060def","datavalue":{"value":{"entity-type":"item","numeric-id":5168509,"id":"Q5168509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234096$FDFEC564-81C9-4E47-9B5D-2661CDF08BA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085da5b1bfc185825a77db0c2526fe3d19048490","datavalue":{"value":{"entity-type":"item","numeric-id":2948415,"id":"Q2948415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d52c88cbd7d14b3df8e3fccd7cac7cd2cbd2c2","datavalue":{"value":{"amount":"+0.747892439365387","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":"Q2234096$B54C4FE9-D765-475A-A1C0-6680A1AD3515","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":"bcccc53641c54847a1a6bc7f71ee72d6b7616ea9","datavalue":{"value":{"amount":"+0.7127899527549744","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":"Q2234096$7BB6D8FA-FB60-4944-9540-80E2F02F67E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"815ca9c6f0c259e47bb1e1747e2ccc0e63929406","datavalue":{"value":{"entity-type":"item","numeric-id":2003463,"id":"Q2003463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23c97c44d8e4aceffd657a93518dad61e33eb46","datavalue":{"value":{"amount":"+0.7055188417434692","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":"Q2234096$B6379E54-D294-46E1-AB78-74508090BA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3983894adf4d59b44278fda3ff4ada12155c4d9","datavalue":{"value":{"entity-type":"item","numeric-id":5168496,"id":"Q5168496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"152f2d0e82184ca0abc62c0885fb2fdb233922bf","datavalue":{"value":{"amount":"+0.7042334079742432","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":"Q2234096$2106BD64-C000-4A0E-835E-BDDBA517E6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b61f75b59e710dc54a3b8bb2471846e32ecae1","datavalue":{"value":{"entity-type":"item","numeric-id":2315010,"id":"Q2315010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bae824cc8f66d0bc99691fe546684dedb184d75e","datavalue":{"value":{"amount":"+0.6907267570495605","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":"Q2234096$EB2C5FFC-EF7C-4D2F-AB03-BA94864B1698","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234096$F70702D9-DA66-4906-A84E-5A0FF75FB611","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal semantics and verification of network-based biocomputation circuits","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_semantics_and_verification_of_network-based_biocomputation_circuits"}}}}}