{"entities":{"Q2507351":{"pageid":2518094,"ns":120,"title":"Item:Q2507351","lastrevid":49940392,"modified":"2026-01-12T04:57:47Z","type":"item","id":"Q2507351","labels":{"en":{"language":"en","value":"Synthesis of finite state machines for improved state verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5062357"}},"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":"Q2507351$53C9B731-D849-413C-93BC-257A3BED3654","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c8e5776356a76496c4b99d1a40e340596690bf7","datavalue":{"value":{"text":"Synthesis of finite state machines for improved state verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2507351$0AAD164B-934F-43AF-B1E4-71B31ABCD3A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90b5d6743afd9ad5396ac276b482c53c9c41665c","datavalue":{"value":"1100.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507351$E888DCDC-97BC-45AB-827B-A0779235DB59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7bf0bcf3521beef8db3099e9dfbc4688ff14da","datavalue":{"value":{"entity-type":"item","numeric-id":827455,"id":"Q827455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507351$ECE65ED8-9072-4B9E-BCF6-C77CC92EF5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bde7f258595d5e295832c5452c33084b38b698a6","datavalue":{"value":{"entity-type":"item","numeric-id":2507350,"id":"Q2507350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507351$87ED4D7B-87C1-455E-985C-13E0C929765A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77a1d52e7d980a0c93c3b6536e4040945523dd6c","datavalue":{"value":{"entity-type":"item","numeric-id":1860034,"id":"Q1860034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507351$6CD3CB43-FC4F-44A5-AB67-163687104038","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d0c7aad96454ebf15855bff247eced4d8759b694","datavalue":{"value":{"entity-type":"item","numeric-id":209796,"id":"Q209796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2507351$403D4DEC-7AB8-4B53-BA68-F58D3C09A3DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17d5dc9e06bd48c78f65617b39b2f452c61f43e4","datavalue":{"value":{"time":"+2006-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2507351$4E733E62-FFA0-48F6-A29D-A4C6B620AC47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507351$747579DD-D0D9-4A4A-A623-9E81D2BA0F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507351$5DE7DFCA-309C-413C-8697-1726E34A40F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c326bfbf4013ba8dea7b4c67fec1ccd4a39643d","datavalue":{"value":"5062357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507351$DB51A031-27DC-44A1-AB36-10DB6972C1D0","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":"Q2507351$B2FE5746-5ECD-491B-8C36-A43D3B91E301","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00226de59f3fbabcccebb1428811d1dbd7b3fc3e","datavalue":{"value":"https://doi.org/10.1016/j.compeleceng.2005.12.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2507351$24F327A5-80C3-4A98-934D-EAD7461C21CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5261f87660447d8009b748f6152e7bd537c6bd39","datavalue":{"value":"W1986820153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507351$8CCC61AB-1122-49FD-8C20-9A213FDF040A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"720eb3cb5bb503ed432d0b6369477feccab169f5","datavalue":{"value":"10.1016/J.COMPELECENG.2005.12.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2507351$15694032-DD7B-46A6-A064-F75539B065BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae511a1454679004b503ff97ff86410201b24658","datavalue":{"value":{"entity-type":"item","numeric-id":3370582,"id":"Q3370582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53be3f6b407148b324fc3785d135090045495b7","datavalue":{"value":{"amount":"+0.7312304377555847","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":"Q2507351$5527D60F-1F2E-43C6-9D88-569E779A32A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb09a37eac00875671ab8c5124813ee06bd8e346","datavalue":{"value":{"entity-type":"item","numeric-id":4332021,"id":"Q4332021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c63e48a2a7363c8d8b2d42aff321137d039a96a","datavalue":{"value":{"amount":"+0.7167323231697083","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":"Q2507351$B43408C6-84AC-4E9D-A700-0DAB0CCE89F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af29060b3cde9ba6bbe3d28efba217616ea15cbf","datavalue":{"value":{"entity-type":"item","numeric-id":456677,"id":"Q456677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ec43c80179c61a5fa0d969bae18bf70c6e2c73","datavalue":{"value":{"amount":"+0.7070111036300659","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":"Q2507351$98BFA8EF-7EC2-4F13-9952-4FFE71E1588E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"630f0c2304bab20d35efe227ca2d0be1c08de892","datavalue":{"value":{"entity-type":"item","numeric-id":2971131,"id":"Q2971131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d73ae1065f8ceef5905a68e23b77a27c2aea5e23","datavalue":{"value":{"amount":"+0.6992848515510559","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":"Q2507351$3CE15441-7C2E-475C-AA40-28D04B158C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bfd6eaf404bae8fbe4f75d2e338dee65b231616","datavalue":{"value":{"entity-type":"item","numeric-id":3434663,"id":"Q3434663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2b0aec796765260b458167bbcd75f18a089bfa","datavalue":{"value":{"amount":"+0.690403938293457","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":"Q2507351$48BD552C-D950-42E7-BA2D-8944120C39CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2507351","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2507351"}}}}}