{"entities":{"Q1019020":{"pageid":1020868,"ns":120,"title":"Item:Q1019020","lastrevid":50664137,"modified":"2026-01-14T17:44:47Z","type":"item","id":"Q1019020","labels":{"en":{"language":"en","value":"FDR explorer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5558116"}},"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":"Q1019020$1F3D7B1C-5F07-43DA-852D-C179E78F8B04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d66a1cdf27e5b1ea04b89f870b92f72394b9396","datavalue":{"value":{"text":"FDR explorer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1019020$5ACABCC0-DFEA-496D-8E72-2DAF9D0DDC8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e69833077ef0e397bc906600ab2b74e2e44cb47e","datavalue":{"value":"1162.68476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019020$4DB6EB85-CFDA-47DB-8D0F-5ABDDB31724F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a554aec36fc4a6a6f650f34c2516421d15681542","datavalue":{"value":{"entity-type":"item","numeric-id":1004292,"id":"Q1004292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019020$A8CBF26A-6633-4282-B8FC-70A7318089A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019020$11013D20-AF9A-4850-9C6A-842AB6680BAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019020$44C56072-28AF-47EB-A7FA-40D07B72659C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce65d071e7340c2588abccb76c05f02030105cc","datavalue":{"value":{"time":"+2009-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1019020$CC36EC8B-2491-4571-B8CC-6E3FF5151FF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019020$056AC9A7-BD18-48E3-BA04-C7FA063EE27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019020$F97C4B8F-3240-4CF2-B94B-FBA479E16664","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c75b8fea78480e4e8c85fbee52f52b1a82849f5a","datavalue":{"value":"5558116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019020$E756B8DF-F220-468B-9B68-7BF3BED249F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019020$0D6E4BCD-6D5A-4584-B30A-7D8BECB9D4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019020$7F35A12C-54A5-452D-8B45-ADCDE8060275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019020$AF526B03-4676-4C65-98C7-E82683F69D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"560176b9f90870250c4b94f96ff2cf2f7e622c22","datavalue":{"value":"FDR","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019020$0E22EAB9-360B-400C-AAF7-CC10EC246741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019020$311CE1C5-2F00-4F6F-BEA6-16F187AA3693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019020$22D9C192-069E-4787-9D76-0B90A9C120B9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019020$82FB1A3B-9BED-484F-AE73-4050B6E04B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9466f0b26c1dc8acd437f28f29f075bef564116e","datavalue":{"value":{"entity-type":"item","numeric-id":23408,"id":"Q23408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019020$F0DF42E6-0243-402D-8B48-29CC1450411F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019020$336F8B43-713C-4013-8B35-49BE2574BC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e73ff40df6991ef7ccf62ee2273284e400b9341","datavalue":{"value":{"entity-type":"item","numeric-id":43978,"id":"Q43978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019020$C9139CFC-47D4-499B-9FA6-ED73A02E1D9E","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":"Q1019020$41E2FD5D-C0B9-4D71-B657-43EE32532212","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a1ff1e3342ccb5a7479dd0f03df3656498b38b0","datavalue":{"value":"https://doi.org/10.1007/s00165-008-0074-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1019020$5A80CA67-CD8F-4F5D-B077-12BA98407971","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f71a53d132a68e8c63c06624104c719cc8d57150","datavalue":{"value":"W2912454916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019020$1A7A064C-5EA7-4613-95F6-399E400F4392","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f7a668766da972033a6c18555fff3129df0572","datavalue":{"value":{"entity-type":"item","numeric-id":2432233,"id":"Q2432233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019020$C5A1E116-AEFF-4AB2-8E93-895F284F4B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd15be43e22c48003f2763e8ff90c03f696cc66b","datavalue":{"value":{"entity-type":"item","numeric-id":2873617,"id":"Q2873617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019020$F5C9806F-332C-45EB-B9A3-F7893CED9CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d6ca6f55e61a6c2d75395cedf218ea6b94fec6","datavalue":{"value":{"entity-type":"item","numeric-id":2366163,"id":"Q2366163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019020$BA2784B7-9B55-4183-A901-9A11606EBF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9500c52b82211c30e7e53c9ebce092e43e61718","datavalue":{"value":{"entity-type":"item","numeric-id":5716879,"id":"Q5716879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019020$530F8843-08C1-4F4A-A773-86AFB468A8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85fd4be40d76726d3fffd9ab3f408341aabe28b5","datavalue":{"value":{"entity-type":"item","numeric-id":5709386,"id":"Q5709386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019020$96B9A4A4-72A8-447E-BEDB-2A7AF6C42FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1fa8e099c59f8b6819b5b09b786ac872f2d64b8","datavalue":{"value":{"entity-type":"item","numeric-id":688554,"id":"Q688554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019020$2A69BEFB-D4DF-44E8-9D29-F25193416B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019020$4A1D8624-38F0-43B3-9CCA-57E48A637577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019020$40BEE93B-4611-46A5-BBD2-5A5502616920","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85df8ab98203a4c559bd975b740fd4e849f99010","datavalue":{"value":"10.1007/S00165-008-0074-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019020$1BA607DA-E044-4350-9D66-CA9E7F18E712","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11351d9ded01274c0234849fddccb49b5b2345a7","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a99d876fc0d3de255c30553eb9a7aeb44d54fa8","datavalue":{"value":{"amount":"+0.854932427406311","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":"Q1019020$DF788AA9-B3BF-419D-A714-ADAED303228F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6b99fd4349ce486779a51c3b85820dad408b57","datavalue":{"value":{"entity-type":"item","numeric-id":2763965,"id":"Q2763965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf2697f075b5c2b4abaebd8da80eb1f48dbc63b","datavalue":{"value":{"amount":"+0.7979521751403809","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":"Q1019020$6B8BCAB3-380C-4B10-9A50-B549EAE210CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b13a3c9be25562c167115fda6bca36fc82765ffa","datavalue":{"value":{"entity-type":"item","numeric-id":1708711,"id":"Q1708711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d43a5b1e2937f282bae874ddcb8bb19459f74f","datavalue":{"value":{"amount":"+0.7930369973182678","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":"Q1019020$E6BB9AA7-6E7B-47B6-A68F-E687621C36CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb78a810e0eeec32754692f39a6920192d4599d2","datavalue":{"value":{"entity-type":"item","numeric-id":5709386,"id":"Q5709386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77df8965bdec6122aabbe0caf700b07e41f843f2","datavalue":{"value":{"amount":"+0.7418192625045776","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":"Q1019020$54E23B2D-413F-4B60-BBA9-64699857EDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c06a75867c1715872d3ed23a2892eae40cdb2a4","datavalue":{"value":{"entity-type":"item","numeric-id":5709374,"id":"Q5709374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"080dc50a5fc397b8f003c86a1c719261dd5b243c","datavalue":{"value":{"amount":"+0.7387955784797668","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":"Q1019020$C4F4A518-8585-43B1-A686-1A5A5306A58F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1019020","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1019020"}}}}}