{"entities":{"Q5117832":{"pageid":7147406,"ns":120,"title":"Item:Q5117832","lastrevid":32335366,"modified":"2024-03-19T22:12:36Z","type":"item","id":"Q5117832","labels":{"en":{"language":"en","value":"Exploring Computation Tree Logic with Past-Time Operator Model Checking Using DNA Computing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7240036"}},"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":"Q5117832$CAB3904E-1D44-46DA-9E50-491019617419","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2232e4926094366f5af7bc0b9bec46ba3a5954a8","datavalue":{"value":{"text":"Exploring Computation Tree Logic with Past-Time Operator Model Checking Using DNA Computing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5117832$465B9B95-A307-43CE-AED1-B0D86F406F1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c40a9fffc230e02837246e81261d031373f38fab","datavalue":{"value":"10.1007/978-981-15-3415-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117832$8A5CCBA9-6198-41FE-B91A-082D76BE0A3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91972eda3d5713a4b48b6d85b031eca166efb4ca","datavalue":{"value":{"entity-type":"item","numeric-id":4450363,"id":"Q4450363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117832$2F328068-EB6C-4F10-A561-E1A02788E1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13686c3d085a3f7155e2983ff60f6ba88fdb461e","datavalue":{"value":{"entity-type":"item","numeric-id":5117830,"id":"Q5117830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117832$72D1F155-45F2-4EB8-8975-7D2208587315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"becd8f6ba1842a1ae7c8b9f22d72487098e8cad4","datavalue":{"value":{"entity-type":"item","numeric-id":5117831,"id":"Q5117831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117832$092C4450-8781-4DE3-9475-24B43FC80038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"036b0aa8d2375f179bf81681695e289fd25083f8","datavalue":{"value":{"entity-type":"item","numeric-id":474445,"id":"Q474445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117832$C9E167F2-CDBA-4516-8437-18712340EF58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4077ffb18414bbb2357751629d411d50e25c5a0","datavalue":{"value":{"entity-type":"item","numeric-id":345896,"id":"Q345896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5117832$234025C0-3080-4C8A-9836-7A4463A67926","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d4f132e262cfd90bc6820d79fa2935957d2a6e3","datavalue":{"value":{"time":"+2020-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5117832$CD4F4731-302C-4776-8B28-917B1B2CA3C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"08d6627ae2c019bef2c123de72ca8195cdbf2423","datavalue":{"value":"68Q07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117832$B874A2A3-2CE0-4BF3-81A9-23F82824D758","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0659c04c07a0a18641e5e72003ff3b849614f92","datavalue":{"value":"7240036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117832$ACB4F554-681C-48E4-B5ED-8ABBBD3617E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117832$D2385A7F-571C-49CE-9BE4-937FB07B92E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0c0345d419f4aa9c2e0a47c27604a2be517e569","datavalue":{"value":"DNA computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117832$E073964B-949D-4760-A752-A1F9E30B91BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117832$19E46EAC-F92C-4580-B8E2-633032D1D0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be82947dac0737a3453af205586a8ef1db7d3fb0","datavalue":{"value":"past-time operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5117832$975BFB2E-F61E-4649-B123-8236A179830C","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":"Q5117832$9B8FC85A-213E-46EF-8BD1-EA0756E40323","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57b9fd7fc3f7e86ffd0c831fc9be04c0ad9d55c4","datavalue":{"value":"https://doi.org/10.1007/978-981-15-3415-7_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5117832$44EA3CF5-CC43-404A-A80B-229954150DD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1dd9f8e1521fa8523439df19b334212c5c803055","datavalue":{"value":"W3014363642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5117832$94E2D39B-FC63-4754-9E8E-5D2714A60582","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5117832","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5117832"}}}}}