{"entities":{"Q2753764":{"pageid":2764503,"ns":120,"title":"Item:Q2753764","lastrevid":44680704,"modified":"2025-11-25T00:57:41Z","type":"item","id":"Q2753764","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1670563"}},"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":"Q2753764$37FCC035-E2B3-424F-B7EB-A57B1D7E13DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9b0f34eb12d857f8771d0de984d6bbf7e8afc40","datavalue":{"value":"0976.68576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753764$3853DEE1-F443-4C51-B528-D84ADAD9CBAF","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":"Q2753764$3C81423E-E39D-411D-8281-D4C3AC2B301B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"890ebd6ddbe8e2f82e67fff4e24409c374b5811d","datavalue":{"value":{"time":"+2002-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2753764$69BFCE27-A799-4A4C-8C26-2FD04D8FCA3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753764$99D77864-5C16-45F3-B92F-5CA6B3A0FB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753764$5C236FD3-844E-4487-8037-7DD603C06862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753764$35B57B33-E814-467E-9708-7B113A83E23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753764$D73408CF-5F45-4806-B720-BF423C31896C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fac3c78f3047a68dcd4e162f1bb828c3d564d25","datavalue":{"value":"1670563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753764$9BBABAD8-593B-4269-B650-0E6C8FD28893","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753764$4605C40B-3882-44A3-9BAC-E9D44537EC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b59391821b915b007819c1a5ffb7262ad461b563","datavalue":{"value":"runtime analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753764$C0C30433-BA72-40EE-ADEC-7D5CD76EB2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"687dcb0991fb6a5c25d66180d0f1fecd4e7ac7b5","datavalue":{"value":"race conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753764$1A6268D2-1B30-430F-93EC-9759FDE56EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9a6aaefc6b8b4a31a4503712ed9a9e2b300d87","datavalue":{"value":"deadlocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753764$F83BB520-184F-414E-B10C-DABD00DA0597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753764$75DF62C4-623C-454A-B330-F6C3FE91A083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1478f77f1c4ed17a008d6960b92a016cc3618c87","datavalue":{"value":"guided model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753764$283F3A2D-B238-441E-83EE-CDDF9E5F118B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753764$80D5F3FF-7BDB-474A-AC46-FFC4CC4DB6B1","rank":"normal"}],"P1463":[{"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":"Q2753764$8287AC1E-D33A-40B8-BE94-134419EC7238","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":"Q2753764$CAE659A4-F104-466E-AD77-FF52CA05967D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2753764$4504CF15-03AE-40D7-8911-E711C69FA70B","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":"Q2753764$27FF8407-DCC2-4E09-9039-B411BCB896FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"817cb896f35f89cc5542ec75908314ecafeda59f","datavalue":{"value":{"entity-type":"item","numeric-id":20918,"id":"Q20918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2753764$1555E91D-CF46-4BE6-93B0-952F33DAE5F7","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":"Q2753764$D7A06419-5A3B-456F-83B8-953E891705DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddab87631d4a081dbd128c7a792d799b2a6c7e03","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"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":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753764$16670747-F905-4FD2-A3E7-ACC4903A8606","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":"29a4a135070c86cdd835335ecfe3457a064c9250","datavalue":{"value":{"amount":"+0.9108077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753764$E97A872E-AC4B-494C-81AA-84B59FB0DC33","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":"b0b51256bae00755492fb3519fd3f828cae13392","datavalue":{"value":{"amount":"+0.8919199","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753764$759B0F65-F7C8-4B3A-8DBF-C87A5491B0B7","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":"7872e6154ae4f1d20e10c7c2ec6b3a1cb388fc8f","datavalue":{"value":{"amount":"+0.89040136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753764$E8FFF7BB-EBF6-45CC-BFCC-D05F167350D8","rank":"normal"},{"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":"1e7f99c3792faafe60db1f5516e86b267e24d113","datavalue":{"value":{"amount":"+0.88587135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753764$4F31572A-E3B1-47AE-B71B-AD093BFB9933","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":"60ef8669f8bb721664cd15d71e7a9a2b0e7d3b5f","datavalue":{"value":{"amount":"+0.88421607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753764$2F43ED16-9908-477A-AC6A-B7C1FB837086","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2753764","badges":[]}}}}}