{"entities":{"Q4633167":{"pageid":6662748,"ns":120,"title":"Item:Q4633167","lastrevid":53413397,"modified":"2026-01-24T22:22:17Z","type":"item","id":"Q4633167","labels":{"en":{"language":"en","value":"Reachability analysis based on structured representations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7049851"}},"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":"Q4633167$8CFD75A0-4BEE-412F-8D9A-7E0C5BCB610B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9e432138bcde1d242b2e8b150c081c062ac3bb1","datavalue":{"value":{"text":"Reachability analysis based on structured representations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633167$AB6D0E28-E4AC-4E86-9392-A8FB431DD130","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcffa4787e5791bbd815466a5181fa0c9f16414b","datavalue":{"value":"1418.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633167$7BAF6FB2-D408-4B7A-8C7A-951D8E248729","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d03202a527eb7d396cafb803cf8997be599d1a1","datavalue":{"value":"10.1007/3-540-61363-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633167$57FAAB6D-F758-498E-8602-FE745825EAA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc554af82aeace6ef028cd07372e98335f8e16fa","datavalue":{"value":{"entity-type":"item","numeric-id":243732,"id":"Q243732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633167$F428EFCD-7D6B-4101-9E89-859F2A32CC44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"37fc5bc35324bf9712bb6f10d6d3c50921a5a993","datavalue":{"value":{"entity-type":"item","numeric-id":4633150,"id":"Q4633150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633167$5BAD4E0F-CAA4-4984-9ED8-F0BA0802E8E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe967a6646fb6ad4126028ed66c1cfc1a0b6f1a6","datavalue":{"value":{"time":"+2019-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4633167$564CC756-2EBB-490F-8648-9263CFAF098E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633167$094BE0A5-519A-421E-8462-C8F5529D0F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633167$F3F7AC1F-EF63-432F-AE93-843935335FFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcc21dcceaeeb65f1bf3fbaeb6eb186e67b86ccf","datavalue":{"value":"7049851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633167$D02DD624-6604-4AA0-BFF7-E9F29EC09ED0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e37aa0f4f08e208e1a86c646ff1c22e2ad4c4fa3","datavalue":{"value":"state space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633167$CBDBC3F4-22EE-4FE0-992F-9AA090338CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"298be68e9e5c823aee271c97e214ba975a2a2d63","datavalue":{"value":"local transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633167$FE5E1E39-338E-45CA-BF48-229F5E0E4F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a871be1bc0c9934635cafe7906b02ca72153196b","datavalue":{"value":"structure representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633167$0EC510FB-7ED2-4CF0-A16A-E383C27D4CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d0937c0dfa97206651000bf615747d9ef6791c","datavalue":{"value":"successor state","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633167$3963D457-0615-4172-A086-A4F66EC642A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad8955bca236efd43426ead3863e04546b9090cd","datavalue":{"value":"continuous time Markov chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633167$6447CC0D-2E91-4239-8298-02CBDC7125CE","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":"Q4633167$22DF2B39-144B-4824-867F-D7B232D00348","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49d4a27c19c88d6f1b38d20d5d29d8dcdcc80249","datavalue":{"value":"https://doi.org/10.1007/3-540-61363-3_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633167$31C00771-3A02-4747-B3D7-87B1EC8CAB52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6448d9db2d2f5e73ebc3466c13d8594b170125fe","datavalue":{"value":"W1591563876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633167$33AA23F1-6076-453E-8574-A5AA6EC4A64E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ee9d0cb940b778045321e2ef8e0e570031b4afa","datavalue":{"value":{"entity-type":"item","numeric-id":5929020,"id":"Q5929020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633167$580C599F-F607-4416-86B5-11548F382DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb048978dd4b95d32ee7d1b472d5fb14a2c9fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4509344,"id":"Q4509344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633167$060042F1-E52C-4A21-8CBB-2DBC60560C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385005c2f8704988fb9b3be66b53de0ef2f22965","datavalue":{"value":{"entity-type":"item","numeric-id":4272467,"id":"Q4272467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633167$335BB653-768F-409D-8A1E-D9F69362BC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6470f08a7aa7ffbdaed38eca6c8a820db4cda43","datavalue":{"value":{"entity-type":"item","numeric-id":3904543,"id":"Q3904543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633167$FD725453-82F6-4C6D-A2E7-89F8336391F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c9ba3c98edeebb2dbd5896f1a3bcfe61ae2909","datavalue":{"value":{"entity-type":"item","numeric-id":4272466,"id":"Q4272466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633167$D3EDD5E8-E2EB-4927-B75E-95CF6DEA6F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71de609ff45fda59e00d0de57593961b4ccdadc","datavalue":{"value":{"entity-type":"item","numeric-id":4037108,"id":"Q4037108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633167$30206B9F-E4FE-4682-8536-9E5DB1203E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f907d75612b0bd82eeef2f97ad81b622c6654cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4324960,"id":"Q4324960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633167$BF983FB5-66EA-4974-8E8E-6D21E588C9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633167$5551D5EC-2B34-47B7-979D-37F35AF34BAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866791785f510bb82cbc4809360e45214f7927e9","datavalue":{"value":{"entity-type":"item","numeric-id":5712340,"id":"Q5712340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519d3f936d4d91e6a5dc38c84a4b4d5dd6614591","datavalue":{"value":{"amount":"+0.782670795917511","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":"Q4633167$007277DC-2990-42C1-A15A-EA14261CD67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b485f3e05a3cbf6542bb04069cc169924ebd4b5","datavalue":{"value":{"entity-type":"item","numeric-id":1871862,"id":"Q1871862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0327f353d608814c144be865d74c42f234d1d7","datavalue":{"value":{"amount":"+0.7737247943878174","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":"Q4633167$477B5071-3AFD-4895-A94C-5E152317FED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b08cbe2ce280e7e3b4563c5dcf1960b830f116","datavalue":{"value":{"entity-type":"item","numeric-id":1400291,"id":"Q1400291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3599334dd9d72fa5c7ead78d5248c7f60785c39","datavalue":{"value":{"amount":"+0.7569647431373596","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":"Q4633167$72FF4ACC-5BA4-49AB-BB80-EFA698086499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8319ff215a1dd2cbb1b48258a2902b132f8a5316","datavalue":{"value":{"entity-type":"item","numeric-id":1807701,"id":"Q1807701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689a84c79306335774ad4a97a2194b73d0ff1c5b","datavalue":{"value":{"amount":"+0.754250168800354","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":"Q4633167$B58B3273-B10F-4CA0-BDB2-EFA0FDC4EAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3027cf230a6f619eaf7c573f585ad9f5e60ed54d","datavalue":{"value":{"entity-type":"item","numeric-id":5481426,"id":"Q5481426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e202204d5271f652f2c25e1fa5d2ceaa4d2e4dc","datavalue":{"value":{"amount":"+0.7539288997650146","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":"Q4633167$84C07F5F-974C-4708-9FB7-F9D44A1ADC1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4633167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4633167"}}}}}