{"entities":{"Q5146161":{"pageid":7175732,"ns":120,"title":"Item:Q5146161","lastrevid":91925258,"modified":"2026-06-05T00:25:23Z","type":"item","id":"Q5146161","labels":{"en":{"language":"en","value":"Test suites derivation for nondeterministic finite state machines with respect to the separability relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7300390"}},"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":"Q5146161$CDD923D7-4D7A-46E7-906A-7596C47915AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b353a56006b1355b2eef289ad49d7e94c702436","datavalue":{"value":"1468.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146161$61DA5EA7-C6C2-4803-AD9D-F47524EE92AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ee3ef8368470d25722ce1ba62530f74833e5f25","datavalue":{"value":{"entity-type":"item","numeric-id":5146106,"id":"Q5146106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146161$CE75DE1B-AC01-4682-81C5-0D57DACFDD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"247eb9e56c67ec5ef3bd2777dbbb04f7958dc6b4","datavalue":{"value":{"entity-type":"item","numeric-id":1758704,"id":"Q1758704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146161$26880348-1F9F-43AB-93A8-511639F44BBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0827198be489c99d5ba6559ec16692e838cc43b","datavalue":{"value":{"time":"+2021-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5146161$E9DBD9CD-9F45-4B6D-9C2D-A40ABE251481","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0be3baaaaf1ad1038ede5cdf57eb255edcaa7555","datavalue":{"value":"http://mathnet.ru/eng/pdm71","type":"string"},"datatype":"url"},"type":"statement","id":"Q5146161$E83DA32B-A7F4-47A4-AF84-129A166AB930","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146161$78FCE884-85C8-41AC-BBD3-8CE1B5A4B172","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac47281a77c63e503d63055b4672b6c5833677ae","datavalue":{"value":"7300390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146161$1AF710DF-761C-4699-AD18-38CFF6183029","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":"Q5146161$3DE9E64C-A638-4992-8469-61D8A2E8E1BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de70bbf63ba0c6fe369618c2f7d60ea742a6546","datavalue":{"value":{"entity-type":"item","numeric-id":5146107,"id":"Q5146107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6b29059f91e3fb495fe57c12f442259a2ca95f","datavalue":{"value":{"amount":"+0.9996837377548218","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":"Q5146161$73FA0602-1CAE-4358-9F41-3FB176A07EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"394be98bb0de35046539e13494316e47d4eea3fd","datavalue":{"value":{"entity-type":"item","numeric-id":1758706,"id":"Q1758706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8166eb94450ed9c4abba9d8b16180ac792ee4f8b","datavalue":{"value":{"amount":"+0.8515537977218628","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":"Q5146161$BCA57B6E-F383-4B54-89E0-84AFE878A87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf887b0386cf2a6cd39793b50c9181ddff0674a3","datavalue":{"value":{"entity-type":"item","numeric-id":4245976,"id":"Q4245976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2265728341f8263a583d6b624a540f28213b27","datavalue":{"value":{"amount":"+0.763321578502655","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":"Q5146161$0EEB7A3B-7EAB-4C1F-9899-BE0863460304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32059877291e06f6b80f75a58de24257c0885d2","datavalue":{"value":{"entity-type":"item","numeric-id":3434652,"id":"Q3434652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36a19611994aa1338329815f7c213278bf9024c2","datavalue":{"value":{"amount":"+0.7605069279670715","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":"Q5146161$8B9E5552-4EEC-4FFE-98F1-D5E8C02C3D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d9cfbb0c179c930d4adcfc4946b258af89246d","datavalue":{"value":{"entity-type":"item","numeric-id":3434606,"id":"Q3434606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e79132d6dec7aa8eabe25e3158764a5c8b4aa69b","datavalue":{"value":{"amount":"+0.7592297792434692","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":"Q5146161$A8FA31BC-4A93-492C-B7B8-E8E34ACF2E60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Test suites derivation for nondeterministic finite state machines with respect to the separability relation (scientific article; zbMATH DE number 7300390)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Test_suites_derivation_for_nondeterministic_finite_state_machines_with_respect_to_the_separability_relation_(scientific_article;_zbMATH_DE_number_7300390)"}}}}}