{"entities":{"Q1776379":{"pageid":1787121,"ns":120,"title":"Item:Q1776379","lastrevid":43322284,"modified":"2025-07-24T17:27:14Z","type":"item","id":"Q1776379","labels":{"en":{"language":"en","value":"A local approach for temporal model checking of Java bytecode"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2167387"}},"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":"Q1776379$E6759D42-0333-4A22-AE47-BA6767A0052E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be075f4b29e6a63d0d9c289437d042e25d3065d1","datavalue":{"value":{"text":"A local approach for temporal model checking of Java bytecode","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1776379$724A3740-11D2-453A-89B7-6B3C6EB59507","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0f3ce49a42faa8bfe5a5ffc16a16a5afcfb2dbe","datavalue":{"value":"1068.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776379$30AED869-F97B-40DA-B7EE-DCA09FA6DFD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"374c89246677dd014ef2f3c988d2b9d3dc41b230","datavalue":{"value":{"entity-type":"item","numeric-id":703586,"id":"Q703586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$65BC9F7E-D381-435A-BB33-BD752698AF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d04dc255262dac03f133b97d0ab2c442f58cea33","datavalue":{"value":{"entity-type":"item","numeric-id":703587,"id":"Q703587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$A94803B9-FE1A-4C10-981F-CB443D4F596C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$E73B0077-2061-4739-BF50-7D25F9B879DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"816fb6440c9cbb78f47d27fe48607ca1e7ad5f08","datavalue":{"value":{"time":"+2005-05-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":"Q1776379$AC31EC88-AAC1-40C6-AAA8-EE992942209C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776379$B284DC2E-5AAC-42EE-93A6-5DCA634C77C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776379$0A99A1CF-56B3-436A-A3E9-D7190334226E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b802036da91d90719b10e23357b012992a7cf34d","datavalue":{"value":"2167387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776379$97C3BCFA-BEAE-4F2D-A944-B8252E61D6CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fe1bd06dfb4cef3dfebfb03a5257085d5e2b4cf","datavalue":{"value":"Software systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776379$A5799FB4-98B3-4D69-97FC-288C53121327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d02dd1a2dfa11167160686287ff03893b98091d","datavalue":{"value":"Temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776379$0B8B8E1C-88D8-47DF-857B-B044B6B3F271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776379$FD34E38F-9F52-4004-942A-EE84FE1D9A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f69f532886819713c8a9fb9a84ae107689f6f0bd","datavalue":{"value":"Tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776379$6398A585-1D7A-4CBA-83BB-D9297AF1CE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71f91e5be718dbe5025d591140da809b28fce98c","datavalue":{"value":"Formula-based abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776379$20390389-6E7D-48C1-AE9F-11E291C0AB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"184d60bb6a76b302a260ddf2956d22e60d602e37","datavalue":{"value":"Symbolic computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776379$41272736-77BE-44F6-A62E-75EBB7DC5AEB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$DD6E9C2B-101C-4BD2-8C7F-241D7FC944B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$BABA13D6-B95C-4AC9-BC3B-6C5AF13C84AE","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":"Q1776379$3A307DD2-E470-468D-8124-6175006DD3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$6F95B7A2-ADC7-4278-8422-BEAD387EEF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$9D553AF6-43C6-4012-98B3-493063036F72","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":"Q1776379$D3E20363-9D94-4C4E-9622-447157FAC86C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5553234fdd583867628a228fe70afd79df3ed196","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2004.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1776379$926F024B-EF75-4975-931F-3E3CF6D6F12B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e7310e0d44129bf727c0cefe7a0c2f2436fff89","datavalue":{"value":"W1979458401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776379$DAD7541F-FF37-4E46-8D96-31763D3B3F63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbdead51b7f0506fece1b77dbe9fd8703e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":4553257,"id":"Q4553257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$225A9BDE-232F-4AB7-9D12-EA9DCC3DD040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153bb26789701bea3a6125ad5ad617745b4c3d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1970206,"id":"Q1970206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$B8860D2B-0D1D-496A-B7A0-B83624838CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4d26544d22a30513dbdddd63598022e33eb3f4","datavalue":{"value":{"entity-type":"item","numeric-id":1190489,"id":"Q1190489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$9B378098-3FBC-4490-9133-4A66EE385985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb46b665c4d01cdd72f034cac6c7dac8481fe1b","datavalue":{"value":{"entity-type":"item","numeric-id":4818796,"id":"Q4818796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$A6AA102B-AA41-4138-A35C-51474295C36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cf57a3273310e951bb2d109df68c35d5a2d77b","datavalue":{"value":{"entity-type":"item","numeric-id":4536601,"id":"Q4536601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$3B54F293-878F-4972-9F0B-91BFA094C6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06f136271e6dd45f963ad10b5da081a45257d6f","datavalue":{"value":{"entity-type":"item","numeric-id":4004141,"id":"Q4004141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$9CE18E89-725C-4EB8-B75D-F4FED7980476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4261c45eb0bdc31b98abbe6dbdb3be8211dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$834890FC-03A8-4092-A04B-AC074DB51412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7228d911878a16429788a7e2e2b8ecaf57db22","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$09E7AE3D-F2F4-4CF9-9462-CA9627B8BD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06af39ba7611ce840efed59d15b9062e58635f61","datavalue":{"value":{"entity-type":"item","numeric-id":4804892,"id":"Q4804892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$3DCC10FE-3100-40AF-8E99-D006D2D6E5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d189d5566bbdf8684108572f8e7b1cae5e8fb1c","datavalue":{"value":{"entity-type":"item","numeric-id":1595472,"id":"Q1595472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$FD6914E6-A696-4F9D-B271-F593BE21C857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d8c0e22cc6d5b8f5e5b95e505b643a065a9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$9EF2C736-58E7-4713-AE38-940E2F1635D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada1809381f98716513d6e2527d3dd471ebbf1ef","datavalue":{"value":{"entity-type":"item","numeric-id":4804923,"id":"Q4804923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$018A12D2-47AD-49E1-9070-C29F1F7975ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$4EAE61E8-ECC0-4CBE-91A2-8BEF37EE549E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f11d087fb352d8b17c817d210efa2f25331977","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$AEAA82F4-8D61-45F9-B78B-967256754C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3b950411ee1e7918837695edeb889a33306058","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$6734A633-CE24-4FDD-8AC2-9412E69B8F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$DD929CA6-EB2B-46A6-8A41-65920BAFA276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fcf2296969dd5e01651c8f2a620352248abf9ef","datavalue":{"value":{"entity-type":"item","numeric-id":5308375,"id":"Q5308375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$555CE300-3AC8-42B9-85EA-5AF3F66E31C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5fabf1a2a31c7e5c0a5bc980ffd4f0b696fd5aa","datavalue":{"value":{"entity-type":"item","numeric-id":715051,"id":"Q715051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$5EAF60D7-60BF-4CB1-8062-D3A175A88B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73644eed0685396d2d4aaa9bee099080a6a3d946","datavalue":{"value":{"entity-type":"item","numeric-id":1776379,"id":"Q1776379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$CCFE065D-B5A0-4362-ABD2-179DB8C94730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776379$0A3E8743-8389-4820-9E0E-877EB2CFEE4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5dac9a57e057823f497cbd3fc34855a149616f37","datavalue":{"value":"10.1016/J.JCSS.2004.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776379$0D5FE80B-EC1A-41D7-BE67-FDB6A19ACECB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4c57aa0ee60c757fb7af46499eda4a2f6bc9c4","datavalue":{"value":{"entity-type":"item","numeric-id":4738465,"id":"Q4738465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bef6e9be8ae051a9fbb320fb49f7ccd16f0bccf","datavalue":{"value":{"amount":"+0.8731994","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":"Q1776379$998FA70B-6F82-49AB-BCB4-BA1DE09949C5","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":"cf97e3285c45f068735687eec9875827af4a8132","datavalue":{"value":{"amount":"+0.87298995","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":"Q1776379$2939303E-DD21-4F97-8720-5892972A6A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f587aaea1b23749d2d2d79be6d2bfacf745859","datavalue":{"value":{"entity-type":"item","numeric-id":4818817,"id":"Q4818817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17460618c86893f1b2fb90e4fa28bf207fba86ae","datavalue":{"value":{"amount":"+0.8674821","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":"Q1776379$DB1D1246-AF1F-4F84-A857-7671693C01A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c33c5459aee600cf4d4743005ca61ff60fbdcc2","datavalue":{"value":{"entity-type":"item","numeric-id":1405996,"id":"Q1405996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33140ea60946b6bd0d9d73f1532a5e5b7da7f294","datavalue":{"value":{"amount":"+0.85818756","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":"Q1776379$DFC1390F-649D-45E7-9770-31F6942703BE","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":"2bcf0dc9e4dd1e2b14c58b5e880c6e89d0d10e86","datavalue":{"value":{"amount":"+0.85785985","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":"Q1776379$D2587351-DE7F-4ABD-BA54-FF9F305FBEDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1776379","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1776379"}}}}}