{"entities":{"Q2768256":{"pageid":2778995,"ns":120,"title":"Item:Q2768256","lastrevid":83188217,"modified":"2026-05-07T06:33:45Z","type":"item","id":"Q2768256","labels":{"en":{"language":"en","value":"Automatic support for verification of secure transactions in distributed environment using symbolic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1699192"}},"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":"Q2768256$23AAF29E-97A6-459D-AEE7-FDBF06BB0F93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3f7c690b6af918b68566301b4970a09263a78f6","datavalue":{"value":"0995.68521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2768256$3A155475-A1FB-4A19-AD28-5829ABF6E316","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b082bf988353048920c99b3b0464be6f485a552b","datavalue":{"value":{"entity-type":"item","numeric-id":2768146,"id":"Q2768146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2768256$79128E56-53CF-455B-8BCF-CB07037D735C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01c58bdb41de6bff30051f66a3412134d626fddc","datavalue":{"value":{"entity-type":"item","numeric-id":989167,"id":"Q989167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2768256$E872D31F-8743-4EDE-9C54-654BE47E3E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c7319dd7fb487207b07be5a325885f8fe8b9710","datavalue":{"value":{"entity-type":"item","numeric-id":2768254,"id":"Q2768254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2768256$64BBC1A1-BDA7-4252-8A74-8B54907E0143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f111cb4cef89f9a634781a8f27f6b4a8c62e0ddd","datavalue":{"value":{"entity-type":"item","numeric-id":2768255,"id":"Q2768255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2768256$5255D320-3C14-4275-8852-4A958590BC12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f8512fdc779578a6ed7cea489dd7591a33e2b50","datavalue":{"value":{"time":"+2002-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2768256$469AC7C9-B3C4-48DC-8E59-4C9F7A22150F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2768256$9EC8890F-7000-40AC-BB9A-A81657A7921E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e82068acc6e711071f66af669d25351e777a43f9","datavalue":{"value":"1699192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2768256$5D8B8928-4DB3-4DC8-8C25-CB756061FB49","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":"Q2768256$828E2E1E-98B2-4D75-8415-6D566DA5A620","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f8c364527fdb7a33e59f17ce10af344dac7ce45","datavalue":{"value":{"text":"Automatic support for verification of secure transactions in distributed environment using symbolic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2768256$5979C006-BE2D-49AC-8AA4-F78EABCCF7B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic support for verification of secure transactions in distributed environment using symbolic model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_support_for_verification_of_secure_transactions_in_distributed_environment_using_symbolic_model_checking"}}}}}