{"entities":{"Q4095837":{"pageid":6125437,"ns":120,"title":"Item:Q4095837","lastrevid":40860211,"modified":"2025-04-12T01:41:40Z","type":"item","id":"Q4095837","labels":{"en":{"language":"en","value":"Symbolic execution and program testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3516610"}},"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":"Q4095837$B54AB1F2-EB2A-4C9A-9865-2DC7A8669132","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1384f80d369263eb5528209e76908765c6e04c4a","datavalue":{"value":{"text":"Symbolic execution and program testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4095837$0442282A-184B-45DA-8830-D78471D33523","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7167623b8a3c6c194f6fd5af4f270d3101276fde","datavalue":{"value":"0329.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4095837$23E29F76-035E-48DD-9BEA-9B1F3B74AAFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8dbaf9b3205cbc63156ca870fc4cdbb93e3eae1","datavalue":{"value":"10.1145/360248.360252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4095837$1B95848B-AFDA-49DC-9A98-E670C2538328","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ef1d51f231298035930cfe3e33ddf44ea3cced7","datavalue":{"value":{"entity-type":"item","numeric-id":2555383,"id":"Q2555383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4095837$66036FBE-4944-49F0-9196-15367E6B9155","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q4095837$14904A1B-2386-4DF9-BF61-FF4EF7EAD299","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4095837$55C8072A-1CCB-42C0-B18B-03AE2AD3C438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4095837$4CAE4339-0E7B-4B46-A84B-D9F3F8794FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4095837$C2E47943-9A15-4793-B2C7-C45293B0A614","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38b86735606c50350368bba67f553d1a6f90662f","datavalue":{"value":"3516610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4095837$9E390A8E-18AC-42EB-B66D-564CC51393BE","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":"Q4095837$5FCDD919-5E3D-4BB8-A0AF-EFCF58DB08A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e22dcc9a394725f8695f6a24b157c8c74115aef1","datavalue":{"value":"https://doi.org/10.1145/360248.360252","type":"string"},"datatype":"url"},"type":"statement","id":"Q4095837$0A7EE8B0-EEE8-4BCF-B8A9-3AE7C5F4D383","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cb2c28f64937ee19cf762c510cb93462d23b516","datavalue":{"value":"W2101512909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4095837$B9DD532D-AD4C-423E-9646-58D7C2775632","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087426e75e65ba42be09a15851f31de13b7aa5f3","datavalue":{"value":{"entity-type":"item","numeric-id":56730,"id":"Q56730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4095837$2485139F-9872-48C2-B74C-43EC0F5805D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4095837","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4095837"}}}}}