{"entities":{"Q2339596":{"pageid":2350339,"ns":120,"title":"Item:Q2339596","lastrevid":52237979,"modified":"2026-01-21T05:40:01Z","type":"item","id":"Q2339596","labels":{"en":{"language":"en","value":"Reduced checking sequences using unreliable reset"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6422533"}},"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":"Q2339596$540FB6FA-916D-4FA5-BDF4-91AD0287F569","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb5ce3353422c12fc4ba5967c29c33f3930527db","datavalue":{"value":{"text":"Reduced checking sequences using unreliable reset","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2339596$2F3B7C61-7B7E-4B2D-9976-F6583D1B9787","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17c1d8ba4c6b76625f066456986cfd8cafc5f1ba","datavalue":{"value":"1327.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339596$ABE2ADC2-015D-4E33-8D03-54C607A023F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bb8bb73439c087cb2bc323284ba32aff6a4e72a","datavalue":{"value":{"entity-type":"item","numeric-id":613135,"id":"Q613135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339596$E0A8A625-C663-4BD7-B66E-65DB0483DCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d6f3331fe51b5419d4bd45eb90bdbf7b13c2b1b","datavalue":{"value":{"entity-type":"item","numeric-id":613136,"id":"Q613136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339596$0F544EBD-6FB8-4F94-A5DC-D6B034AD83FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c107885d2125030e57934d97d36b1d4ed30a2ea6","datavalue":{"value":{"entity-type":"item","numeric-id":479810,"id":"Q479810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339596$68362AC0-3EB1-4646-A0A6-0FAD24B05043","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339596$D04EE36F-40FE-4D70-8C62-D0DB299D2676","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"752fd91ff3b844257b378fd86fffb800f549bbdd","datavalue":{"value":{"time":"+2015-04-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":"Q2339596$603E4483-3D8B-4F15-8EC2-10D62D63574F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339596$0F2D8F9D-59CE-4F56-ABB3-DE641F312A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339596$0F8CFF81-67E5-4E35-8D20-24A918601D22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a8f6bafccd575d80538805613a5ae0059d4621c","datavalue":{"value":"6422533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339596$B34E7DF0-5581-4980-9C23-52C306E6E34C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c970019c5d7186e4fa8736dbf7afee746108db","datavalue":{"value":"model-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339596$3A6DB757-27F6-4F5C-8626-7A5EFD0EE72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae05ced63030a229642ca3bdc0f479742289e2d","datavalue":{"value":"finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339596$BB572C26-462D-4096-993A-132401E89E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b740ab29fe6378d3abaf6d6defd4da5c0ae4372","datavalue":{"value":"checking sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339596$85C18959-6EB3-4C82-A1B3-D090494B3C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0782a870681a14836ce10517978ccf812c825a5","datavalue":{"value":"synchronizing sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339596$7459E4FA-A519-4E10-8468-E40F997ADA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339596$1E489496-8CEB-4557-940D-93394A932C48","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":"Q2339596$F90196AA-978E-43F1-A3FD-B24D75E478C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03f7a245849056d0cbc4164d60db2e0042e244cb","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2015.01.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2339596$13A49C03-CADC-4E65-B748-96AB6F05E66E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ceb4aca14a6c964c221ff2a93940b5e5534d73a","datavalue":{"value":"W2028233775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339596$1B2DB0CF-0B22-43D2-88A3-71A34F8EBAFC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ebf1bc10aa4d54ce3219d0b1b6f0ced96007c","datavalue":{"value":{"entity-type":"item","numeric-id":2565429,"id":"Q2565429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339596$ED3001C9-CCB7-4E3A-B451-072685634491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce3fdb25869b2331ba7a9099e1dd155ad2fca1d","datavalue":{"value":{"entity-type":"item","numeric-id":5606985,"id":"Q5606985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339596$57000C21-212C-4C1C-A48C-65D559E7EB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439e51e6cfdf50a73df8b2deefcda14660157a31","datavalue":{"value":{"entity-type":"item","numeric-id":4158482,"id":"Q4158482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339596$F7AC4D45-EA43-40EF-A57C-A5A54CC3C492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0e70fe217ff4249331a09fbb5f5a2e580cb33c","datavalue":{"value":{"entity-type":"item","numeric-id":5375295,"id":"Q5375295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339596$E44D5554-261A-4040-8726-CDA135A2A228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd277b3a8028096bace3a24ed550a90663bbd60a","datavalue":{"value":{"entity-type":"item","numeric-id":2795936,"id":"Q2795936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339596$92D4EA4A-41CC-4AEE-B62E-2C8A7E97F045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28643970a04caf674b5e6877edc786d04626cd31","datavalue":{"value":{"entity-type":"item","numeric-id":1892217,"id":"Q1892217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339596$014A4BC6-CB78-45C6-A5B7-386E66EDC582","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdd7bba3e07c3fdb0e1938d3c5c97c6c6ab0a574","datavalue":{"value":"10.1016/J.IPL.2015.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339596$7CCF0E3F-1413-47AB-BE0A-97547C1AD86E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4099ba928d3ecb1a1a07cc767738a747dcabe7c","datavalue":{"value":{"entity-type":"item","numeric-id":1623146,"id":"Q1623146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"428d6296f2ea34df446cb7b339996356f2eb4e13","datavalue":{"value":{"amount":"+0.7747388482093811","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":"Q2339596$5C766F9F-7D30-498F-B40A-B20DABFB548D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e341535161fe10755fd2d00ae18d20c785e32d0","datavalue":{"value":{"entity-type":"item","numeric-id":3417030,"id":"Q3417030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df99a5898edb9dbd4721b0b40b38346aa960addc","datavalue":{"value":{"amount":"+0.7702307105064392","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":"Q2339596$D251EB01-3948-437A-A897-2DB36058C341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395363977109f99a3c417d7d5d9d452f8f616c65","datavalue":{"value":{"entity-type":"item","numeric-id":3417008,"id":"Q3417008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e89e23f25262ae78b5733c00e5e4d349a8c8a27","datavalue":{"value":{"amount":"+0.76689612865448","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":"Q2339596$C3C7296D-9B59-4CF5-B699-609B8281CB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c6d6d66c49bef6a5d9a1225b2733d18d7d43eb","datavalue":{"value":{"entity-type":"item","numeric-id":613138,"id":"Q613138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48348814771f9628bcb993e218abd25bc9254a2d","datavalue":{"value":{"amount":"+0.7482823133468628","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":"Q2339596$A01DA3BA-6A82-41A7-A425-8B33155F48EC","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":"690fcceea2cb215417fd973ded1e29ef03f26bd4","datavalue":{"value":{"amount":"+0.7467116713523865","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":"Q2339596$B610FA13-1A46-49A0-9816-ACEAE97F2014","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2339596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2339596"}}}}}