{"entities":{"Q1856163":{"pageid":1866905,"ns":120,"title":"Item:Q1856163","lastrevid":69121674,"modified":"2026-04-13T04:55:21Z","type":"item","id":"Q1856163","labels":{"en":{"language":"en","value":"Model checking JAVA programs using JAVA PathFinder"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1862276"}},"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":"Q1856163$7577EB1A-161F-4B57-9F83-CF929B109B4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae3845058f6d458ac89dde583c4819a8468c2439","datavalue":{"value":{"text":"Model checking JAVA programs using JAVA PathFinder","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1856163$E1B0FE50-AE58-4AE8-927E-023778D1A260","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa418fb6996311030ded3288c08da2749144d194","datavalue":{"value":"1059.68585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856163$AD7DFC37-54BE-473E-B6D3-4BCFC56313EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6851b3cbcdf05c70d7cc524c17fd5e0535b0ce27","datavalue":{"value":{"entity-type":"item","numeric-id":457246,"id":"Q457246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856163$82DE3078-B595-45A9-8480-0F58F967D8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19a4bcecf8679069656ec4b9a9036ce5839b1d39","datavalue":{"value":{"entity-type":"item","numeric-id":1856162,"id":"Q1856162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856163$ED74B01B-125E-4224-8085-60BA25DBA52A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856163$9F6DFC92-B45F-4B5E-8F0C-1FAF927EBADE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51fa866876a61ae2435740199de51e5bb1a31ee7","datavalue":{"value":{"time":"+2000-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1856163$E21732E8-7890-4D0A-82C8-D6D964698806","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6fe0880629d23018962d21073fb997543e0903b","datavalue":{"value":"http://hdl.handle.net/2060/20000068918","type":"string"},"datatype":"url"},"type":"statement","id":"Q1856163$A5A67D22-4B70-47CF-8BBA-FC39CD37DD28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856163$A7764DFF-3BDA-4128-95D8-7D3BA3DC0293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856163$79924B42-1017-4A76-A666-E5C22185AA96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"394626749129e309e592c868dbac41b981bccfd4","datavalue":{"value":"1862276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856163$4EB031BF-E9C3-4D30-AA74-D52CD73B0061","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856163$A19A7116-4DF2-4258-9871-D8AA9410E4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856163$AF33F34B-A695-4238-80B6-C5D3BD5563F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856163$80B4A46C-2AB4-4E8B-AFCB-033C6EB65CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccb8e4454b897e5d2626bab3ddf5c7ece558c11d","datavalue":{"value":"Spin","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856163$92DAC5A9-2E93-4358-ADF9-805EF9A9DD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856163$BF6F86F7-9709-43AB-9AA2-DEE3DEFE8920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929e026e26211c638e0e626dd465559c0f18106c","datavalue":{"value":"assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856163$4E7C1D85-1CA4-4B12-9EB1-F3B1EADDB9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9a6aaefc6b8b4a31a4503712ed9a9e2b300d87","datavalue":{"value":"deadlocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856163$54F46434-F33E-44B3-9B55-2475E8CCB108","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856163$E42ADB4F-F99F-4CFE-B8CB-C21D1679BCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856163$3BADED8C-E546-434F-BDA6-AA1FBCDE54D3","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":"Q1856163$8ADBC9BB-4876-4B16-938A-B4B21BF30C65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e0468b316b61701211a5cbfbc426e821f13e4b7","datavalue":{"value":"W2040060046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856163$60A577AE-20CE-4B46-89AF-FC00D3818C45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d9bac76d3bcae0d10e560fb48525b3543317e69","datavalue":{"value":"10.1007/S100090050043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856163$53414149-C4F1-4887-8640-D804644B3E33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a89192fd03467724d00574ea32e75c9e76675ea8","datavalue":{"value":{"entity-type":"item","numeric-id":5491886,"id":"Q5491886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24251190b3efc74afdfe7ec4a9759a6244cf1dc3","datavalue":{"value":{"amount":"+0.93000203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1856163$34A225B2-A25C-4D1E-B637-C864F0691D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931c69edb82621504d9a470ff7512c72b953d9f5","datavalue":{"value":{"entity-type":"item","numeric-id":4738485,"id":"Q4738485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad235c89f4fbda692b41439fe23c50bad51808fc","datavalue":{"value":{"amount":"+0.9202914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1856163$39D00B47-DF57-4814-85C1-8D628817A1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdaf851ce2ff096fbf60f5028fa060d02cd0d3b2","datavalue":{"value":{"entity-type":"item","numeric-id":2753764,"id":"Q2753764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e1f5734e5e510c6c445dee70bdd7de00182416","datavalue":{"value":{"amount":"+0.9185642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1856163$3AF47FD4-3494-4B7D-9E32-29ED6C5D8669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c165bde94abd1c3fd680f0a1cfe01be560585af","datavalue":{"value":{"entity-type":"item","numeric-id":2894274,"id":"Q2894274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9612eaf2595efd25b8a700afd7b5523b144b66eb","datavalue":{"value":{"amount":"+0.8815046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1856163$A03A8926-6CD0-4410-A579-6A0189CC4DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a579b013a956ec97d820edfbcf397083f850c9c","datavalue":{"value":{"entity-type":"item","numeric-id":2769593,"id":"Q2769593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d83e91f91099f0f5f932c486f8888c8be0ce51","datavalue":{"value":{"amount":"+0.88016486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1856163$EEB37C26-EEAB-4FAC-BD53-33D6276D18AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb114c035ccea9f80c0377372ce3711ac59e87f","datavalue":{"value":{"entity-type":"item","numeric-id":2655328,"id":"Q2655328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf33290fb746e934c27009f25974f9dcfd8bd34","datavalue":{"value":{"amount":"+0.8798243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1856163$E00A06AB-17FD-4B6C-8C5F-2FE6D1A648B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking JAVA programs using JAVA PathFinder","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_JAVA_programs_using_JAVA_PathFinder"}}}}}