{"entities":{"Q1903776":{"pageid":1914518,"ns":120,"title":"Item:Q1903776","lastrevid":71755197,"modified":"2026-04-14T00:19:57Z","type":"item","id":"Q1903776","labels":{"en":{"language":"en","value":"The temporal boolean derivative applied to verification of extended finite state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 825390"}},"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":"Q1903776$405368CE-1F83-4A35-A840-31E6CE2F7815","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"569e6e613ba73862fb05a4161c1600afbc9b65f3","datavalue":{"value":{"text":"The temporal boolean derivative applied to verification of extended finite state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1903776$A602055C-A8DD-44B6-98A1-D78DCC6994EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cedc3703196965641e1ac85b2786e247454070d3","datavalue":{"value":"0839.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903776$72DFFB3F-5670-4A88-9363-0FF97ACB6721","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41cc854eefa808a2b0612eed6240c9675c92b050","datavalue":{"value":"10.1016/0898-1221(95)00075-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903776$136B8FE8-9524-4E99-9B56-F8067D87836E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe2a2fce78191e9d3e9d95f4e79f5e781cbebbb4","datavalue":{"value":{"entity-type":"item","numeric-id":1903773,"id":"Q1903773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903776$A591770E-5978-453C-ABE6-FBA7CFAE10C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bfcc5a048cdb33d48d15436286c6414887843cd","datavalue":{"value":{"entity-type":"item","numeric-id":922371,"id":"Q922371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903776$6B5AB685-25FE-4D4C-8D76-16FB5798AA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79242b29faa71939e49a2d10aa5fbcb7344716e9","datavalue":{"value":{"entity-type":"item","numeric-id":1903774,"id":"Q1903774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903776$CB5F3901-0612-455B-A1D0-D3B1227DB00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a329a6463c329f3977b6f16569c4ed4b374ba551","datavalue":{"value":{"entity-type":"item","numeric-id":1903775,"id":"Q1903775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903776$7CD3A532-890E-45F1-93E2-3AFF46775F2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"943d28705a1658a76b15a0358fa314658866e7c3","datavalue":{"value":{"time":"+1995-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1903776$1554B41A-C67F-47EB-9D9B-8C520715A1EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903776$667EAFF8-E2BE-4E5D-B1E0-942D584888A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36b78abd5735e8bd4d8b142b38fe715061e69986","datavalue":{"value":"825390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903776$136D0234-E951-441B-A069-F72A501B6790","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae05ced63030a229642ca3bdc0f479742289e2d","datavalue":{"value":"finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903776$16E646C0-2FA9-410C-8F9B-6C6BD84FB13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b35cf4aed6edb1cd8946492423a8a1dab57f537","datavalue":{"value":"sequential machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903776$7461AB97-4193-4E72-BC37-54BBBD979C6D","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":"Q1903776$5ED9F10A-2F68-4B27-A337-B89F7A480768","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e09f7681257b92526d42b556170b42e07509410","datavalue":{"value":{"entity-type":"item","numeric-id":4745241,"id":"Q4745241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903776$B2F4E2C0-0A4C-4986-8E3E-7B816E07233E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375945d53279ba3bd449c119959570e6cf20fc1a","datavalue":{"value":{"entity-type":"item","numeric-id":4165287,"id":"Q4165287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903776$A6364EFB-55C6-4539-B33B-A6BA1080AC7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903776$15948AF8-7B2E-4EA6-AAFE-FC2624D2EF2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a47fbb30879d741bf653dab37b194fd7cd6f425","datavalue":{"value":{"entity-type":"item","numeric-id":4037371,"id":"Q4037371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0950edae66110f4764021e73963e870209080b57","datavalue":{"value":{"amount":"+0.7873683571815491","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":"Q1903776$ACA3BD07-2C2C-4441-96C2-73EF6EE4F54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a574f326f503b571cef3533b8d114b9f54f330df","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0950edae66110f4764021e73963e870209080b57","datavalue":{"value":{"amount":"+0.7873683571815491","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":"Q1903776$B08C8564-7EFE-4A0D-B067-F24F803EFC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6d5b63f5736be374c92cf6b9d2e05cb45f6823","datavalue":{"value":{"entity-type":"item","numeric-id":4037091,"id":"Q4037091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6faed2035792fead346397d58d99ccdb8c15e2e5","datavalue":{"value":{"amount":"+0.7835947871208191","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":"Q1903776$A49F224F-45F2-4B2E-8835-B3BA7C3BB4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6faed2035792fead346397d58d99ccdb8c15e2e5","datavalue":{"value":{"amount":"+0.7835947871208191","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":"Q1903776$15193F4B-18DA-4EF0-8F14-4B97A28272E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03365cca812058c65420ab8d3a92853d1b932e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3704886,"id":"Q3704886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787140c1205aed8e02c735a34d021273df965163","datavalue":{"value":{"amount":"+0.7515933513641357","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":"Q1903776$3F2D5933-18B2-415D-945C-50FBAC7D48DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The temporal boolean derivative applied to verification of extended finite state machines","badges":[]}}}}}