{"entities":{"Q3067860":{"pageid":3078576,"ns":120,"title":"Item:Q3067860","lastrevid":86310527,"modified":"2026-06-03T18:13:58Z","type":"item","id":"Q3067860","labels":{"en":{"language":"en","value":"Well (and better) quasi-ordered transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5835889"}},"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":"Q3067860$7BDFF4A7-5702-4009-A311-07EEB9CE4F4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5699363c2f4a1a0377ead649d12d8fbf6992b30","datavalue":{"value":{"text":"Well (and Better) Quasi-Ordered Transition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3067860$2CDB3533-3B36-4383-9E91-7957DAE30B47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3aed753575cf0d47812f045a99929c9552f32a77","datavalue":{"value":"1207.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067860$A66E8624-8F2C-4B9A-BEC0-57032DD67EAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067860$BBAF3AC2-7D4A-431C-BA22-121CF76B6D42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a97c1d6fc2599d06259094f1abb3cc946622f97a","datavalue":{"value":{"time":"+2011-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3067860$10FE0478-AF1F-4804-BB68-27FAA1CCA11E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067860$35EEF252-ED88-4EBC-A88F-A7B512A912C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067860$04DC361C-A63D-4228-8644-B3309AA9E0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067860$8DEE1702-0518-425D-9854-804AE4FE7B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067860$A17CEB38-A588-4B07-8504-98D9889881F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5870d489e8060c3e1f5c1442cdae1c98db7829a","datavalue":{"value":"5835889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067860$ACF138EA-E684-4E0C-AE5D-27FDA9875AD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92c32597bb812768ff261c3a1c1ebf27435bc2b2","datavalue":{"value":"well quasi-ordered transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067860$748EC7AA-F5A4-48BC-B422-691D2E8EBA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f0b298b98b295a382a96fb355398c0cb27c9e78","datavalue":{"value":"well-quasi ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067860$C95C71C7-571B-4704-A630-A3CDB54E9A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c84c7131b14ba4dc287993bd69833ce4975744ff","datavalue":{"value":"symbolic backward reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067860$3755C01D-EB42-4665-B6EB-C932DD702F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbaab7d84ae89a5043370f382b22e7da395c9cb5","datavalue":{"value":"models with infinite-state spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067860$CB0BE696-F443-4A84-B01D-872A366DFD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067860$BDA88E29-1466-41E4-B4FD-A30FB93443F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067860$DDD27538-84DA-4DF4-9443-3CED54667CE0","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":"Q3067860$5534BEDB-3A03-4581-A815-70ACA41D6105","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94b1ad4fb9ab8c0632334eacd389523ac8a542ea","datavalue":{"value":"https://doi.org/10.2178/bsl/1294171129","type":"string"},"datatype":"url"},"type":"statement","id":"Q3067860$8C6A6F0B-BCC1-431B-9D57-6E8E92EA3BFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50dc82a29f79388a128b2b1b77d9e71fd93a36e1","datavalue":{"value":"W2050591418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067860$131AEF08-2D62-481A-837E-8E7750441E51","rank":"normal"}],"P223":[{"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":"Q3067860$91A3A44E-0C00-4B10-87A8-EDEF6A1CEB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1bae52d06fad7349068fbd94719fae8147ce2d","datavalue":{"value":{"entity-type":"item","numeric-id":1327702,"id":"Q1327702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067860$EE501D04-99C0-4446-AD4F-4CA3117770AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067860$85D4E59A-CC10-41A5-887B-1B085CDD0B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac7ea46ed5829de66002dbc9fdd446ec28b2d53","datavalue":{"value":{"entity-type":"item","numeric-id":1878925,"id":"Q1878925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067860$ECC28F31-1238-4A6A-B77D-3581954B8BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067860$2179312C-C56D-4091-96F5-FA7AB2F620AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddd894a479ab1374434c96d1f7845c467e8ffde","datavalue":{"value":{"entity-type":"item","numeric-id":1853589,"id":"Q1853589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067860$4DD25EDF-E867-4AF7-8479-5AA58EED14C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1ad2bba23cd90e918fef3f06c9abaf2aac0df","datavalue":{"value":{"entity-type":"item","numeric-id":5941104,"id":"Q5941104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067860$6826CAD1-0DAD-487A-903D-5F0C200CE609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067860$5AE97EAA-8D87-4DAB-A145-4BC71BF66E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21137ab7a471f67814fe16d1e705bff9ccd4bbd0","datavalue":{"value":{"entity-type":"item","numeric-id":5925716,"id":"Q5925716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067860$92E4219D-1515-4DE7-8986-02784423FB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e5ef7c21fdd47cd80f5739b2b231dead2ab9ca","datavalue":{"value":{"entity-type":"item","numeric-id":1854355,"id":"Q1854355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067860$BAA389EB-5705-418A-AB3E-29ADBABB696B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e31460d03447356beb6dcb816454c7cb3b6e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067860$7A4FC945-83A2-4E5F-BFC3-8680026A90EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067860$27C604A1-240C-4112-A8AC-1C8D1416A5AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c604cc3a04ab0f76c37f488779727aa0b2775e3","datavalue":{"value":"10.2178/BSL/1294171129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067860$94104BCC-1BEC-4C81-B55D-AEC7A4E5CC60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca6648999986ea0b7b50034bf80d8dc93d6436c","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775c8f8e020d948cf115911b24e9c7ac82dd1ed4","datavalue":{"value":{"amount":"+0.8404884934425354","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":"Q3067860$BE2128B3-F899-4B19-AC4E-A290DBEA337D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703631dc1182aaecc2092d3e9a8e9baf1a439f94","datavalue":{"value":{"entity-type":"item","numeric-id":5367063,"id":"Q5367063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf02363b15ef380e7958834c48285691d493aa55","datavalue":{"value":{"amount":"+0.8154391050338745","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":"Q3067860$09180729-5323-498B-914B-7A3EA0054869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b572f2b6fdb6d6e281def8af4be90f872d9fcf8a","datavalue":{"value":{"entity-type":"item","numeric-id":1854355,"id":"Q1854355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc30b7fcff17a94987db88d9e663a6e097f3914","datavalue":{"value":{"amount":"+0.812528133392334","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":"Q3067860$4A8F5E39-6743-472C-9735-6A3E3B081777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434b248b93fdec42083c1706c9774915baad71dd","datavalue":{"value":{"entity-type":"item","numeric-id":2842095,"id":"Q2842095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5531c51b4003a388c585dc0c7a9d18fe21266bd5","datavalue":{"value":{"amount":"+0.7820475101470947","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":"Q3067860$9FBDBDAA-F358-4F33-888D-1F500D2CF154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62751b604a44c62a2936e551f949be8091c2014f","datavalue":{"value":{"entity-type":"item","numeric-id":2891435,"id":"Q2891435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a7944ca35209e2e782f2c352011a27dd7f7200","datavalue":{"value":{"amount":"+0.7767133712768555","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":"Q3067860$0E95E861-DE05-44A2-AEBB-A59DCB79ED26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Well (and better) quasi-ordered transition systems","badges":[]}}}}}