{"entities":{"Q1272075":{"pageid":1282825,"ns":120,"title":"Item:Q1272075","lastrevid":68423352,"modified":"2026-04-12T23:36:42Z","type":"item","id":"Q1272075","labels":{"en":{"language":"en","value":"CCSP: A formal system for distributed program debugging"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1226145"}},"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":"Q1272075$DA59BDD0-9E18-47BE-82A0-63CA14D2B31C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e49c825529c9eb7c455066b78d0fa8e4ded52e67","datavalue":{"value":{"text":"CCSP: A formal system for distributed program debugging","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272075$EFCE74B7-9957-467E-8728-593F88C0A932","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f1e29cb8ae87c3eeed5b916a8c7204735f2d0bb","datavalue":{"value":"0925.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272075$AAA2E4E2-3B0D-43E2-91A3-0022C9575643","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df381c49a83b2f47a36d51fc28422f30fa88ce14","datavalue":{"value":{"entity-type":"item","numeric-id":1272074,"id":"Q1272074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272075$DF5D59A7-B748-4DEA-A8A1-24774C139424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b63c7cf1c292c293717ba616277f4f93e5e3b24","datavalue":{"value":{"entity-type":"item","numeric-id":1197086,"id":"Q1197086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272075$2FA637D8-CC8E-4311-8114-6C69BA6AE685","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272075$B6DAE0CB-5AF2-4364-9D4B-B3B56A61C953","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53fb7273221ce117f6a427df8be22cfe791bdb36","datavalue":{"value":{"time":"+1998-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272075$5F3D2452-0B22-4DA1-AA5F-9DED607B01BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272075$BAA54443-B0E4-45B8-B3F5-6E1082E29672","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e99fcb2c661e4b7f0f0e145f95d7fc93258ee2ef","datavalue":{"value":"1226145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272075$E782B2EA-BCF0-4B75-A284-9AC5251F62CD","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":"Q1272075$443BB993-352A-427C-A3ED-178C06BB78D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CCSP: A formal system for distributed program debugging","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CCSP:_A_formal_system_for_distributed_program_debugging"}}}}}