{"entities":{"Q6165822":{"pageid":13300703,"ns":120,"title":"Item:Q6165822","lastrevid":93955136,"modified":"2026-06-05T05:31:52Z","type":"item","id":"Q6165822","labels":{"en":{"language":"en","value":"Synchronous or alternating? LTL black-box checking of Mealy machines by combining the LearnLib and LTSmin"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721083"}},"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":"Q6165822$AF343B98-D24B-4CC7-BE33-8758BD5B263E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"174c7807aae384910ae15e8af06c56fb3720692b","datavalue":{"value":{"text":"Synchronous or alternating? LTL black-box checking of Mealy machines by combining the LearnLib and LTSmin","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6165822$FC2F55C2-A6E5-4461-B169-1A853B21FDF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0a4f22d70bbce1feb52701e0fa2c9103bf6d1eb","datavalue":{"value":"1519.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165822$E13F986B-F8B3-46F7-AC57-9A1C516A4E42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d35133661e4e78fe4a3f6ca6d47c1cbca6caf97e","datavalue":{"value":"10.1007/978-3-030-22348-9_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165822$BB6A8094-194D-4E16-A249-D42FD0F9BDF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a469e1856598e76c0542f05574b54b053e1e517a","datavalue":{"value":{"entity-type":"item","numeric-id":507380,"id":"Q507380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165822$A6F2EDC1-7FD1-4F8E-AD1C-4B187D9A063D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72b58339c99b045bc80921794466dd4c0f51a82a","datavalue":{"value":{"entity-type":"item","numeric-id":6165821,"id":"Q6165821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165822$FB09B4CD-2D48-4786-968B-2EBC1720A189","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":"Q6165822$4BD51989-D0C8-4E7A-AAD4-8EBAD9CC18C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-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":"Q6165822$F9237963-7C3D-48B8-9218-09105FAD3AE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165822$C16C13A6-A21A-4FBC-A43E-469B4D908275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165822$ABFB1076-C73E-4B8A-9505-3CF329A498C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165822$398E7C0B-35EA-440F-8AF6-3800659A928F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88513ab1a1913ab6b4b15192488f9dfd504eec7d","datavalue":{"value":"7721083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165822$D694A573-36B2-4AB8-BEC8-1E0FC2C55379","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":"Q6165822$201626B7-AEBE-4DE7-AC85-07CE9DD4D75C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5765b0ebca106477c0ab714de50df9228a58146a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-22348-9_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q6165822$C8DBEBCE-4E1E-4350-A139-7E3D418B0DF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c329a4f7147d9180ad522ef550510557d717089","datavalue":{"value":"W2956147405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165822$4F0252FF-B143-428E-ABA9-045208771AAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a934526edff3395a0f9d37af0f9e74bc3a261f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3600466,"id":"Q3600466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bb21860515148151d0d9020773141836507ca37","datavalue":{"value":{"amount":"+0.81396747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165822$3538920A-98A8-4725-8B6C-2C05857BF05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b7d446cbfc55c1f131473f3ff65bd7e4b2628f","datavalue":{"value":{"entity-type":"item","numeric-id":2105410,"id":"Q2105410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9235ee4ea20eb4ce2d3e9b0c94b66bbed46c36f0","datavalue":{"value":{"amount":"+0.81386214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165822$5D32C356-2D14-474D-BCF9-3F3879309C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37c3f799908525fe7a2cfa211270bac0f09f086","datavalue":{"value":{"entity-type":"item","numeric-id":4494397,"id":"Q4494397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0073f0bb297064a4cfab067b8545332b2410f79","datavalue":{"value":{"amount":"+0.8136649","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165822$8D936CF8-9796-4CE2-8E78-A32EA84E016B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3383aee9a50302aa883ab2b30b18bea8e0a22854","datavalue":{"value":{"entity-type":"item","numeric-id":5283016,"id":"Q5283016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2ae8ae042638b0c0fffc7095233a3d8f039514a","datavalue":{"value":{"amount":"+0.80576646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165822$D2BB8F4C-8E7E-4A1E-864E-7A57B9AF9F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1cc29d937cf08a8209142db26e225a778d772b","datavalue":{"value":{"entity-type":"item","numeric-id":6041187,"id":"Q6041187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ef22600e756dd87e3e7322cadb18ac22404437","datavalue":{"value":{"amount":"+0.80438435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165822$41CE4E9C-BA25-4BE8-A9B5-636436CACACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"916ecc1c4495408ea5b861428db8a2e971a03707","datavalue":{"value":{"entity-type":"item","numeric-id":3393383,"id":"Q3393383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bbd7f7c0a2246b631467d9158cdf6a3aaa5e7e3","datavalue":{"value":{"amount":"+0.8041176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165822$7A0D6B67-B217-4E87-93A8-845CEC48A705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed312578bef1759bebaccd091bd8721c34e5e67a","datavalue":{"value":{"entity-type":"item","numeric-id":3434609,"id":"Q3434609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b119d433d73f7c0214492c4974ba28a8fb11ac2e","datavalue":{"value":{"amount":"+0.80410457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6165822$2955C242-6D49-4EBF-A302-D12A6BC4D36A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synchronous or alternating? LTL black-box checking of Mealy machines by combining the LearnLib and LTSmin","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synchronous_or_alternating%3F_LTL_black-box_checking_of_Mealy_machines_by_combining_the_LearnLib_and_LTSmin"}}}}}