{"entities":{"Q5044730":{"pageid":7074307,"ns":120,"title":"Item:Q5044730","lastrevid":54433583,"modified":"2026-01-26T19:44:47Z","type":"item","id":"Q5044730","labels":{"en":{"language":"en","value":"Verification and comparison of transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7611259"}},"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":"Q5044730$F656E6EA-1CC3-4006-ABE9-CFDE5F1EA695","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a4a75e2ef69ba01779e86b8e8fa11644543d1b5","datavalue":{"value":{"text":"Verification and comparison of transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044730$B2B5FB1C-6FAF-41DA-99E5-5C4D50E4CB88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"543b529fe7157839f5990835a88f9afd72b4b559","datavalue":{"value":"1497.68325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044730$28AFBD67-64F9-4C7A-92AC-1943EA71B6C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"038ef9355e5bc21e716edf40cffa600b904865d9","datavalue":{"value":"10.1007/3-540-56610-4_60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044730$8A2BE8CD-31BE-44D2-8B6F-255C944C5B71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$AF6688DA-762D-41B2-8D61-AB42B3AC4083","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965dccc7e527e2e46ab67b03737c8d96f54b00aa","datavalue":{"value":{"time":"+2022-11-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":"Q5044730$799041E2-5FB5-4CC9-A043-2949C208AA57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044730$946810C4-27F9-422F-821E-71627DC895B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044730$2FD1A2FE-1EB4-4E35-B7B4-B7E22412CC6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6427d98545cb237b4a99679eb35f92db92bbfd5d","datavalue":{"value":"7611259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044730$6CF83446-1C80-49CD-857E-1AD7919E7D3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f07bf463f7dd0ae34a6ca7eac63af8055d6cf8ac","datavalue":{"value":{"entity-type":"item","numeric-id":671987,"id":"Q671987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$CC16E140-C051-420D-B9F0-C37D3B8FABC1","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":"Q5044730$8C2EB656-670D-4A94-A56C-CA186A84AA9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3dc83ea54ac8cd09224ba1e69ced8f6ac235637","datavalue":{"value":"https://doi.org/10.1007/3-540-56610-4_60","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044730$811C2125-CB73-4917-B64B-5A5D511B2972","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41641649082b7da02bec9f22db31ad816076ac3a","datavalue":{"value":"W1531571467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044730$C9F2D5F8-338E-4E26-B69E-129F22537D1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6720ea54e8d7bda1f526d6d3b9396cc0b55a891","datavalue":{"value":{"entity-type":"item","numeric-id":1115196,"id":"Q1115196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$CA4654E5-F806-4F88-B61C-01C15D45033E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03db63d2c3a06d64b67c9127f5d7543fde09947","datavalue":{"value":{"entity-type":"item","numeric-id":1822989,"id":"Q1822989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$BAC3BB3F-A048-43D7-9E15-30478A0422A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cac2367f2bc84a0ef4268665ad04f3301a81090","datavalue":{"value":{"entity-type":"item","numeric-id":3325067,"id":"Q3325067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$0930F749-A8F5-4F64-B200-F326358286F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2beb8168ca6a29281ccb972aeeb93082e0c97730","datavalue":{"value":{"entity-type":"item","numeric-id":3700824,"id":"Q3700824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$81BE55FC-2EC5-4B49-BC0A-56DC142FBF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$4CEBC943-4986-481A-B591-CCB5BBF7B86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919e9204ec45969523a120a7737cd8514526e8e3","datavalue":{"value":{"entity-type":"item","numeric-id":4036558,"id":"Q4036558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$5517BABE-A8C0-47B5-A6E8-D6CC77E72A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309cd5277e5cb8338dac79fd8b3c7be52bb6ab94","datavalue":{"value":{"entity-type":"item","numeric-id":1110338,"id":"Q1110338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$7EA12300-9754-4CCF-8784-11F5D3E79727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a233fcdd59ed375b107dd5278d5d7a6acd0c91c6","datavalue":{"value":{"entity-type":"item","numeric-id":1822237,"id":"Q1822237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$AFF38EA7-50BD-4BB2-88F6-8CAD2C09BB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$55C0F8DC-87B8-4753-97B0-6BBD486C26D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$2619AABC-774D-48C9-8A0F-A6208B5494BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$BD5541BF-71EB-4A6F-814E-D19DB694AE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907bd62dd76e52aec1ebc8efc944050ddd1a0662","datavalue":{"value":{"entity-type":"item","numeric-id":4027626,"id":"Q4027626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$58AC840C-B460-427C-B8CF-0E30CB62BCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$D8BA0E58-8E5A-4A88-81E2-0DF66BC3C841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$4A55CCB3-5244-4B3A-954C-04FB20098B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$544EE644-C137-4B97-AA36-B68EC3BE8128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf617fa3642ba8d03a1b191a6bb829d3bd656ba9","datavalue":{"value":{"entity-type":"item","numeric-id":3256561,"id":"Q3256561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$03AA3B82-EF2D-457C-9F05-14985C7CEFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$A7253D7A-D05F-492D-B6D7-32F31A90C732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$D331B197-491C-458E-8ADF-11B899377AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$0C19A760-DA40-49B6-87ED-7752D6CD7A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$41DDB8C9-8AA3-40DA-BF60-5874CAE78E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$98165E46-0E57-41F9-B6B6-D95916DA8887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$E7407FCA-C511-43C9-8A3E-5C063F4E2F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda427bf3691d6d17e30eb998c33bad84c6e4597","datavalue":{"value":{"entity-type":"item","numeric-id":5732102,"id":"Q5732102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$08014DD5-4858-412F-8CCE-FB23E2AB9FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044730$512C3F9B-0E54-46C9-B508-1073486A952B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3746a9473e0ca107135bb80ab5c8921124854b","datavalue":{"value":{"entity-type":"item","numeric-id":4283236,"id":"Q4283236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65e593eb28be9ec3e27bab45553cf96e680ed1e","datavalue":{"value":{"amount":"+0.8202628493309021","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":"Q5044730$5BE934F1-46D5-4FA1-B144-835ADF1E27F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4d7fde564486c6ccde9a3cf2d6afade6863141","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4138cc932d903680f9a794ef2657a0734fd5fe4f","datavalue":{"value":{"amount":"+0.8092726469039917","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":"Q5044730$835B2890-7EDE-4C93-A035-C84348F8AD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca86a84163579aac3280e8e8fc83653fc41ce3e6","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4138cc932d903680f9a794ef2657a0734fd5fe4f","datavalue":{"value":{"amount":"+0.8092726469039917","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":"Q5044730$3490F8FF-96A1-45DE-A77B-7AB0040E726A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36d8c972e141a126c5a6c9ad613f90809ac1f611","datavalue":{"value":{"entity-type":"item","numeric-id":4029582,"id":"Q4029582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0a4fb4653b644e201b3a8a558bd7707ca9ef507","datavalue":{"value":{"amount":"+0.8088133931159973","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":"Q5044730$8C6E5328-A161-4229-9A1B-14808710804E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b96b6fee382d5a58099a4c8d0a3a54c79195649c","datavalue":{"value":{"entity-type":"item","numeric-id":1822237,"id":"Q1822237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0a4fb4653b644e201b3a8a558bd7707ca9ef507","datavalue":{"value":{"amount":"+0.8088133931159973","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":"Q5044730$D0304046-AC98-4861-B4F9-C6BEAD753020","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5044730","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5044730"}}}}}