{"entities":{"Q698435":{"pageid":700284,"ns":120,"title":"Item:Q698435","lastrevid":47988976,"modified":"2026-01-03T07:00:32Z","type":"item","id":"Q698435","labels":{"en":{"language":"en","value":"Bisimulation minimization and symbolic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1803024"}},"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":"Q698435$5B3B2FB0-ECB5-4826-A319-EB59ADE100C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"559d595130a4ff19d6ee394462534fee90614d23","datavalue":{"value":{"text":"Bisimulation minimization and symbolic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q698435$01E07BF1-0E97-41A4-B380-21B398807F2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3bb35aba6adc64eb55f52931ae588a4eb262cac","datavalue":{"value":"1018.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698435$8362BADD-0475-454A-AC1F-C670D69139D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86cc53252701d689a6f7251bab23dc3b69b8a3d0","datavalue":{"value":"10.1023/A:1016091902809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698435$6F4C4223-6351-4FFD-B40B-FFA27E11A1AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b97d821e1ec6f343519cbfc393a31dc7cf2cca6d","datavalue":{"value":{"entity-type":"item","numeric-id":698434,"id":"Q698434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698435$70859344-7FD3-4505-A85B-E2E5B09D7B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698435$39194AF0-AA07-4D2E-A1DD-FE17E677BB62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698435$137608A7-64F0-4B2F-A0AA-8CF2BDD18D31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b7d40e35d39a6c5a15c7832f15c6b676b96fd9b","datavalue":{"value":{"time":"+2002-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q698435$A14BA9ED-2BD3-4F87-AD94-FE46730D309D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698435$9B3C4DCC-D0B8-4C82-8BCE-F2A376BD4660","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"533227ada252f46ae0346c012f002ce9ec023f95","datavalue":{"value":"1803024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698435$9BC21E62-DB81-4A10-9DAB-498A05DA0425","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb0f42bc4d740213abefb39a0d2f3f1fb2e40c4","datavalue":{"value":"bisimulation minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q698435$28B4FE4B-0746-4899-95F4-6A52D3B2F013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q698435$12F47CC4-75B0-4A71-ACA8-DEFAC5BDE30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9a4c7b7f631ad4020748b71d3315824713e31aa","datavalue":{"value":"invariant properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q698435$4435B075-64FF-4C8E-8FD8-2DF1E8A30306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2618cd5fb3dc9d9fb0c496a7f49dc9e58ac3ed","datavalue":{"value":"on-the-fly model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q698435$A003CDFE-5B51-424B-910B-A449E21331A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f19c6afe93f9c0525f95308556e599d9a0e1c190","datavalue":{"value":{"entity-type":"item","numeric-id":24315,"id":"Q24315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698435$6D57890C-EB2D-4805-8006-9C3D4402236B","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":"Q698435$B4FD2FD2-7046-4D18-8471-3984EA517BCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9cdd15685269e87bf013c73d6f6a7db6368060a2","datavalue":{"value":"https://doi.org/10.1023/a:1016091902809","type":"string"},"datatype":"url"},"type":"statement","id":"Q698435$A0553C14-8A98-48D9-B113-6DAFC34F6238","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f42edc5119f7ee76d4fb563405b22dd2cf7df273","datavalue":{"value":"W1525386718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698435$699B2CF2-B4D4-4B78-82AF-A3169AE99524","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44606e9957f44e339c2dee408536f5d743927cea","datavalue":{"value":{"entity-type":"item","numeric-id":2287115,"id":"Q2287115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229e546ff9e1517978dfae8280fcd40e7d681c03","datavalue":{"value":{"amount":"+0.825152575969696","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":"Q698435$4643160A-DA7B-4C46-9329-F712E3965DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab192548c933c02945f838469509d0576f8dd36c","datavalue":{"value":{"entity-type":"item","numeric-id":5758103,"id":"Q5758103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b3a7012435e3a7e7f3178db2f8fdba449a21bc","datavalue":{"value":{"amount":"+0.7512374520301819","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":"Q698435$4F77C916-C2F6-490E-A225-E083AB91DFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa73dcb90d071c69531cfdd5ac3348ff02812ae","datavalue":{"value":{"entity-type":"item","numeric-id":2926637,"id":"Q2926637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7214bad02366242b50ee0552ebb2c56c189ba1f","datavalue":{"value":{"amount":"+0.7454953789710999","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":"Q698435$A15F6AAA-0DDA-4C7C-9667-909DA6E45B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13eef1da412afceae7bc3475926ad65b7a5f8290","datavalue":{"value":{"entity-type":"item","numeric-id":5943258,"id":"Q5943258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e598c04fd4678d8aa3e8fab9c7b4cff53f97755","datavalue":{"value":{"amount":"+0.7413991689682007","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":"Q698435$1BC9DE84-65E5-4F53-BB5E-C7291711FC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb95de715584f764a7faef1bca34e017d2098054","datavalue":{"value":{"entity-type":"item","numeric-id":3617705,"id":"Q3617705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709bd230305538471f65ad92c73d783b9845b921","datavalue":{"value":{"amount":"+0.7229086756706238","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":"Q698435$37353D71-28E9-4EE2-B212-F28BA1208D27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:698435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:698435"}}}}}